Manu Sridharan
Manu Sridharan
Associate Professor, Computer Science and Engineering, University of California, Riverside
Bestätigte E-Mail-Adresse bei sridharan.net - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
4962002
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
4102009
Refinement-based context-sensitive points-to analysis for Java
M Sridharan, R Bodík
ACM SIGPLAN Notices 41 (6), 387-400, 2006
3632006
Thin slicing
M Sridharan, SJ Fink, R Bodik
Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007
2712007
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
2372015
A micromodularity mechanism
D Jackson, I Shlyakhter, M Sridharan
ACM SIGSOFT Software Engineering Notes 26 (5), 62-73, 2001
2132001
Demand-driven points-to analysis for Java
M Sridharan, D Gopan, L Shan, R Bodík
ACM SIGPLAN Notices 40 (10), 59-76, 2005
2122005
Snugglebug: a powerful approach to weakest preconditions
S Chandra, SJ Fink, M Sridharan
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
1482009
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
1452004
Effective race detection for event-driven programs
V Raychev, M Vechev, M Sridharan
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
1402013
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
1392012
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
1242013
Race detection for web applications
B Petrov, M Vechev, M Sridharan, J Dolby
ACM SIGPLAN Notices 47 (6), 251-262, 2012
1192012
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
104*2009
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
1032013
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
962011
Refactoring for reentrancy
J Wloka, M Sridharan, F Tip
Proceedings of the 7th joint meeting of the European software engineering …, 2009
902009
Dynamic determinacy analysis
M Schäfer, M Sridharan, J Dolby, F Tip
Acm Sigplan Notices 48 (6), 165-174, 2013
842013
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
822003
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
802001
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20