Publications

Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, and Koushik Sen. Trace typing: An approach for evaluating retrofitted type systems. In 30th European Conference on Object-Oriented Programming (ECOOP), 2016. Extended version. [ bib | DOI | .pdf ]

Sam Blackshear, Bor-Yuh Evan Chang, and Manu Sridharan. Selective control-flow abstraction via jumping. In Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2015. [ bib | DOI | .pdf ]

Simon Holm Jensen, Manu Sridharan, Koushik Sen, and Satish Chandra. MemInsight: Platform-independent memory debugging for JavaScript. In Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), 2015. Extended version. [ bib | DOI | .pdf ]

Stefan Heule, Manu Sridharan, and Satish Chandra. Mimic: Computing models for opaque code. In Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), 2015. [ bib | DOI | .pdf ]

Liang Gong, Michael Pradel, Manu Sridharan, and Koushik Sen. DLint: Dynamically checking bad coding practices in JavaScript. In International Symposium on Software Testing and Analysis (ISSTA), 2015. [ bib | DOI | .pdf ]

Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis, Ondrej Lhoták, José Nelson Amaral, Bor-Yuh Evan Chang, Samuel Z. Guyer, Uday P. Khedker, Anders Møller, and Dimitrios Vardoulakis. In defense of soundiness: a manifesto. Communications of the ACM, 58(2):44--46, 2015. [ bib | DOI | .pdf ]

Cosmin Radoi, Stephen J. Fink, Rodric Rabbah, and Manu Sridharan. Translating imperative code to MapReduce. In Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2014. [ bib | DOI | .pdf ]

Veselin Raychev, Martin Vechev, and Manu Sridharan. Effective race detection for event-driven programs. In Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2013. Outstanding Artifact Award. [ bib | DOI | .pdf ]

Veselin Raychev, Max Schäfer, Manu Sridharan, and Martin Vechev. Refactoring with synthesis. In Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2013. [ bib | DOI | .pdf ]

Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, and Eran Yahav. Alias analysis for object-oriented programs. In David Clarke, Tobias Wrigstad, and James Noble, editors, Aliasing in Object-Oriented Programming. Springer, 2013. Note: there is a bug in the algorithm given in Figure 3. A corrected version appears in Dietrich et al. [ bib | DOI | .pdf ]

Max Schäfer, Manu Sridharan, Julian Dolby, and Frank Tip. Dynamic determinacy analysis. In PLDI, 2013. [ bib | DOI | .pdf ]

Sam Blackshear, Bor-Yuh Evan Chang, and Manu Sridharan. Thresher: Precise refutations for heap reachability. In PLDI, 2013. [ bib | DOI | .pdf ]

Asger Feldthaus, Max Schäfer, Manu Sridharan, Julian Dolby, and Frank Tip. Efficient construction of approximate call graphs for JavaScript IDE services. In ICSE, 2013. [ bib | DOI | .pdf ]

David F. Bacon, Yiling Chen, Ian Kash, David Parkes, Malvika Rao, and Manu Sridharan. Predicting your own effort. In Proceedings of the Eleventh International Conference on Autonomous Agents and Multi-agent Systems, 2012. Best Paper Award. [ bib | .pdf ]

Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, and Frank Tip. Correlation tracking for points-to analysis of JavaScript. In European Conference on Object Oriented Programming (ECOOP), 2012. [ bib | DOI | .pdf ]

Nishant Sinha, Nimit Singhania, Satish Chandra, and Manu Sridharan. Alternate and learn: Finding witnesses without looking all over. In Computer Aided Verification (CAV), 2012. [ bib | DOI | .pdf ]

Boris Petrov, Martin Vechev, Manu Sridharan, and Julian Dolby. Race detection for web applications. In Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation, 2012. [ bib | DOI | .pdf ]

Max Schäfer, Manu Sridharan, Julian Dolby, and Frank Tip. Refactoring Java programs for flexible locking. In International Conference on Software Engineering (ICSE), 2011. [ bib | DOI | .pdf ]

Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Manu Sridharan. The flow-insensitive precision of Andersen's analysis in practice. In The 18th International Static Analysis Symposium (SAS 2011), 2011. [ bib | DOI | .pdf ]

Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, and Ryan Berg. F4F: taint analysis of framework-based web applications. In Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, 2011. [ bib | DOI | .pdf ]

