Folgen
Manu Sridharan
Manu Sridharan
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
5062002
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
4472009
Refinement-based context-sensitive points-to analysis for Java
M Sridharan, R Bodík
ACM SIGPLAN Notices 41 (6), 387-400, 2006
3782006
Thin slicing
M Sridharan, SJ Fink, R Bodik
Proceedings of the 28th ACM SIGPLAN conference on programming language …, 2007
2902007
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
2682015
Demand-driven points-to analysis for Java
M Sridharan, D Gopan, L Shan, R Bodík
ACM SIGPLAN Notices 40 (10), 59-76, 2005
2222005
A micromodularity mechanism
D Jackson, I Shlyakhter, M Sridharan
ACM SIGSOFT Software Engineering Notes 26 (5), 62-73, 2001
2142001
Snugglebug: a powerful approach to weakest preconditions
S Chandra, SJ Fink, M Sridharan
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
1592009
Effective race detection for event-driven programs
V Raychev, M Vechev, M Sridharan
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
1532013
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
1512012
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
1492004
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
1442013
Race detection for web applications
B Petrov, M Vechev, M Sridharan, J Dolby
ACM SIGPLAN Notices 47 (6), 251-262, 2012
1292012
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
1132013
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
1112011
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
109*2009
Refactoring for reentrancy
J Wloka, M Sridharan, F Tip
Proceedings of the 7th joint meeting of the European software engineering …, 2009
942009
Dynamic determinacy analysis
M Schäfer, M Sridharan, J Dolby, F Tip
Acm Sigplan Notices 48 (6), 165-174, 2013
892013
Scaling CFL-reachability-based points-to analysis using context-sensitive must-not-alias analysis
G Xu, A Rountev, M Sridharan
European Conference on Object-Oriented Programming, 98-122, 2009
862009
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20