Следене
Manu Sridharan
Manu Sridharan
Professor, Computer Science and Engineering, University of California, Riverside
Потвърден имейл адрес: sridharan.net - Начална страница
Заглавие
Позовавания
Позовавания
Година
Efficient and precise datarace detection for multithreaded object-oriented programs
JD Choi, K Lee, A Loginov, R O'Callahan, V Sarkar, M Sridharan
Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002
5102002
TAJ: effective taint analysis of web applications
O Tripp, M Pistoia, SJ Fink, M Sridharan, O Weisman
ACM Sigplan Notices 44 (6), 87-97, 2009
4672009
Refinement-based context-sensitive points-to analysis for Java
M Sridharan, R Bodík
ACM SIGPLAN Notices 41 (6), 387-400, 2006
3892006
Thin slicing
M Sridharan, SJ Fink, R Bodik
Proceedings of the 28th ACM SIGPLAN conference on programming language …, 2007
2982007
In defense of soundiness: A manifesto
B Livshits, M Sridharan, Y Smaragdakis, O Lhoták, JN Amaral, ...
Communications of the ACM 58 (2), 44-46, 2015
2852015
Demand-driven points-to analysis for Java
M Sridharan, D Gopan, L Shan, R Bodík
ACM SIGPLAN Notices 40 (10), 59-76, 2005
2352005
A micromodularity mechanism
D Jackson, I Shlyakhter, M Sridharan
ACM SIGSOFT Software Engineering Notes 26 (5), 62-73, 2001
2162001
Snugglebug: a powerful approach to weakest preconditions
S Chandra, SJ Fink, M Sridharan
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
1632009
Effective race detection for event-driven programs
V Raychev, M Vechev, M Sridharan
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
1582013
Efficient construction of approximate call graphs for JavaScript IDE services
A Feldthaus, M Schäfer, M Sridharan, J Dolby, F Tip
2013 35th International Conference on Software Engineering (ICSE), 752-761, 2013
1512013
Correlation tracking for points-to analysis of JavaScript
M Sridharan, J Dolby, S Chandra, M Schäfer, F Tip
ECOOP 2012–Object-Oriented Programming: 26th European Conference, Beijing …, 2012
1502012
PSE: explaining program failures via postmortem static analysis
R Manevich, M Sridharan, S Adams, M Das, Z Yang
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on …, 2004
1482004
Race detection for web applications
B Petrov, M Vechev, M Sridharan, J Dolby
ACM SIGPLAN Notices 47 (6), 251-262, 2012
1322012
Alias analysis for object-oriented programs
M Sridharan, S Chandra, J Dolby, SJ Fink, E Yahav
Aliasing in Object-Oriented Programming. Types, Analysis and Verification …, 2013
1192013
F4F: taint analysis of framework-based web applications
M Sridharan, S Artzi, M Pistoia, S Guarnieri, O Tripp, R Berg
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
1192011
Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs
JD Choi, K Lee, RW O'callahan, V Sarkar, M Sridharan
US Patent 7,516,446, 2009
108*2009
Refactoring for reentrancy
J Wloka, M Sridharan, F Tip
Proceedings of the 7th joint meeting of the European software engineering …, 2009
952009
Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis.
G Xu, A Rountev, M Sridharan
ECOOP 9, 98-122, 2009
922009
Dynamic determinacy analysis
M Schäfer, M Sridharan, J Dolby, F Tip
Acm Sigplan Notices 48 (6), 165-174, 2013
882013
DLint: Dynamically checking bad coding practices in JavaScript
L Gong, M Pradel, M Sridharan, K Sen
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
872015
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20