| 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 | 514 | 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 | 473 | 2009 |
| Refinement-based context-sensitive points-to analysis for Java M Sridharan, R Bodík ACM SIGPLAN Notices 41 (6), 387-400, 2006 | 395 | 2006 |
| Thin slicing M Sridharan, SJ Fink, R Bodik Proceedings of the 28th ACM SIGPLAN conference on programming language …, 2007 | 307 | 2007 |
| 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 | 289 | 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 | 239 | 2005 |
| A micromodularity mechanism D Jackson, I Shlyakhter, M Sridharan ACM SIGSOFT Software Engineering Notes 26 (5), 62-73, 2001 | 216 | 2001 |
| Snugglebug: a powerful approach to weakest preconditions S Chandra, SJ Fink, M Sridharan Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009 | 166 | 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 | 161 | 2013 |
| 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 | 157 | 2013 |
| 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 | 151 | 2012 |
| 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 | 148 | 2004 |
| Race detection for web applications B Petrov, M Vechev, M Sridharan, J Dolby ACM SIGPLAN Notices 47 (6), 251-262, 2012 | 134 | 2012 |
| 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 | 123 | 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 | 122 | 2011 |
| 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 | 96 | 2009 |
| 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 | 94 | 2009 |
| Dynamic determinacy analysis M Schäfer, M Sridharan, J Dolby, F Tip Acm Sigplan Notices 48 (6), 165-174, 2013 | 91 | 2013 |
| 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 | 89 | 2015 |
Frank TipProfessor, Northeastern UniversityVerified email at northeastern.edu
