Manu Sridharan
Manu Sridharan
Associate Professor, Computer Science and Engineering, University of California, Riverside
Verified email at sridharan.net - Homepage
Title
Cited by
Cited by
Year
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
4732002
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
3642009
Refinement-based context-sensitive points-to analysis for Java
M Sridharan, R Bodík
ACM SIGPLAN Notices 41 (6), 387-400, 2006
3272006
Thin slicing
M Sridharan, SJ Fink, R Bodik
Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007
2482007
A micromodularity mechanism
D Jackson, I Shlyakhter, M Sridharan
ACM SIGSOFT Software Engineering Notes 26 (5), 62-73, 2001
2082001
Demand-driven points-to analysis for Java
M Sridharan, D Gopan, L Shan, R Bodík
ACM SIGPLAN Notices 40 (10), 59-76, 2005
1842005
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
1792015
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
1372004
Snugglebug: a powerful approach to weakest preconditions
S Chandra, SJ Fink, M Sridharan
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
1272009
Effective race detection for event-driven programs
V Raychev, M Vechev, M Sridharan
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
1252013
Correlation tracking for points-to analysis of JavaScript
M Sridharan, J Dolby, S Chandra, M Schäfer, F Tip
European Conference on Object-Oriented Programming, 435-458, 2012
1242012
Race detection for web applications
B Petrov, M Vechev, M Sridharan, J Dolby
ACM SIGPLAN Notices 47 (6), 251-262, 2012
1032012
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
100*2009
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
972013
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
892013
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
852011
Refactoring for reentrancy
J Wloka, M Sridharan, F Tip
Proceedings of the 7th joint meeting of the European software engineering …, 2009
822009
Debugging overconstrained declarative models using unsatisfiable cores
I Shlyakhter, R Seater, D Jackson, M Sridharan, M Taghdiri
18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003
812003
A perturbation-free replay platform for cross-optimized multithreaded applications
JD Choi, B Alpern, T Ngo, M Sridharan, J Vlissides
Proceedings 15th International Parallel and Distributed Processing Symposium …, 2001
742001
A perturbation-free replay platform for cross-optimized multithreaded applications
JD Choi, B Alpern, T Ngo, M Sridharan, J Vlissides
Proceedings 15th International Parallel and Distributed Processing Symposium …, 2001
742001
The system can't perform the operation now. Try again later.
Articles 1–20