Max Schäfer, Julian Dolby, Manu Sridharan, Frank Tip, and Emina Torlak. Correct refactoring of concurrent Java code. In European Conference on Object-Oriented Programming (ECOOP), 2010. [ bib | DOI | .pdf ]

David F. Bacon, Eric Bokelberg, Yiling Chen, Ian A. Kash, David C. Parkes, Malvika Rao, and Manu Sridharan. Software economies. In Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research, 2010. [ bib | DOI | .pdf ]

Guoxing Xu, Atanas Rountev, and Manu Sridharan. Scaling CFL-reachability-based points-to analysis using context-sensitive must-not-alias analysis. In European Conference on Object-Oriented Programming, 2009. [ bib | DOI | .pdf ]

Satish Chandra, Stephen J. Fink, and Manu Sridharan. Snugglebug: A powerful approach to weakest preconditions. In ACM Conference on Programming Language Design and Implementation (PLDI), 2009. [ bib | DOI | .pdf ]

Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, and Omri Weisman. TAJ: Effective taint analysis of web applications. In PLDI 09: Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation, 2009. [ bib | DOI | .pdf ]

Manu Sridharan and Stephen J. Fink. The complexity of Andersen's analysis in practice. In The 16th International Static Analysis Symposium (SAS), 2009. Note: there is a bug in the algorithm given in Figure 1. A corrected version appears in Dietrich et al. [ bib | DOI | .pdf ]

Jan Wloka, Manu Sridharan, and Frank Tip. Refactoring for reentrancy. In The Seventh Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), 2009. [ bib | DOI | .pdf ]

Manu Sridharan, Stephen J Fink, and Rastislav Bodík. Thin slicing. In Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2007. [ bib | DOI | .pdf ]

Manu Sridharan and Rastislav Bodík. Refinement-based context-sensitive points-to analysis for Java. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2006), 2006. [ bib | DOI | .pdf ]

Ajeet Shankar and Manu Sridharan. New temperatures in Domineering. INTEGERS, 5:G04, 2005. [ bib | .pdf ]

Manu Sridharan, Denis Gopan, Lexin Shan, and Rastislav Bodík. Demand-driven points-to analysis for Java. In 20th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2005. [ bib | DOI | .pdf ]

Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, and Zhe Yang. PSE: explaining program failures via postmortem static analysis. In Twelfth International Symposium on the Foundations of Software Engineering (FSE), 2004. [ bib | DOI | .pdf ]

Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, and Mana Taghdiri. Debugging overconstrained declarative models using unsatisfiable cores. In IEEE International Conference on Automated Software Engineering (ASE), 2003. Best Paper Award. [ bib | DOI | .pdf ]

Bor-Yuh Evan Chang and Manu Sridharan. PML: Toward a high-level formal language for biological systems. In Workshop on Concurrent Models in Molecular Biology (BioConcur), 2003. [ bib | DOI | .pdf ]

Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, and Manu Sridharan. Efficient and precise datarace detection for multithreaded object-oriented programs. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002. [ bib | DOI | .pdf ]

Bowen Alpern, Jong-Deok Choi, Ton Ngo, Manu Sridharan, and John Vlissides. A perturbation-free replay platform for cross-optimized multithreaded applications. In 15th International Parallel and Distributed Processing Symposium (IPDPS), 2001. [ bib | DOI | .pdf ]

Daniel Jackson, Ilya Shlyakhter, and Manu Sridharan. A micromodularity mechanism. In Foundations of Software Engineering / European Software Engineering Conference (FSE/ESEC), 2001. [ bib | DOI | .pdf ]

Bowen Alpern, Ton Ngo, Jong-Deok Choi, and Manu Sridharan. DejaVu: deterministic Java replay debugger for Jalapeño Java virtual machine. In Addendum to the Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2000. [ bib | DOI | .pdf ]

Manu Sridharan and Gerald Tesauro. Multi-agent Q-learning and regression trees for automated pricing decisions. In Seventeenth International Conference on Machine Learning (ICML), 2000. [ bib | .pdf ]