| 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 | 483 | 2002 |
| 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 | 390 | 2009 |
| Refinement-based context-sensitive points-to analysis for Java M Sridharan, R Bodík ACM SIGPLAN Notices 41 (6), 387-400, 2006 | 343 | 2006 |
| Thin slicing M Sridharan, SJ Fink, R Bodik Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007 | 262 | 2007 |
| A micromodularity mechanism D Jackson, I Shlyakhter, M Sridharan ACM SIGSOFT Software Engineering Notes 26 (5), 62-73, 2001 | 210 | 2001 |
| 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 | 196 | 2015 |
| Demand-driven points-to analysis for Java M Sridharan, D Gopan, L Shan, R Bodík ACM SIGPLAN Notices 40 (10), 59-76, 2005 | 193 | 2005 |
| 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 | 138 | 2004 |
| Snugglebug: a powerful approach to weakest preconditions S Chandra, SJ Fink, M Sridharan Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009 | 137 | 2009 |
| Effective race detection for event-driven programs V Raychev, M Vechev, M Sridharan Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013 | 130 | 2013 |
| 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 | 129 | 2012 |
| Race detection for web applications B Petrov, M Vechev, M Sridharan, J Dolby ACM SIGPLAN Notices 47 (6), 251-262, 2012 | 110 | 2012 |
| 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 | 109 | 2013 |
| Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs J Choi, K Lee, RW O'callahan, V Sarkar, M Sridharan US Patent 7,516,446, 2009 | 103* | 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 | 96 | 2013 |
| 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 | 91 | 2011 |
| Refactoring for reentrancy J Wloka, M Sridharan, F Tip Proceedings of the 7th joint meeting of the European software engineering …, 2009 | 85 | 2009 |
| 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 | 81 | 2003 |
| 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 | 80 | 2001 |
| 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 | 80 | 2001 |
Frank TipProfessor, Northeastern UniversityVerified email at northeastern.edu
