Multi-agent Q-learning and Regression Trees for Automated Pricing Decisions. - Manu Sridharan; Gerald Tesauro (ICML, 2000)

DejaVu: deterministic Java replay debugger for Jalapeño Java virtual machine. - Bowen Alpern; Ton Ngo; Jong-Deok Choi; Manu Sridharan (OOPSLA Addendum, 2000)

A Perturbation-Free Replay Platform for Cross-Optimized Multithreaded Applications. - Bowen Alpern; Jong-Deok Choi; Ton Ngo; Manu Sridharan; John M. Vlissides (IPDPS, 2001)

A micromodularity mechanism. - Daniel Jackson 001; Ilya Shlyakhter; Manu Sridharan (ESEC / SIGSOFT FSE, 2001)

Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. - Jong-Deok Choi; Keunwoo Lee; Alexey Loginov; Robert O'Callahan; Vivek Sarkar; Manu Sridharan (PLDI, 2002)

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. - Ilya Shlyakhter; Robert Seater; Daniel Jackson 001; Manu Sridharan; Mana Taghdiri (ASE, 2003)

PML: Toward a High-Level Formal Language for Biological Systems. - Bor-Yuh Evan Chang; Manu Sridharan (BioConcur@CONCUR, 2003)

PSE: explaining program failures via postmortem static analysis. - Roman Manevich; Manu Sridharan; Stephen Adams 001; Manuvir Das; Zhe Yang 001 (SIGSOFT FSE, 2004)

Demand-driven points-to analysis for Java. - Manu Sridharan; Denis Gopan; Lexin Shan; Rastislav Bodík (OOPSLA, 2005)

Refinement-based context-sensitive points-to analysis for Java. - Manu Sridharan; Rastislav Bodík (PLDI, 2006)

Thin slicing. - Manu Sridharan; Stephen J. Fink; Rastislav Bodík (PLDI, 2007)

Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis. - Guoqing Xu 001; Atanas Rountev; Manu Sridharan (ECOOP, 2009)

Snugglebug: a powerful approach to weakest preconditions. - Satish Chandra 001; Stephen J. Fink; Manu Sridharan (PLDI, 2009)

TAJ: effective taint analysis of web applications. - Omer Tripp; Marco Pistoia; Stephen J. Fink; Manu Sridharan; Omri Weisman (PLDI, 2009)

The Complexity of Andersen's Analysis in Practice. - Manu Sridharan; Stephen J. Fink (SAS, 2009)

Refactoring for reentrancy. - Jan Wloka; Manu Sridharan; Frank Tip (ESEC/SIGSOFT FSE, 2009)

Correct Refactoring of Concurrent Java Code. - Max Schäfer; Julian Dolby; Manu Sridharan; Emina Torlak; Frank Tip (ECOOP, 2010)

Software economies. - David F. Bacon; Eric Bokelberg; Yiling Chen 001; Ian A. Kash; David C. Parkes; Malvika Rao; Manu Sridharan (FoSER, 2010)

Refactoring Java programs for flexible locking. - Max Schäfer; Manu Sridharan; Julian Dolby; Frank Tip (ICSE, 2011)

F4F: taint analysis of framework-based web applications. - Manu Sridharan; Shay Artzi; Marco Pistoia; Salvatore Guarnieri; Omer Tripp; Ryan Berg (OOPSLA, 2011)

The Flow-Insensitive Precision of Andersen's Analysis in Practice. - Sam Blackshear; Bor-Yuh Evan Chang; Sriram Sankaranarayanan 001; Manu Sridharan (SAS, 2011)

Predicting your own effort. - David F. Bacon; David C. Parkes; Yiling Chen 001; Malvika Rao; Ian A. Kash; Manu Sridharan (AAMAS, 2012)

Alternate and Learn: Finding Witnesses without Looking All over. - Nishant Sinha 001; Nimit Singhania; Satish Chandra 001; Manu Sridharan (CAV, 2012)

Correlation Tracking for Points-To Analysis of JavaScript. - Manu Sridharan; Julian Dolby; Satish Chandra 001; Max Schäfer; Frank Tip (ECOOP, 2012)

Race detection for web applications. - Boris Petrov; Martin T. Vechev; Manu Sridharan; Julian Dolby (PLDI, 2012)

Efficient construction of approximate call graphs for JavaScript IDE services. - Asger Feldthaus; Max Schäfer; Manu Sridharan; Julian Dolby; Frank Tip (ICSE, 2013)

Refactoring with synthesis. - Veselin Raychev; Max Schäfer; Manu Sridharan; Martin T. Vechev (OOPSLA, 2013)

Effective race detection for event-driven programs. - Veselin Raychev; Martin T. Vechev; Manu Sridharan (OOPSLA, 2013)

Thresher: precise refutations for heap reachability. - Sam Blackshear; Bor-Yuh Evan Chang; Manu Sridharan (PLDI, 2013)

Dynamic determinacy analysis. - Max Schäfer; Manu Sridharan; Julian Dolby; Frank Tip (PLDI, 2013)

Pointer Analysis (Dagstuhl Seminar 13162). - Ondrej Lhoták; Yannis Smaragdakis; Manu Sridharan (Dagstuhl Reports, 2013)

Alias Analysis: Beyond the Code. - Manu Sridharan (Aliasing in Object-Oriented Programming, 2013)

Alias Analysis for Object-Oriented Programs. - Manu Sridharan; Satish Chandra 001; Julian Dolby; Stephen J. Fink; Eran Yahav (Aliasing in Object-Oriented Programming, 2013)

Effective race detection for event-driven programs (invited talk abstract). - Manu Sridharan (WODA+PERTEA@ISSTA, 2014)

Translating imperative code to MapReduce. - Cosmin Radoi; Stephen J. Fink; Rodric M. Rabbah; Manu Sridharan (OOPSLA, 2014)

DLint: dynamically checking bad coding practices in JavaScript. - Liang Gong; Michael Pradel; Manu Sridharan; Koushik Sen (ISSTA, 2015)

Selective control-flow abstraction via jumping. - Sam Blackshear; Bor-Yuh Evan Chang; Manu Sridharan (OOPSLA, 2015)

Mimic: computing models for opaque code. - Stefan Heule; Manu Sridharan; Satish Chandra 001 (ESEC/SIGSOFT FSE, 2015)

MemInsight: platform-independent memory debugging for JavaScript. - Simon Holm Jensen; Manu Sridharan; Koushik Sen; Satish Chandra 001 (ESEC/SIGSOFT FSE, 2015)

In defense of soundiness: a manifesto. - 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; Dimitrios Vardoulakis (Commun. ACM, 2015)

Trace Typing: An Approach for Evaluating Retrofitted Type Systems. - Esben Andreasen; Colin S. Gordon; Satish Chandra 001; Manu Sridharan; Frank Tip; Koushik Sen (ECOOP, 2016)

Type inference for static compilation of JavaScript. - Satish Chandra 001; Colin S. Gordon; Jean-Baptiste Jeannin; Cole Schlesinger; Manu Sridharan; Frank Tip; Young-Il Choi (OOPSLA, 2016)

A practical framework for type inference error explanation. - Calvin Loncaric; Satish Chandra 001; Cole Schlesinger; Manu Sridharan (OOPSLA, 2016)

Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version). - Esben Andreasen; Colin S. Gordon; Satish Chandra 001; Manu Sridharan; Frank Tip; Koushik Sen (CoRR, 2016)

Type Inference for Static Compilation of JavaScript (Extended Version). - Satish Chandra 001; Colin S. Gordon; Jean-Baptiste Jeannin; Cole Schlesinger; Manu Sridharan; Frank Tip; Young-Il Choi (CoRR, 2016)

Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts. - Andrei Marian Dan; Manu Sridharan; Satish Chandra 001; Jean-Baptiste Jeannin; Martin T. Vechev (CAV (2), 2017)

Repairing event race errors by controlling nondeterminism. - Christoffer Quist Adamsen; Anders Møller; Rezwana Karim; Manu Sridharan; Frank Tip; Koushik Sen (ICSE, 2017)

I¿¿¿: a calculus for internet of things automation. - Julie L. Newcomb; Satish Chandra 001; Jean-Baptiste Jeannin; Cole Schlesinger; Manu Sridharan (Onward!, 2017)

Safe stream-based programming with refinement types. - Benno Stein 002; Lazaro Clapp; Manu Sridharan; Bor-Yuh Evan Chang (ASE, 2018)

NullAway: practical type-based null safety for Java. - Subarno Banerjee; Lazaro Clapp; Manu Sridharan (ESEC/SIGSOFT FSE, 2019)

IDAPro for IoT Malware analysis? - Sri Shaila G; Ahmad Darki; Michalis Faloutsos; Nael B. Abu-Ghazaleh; Manu Sridharan (CSET @ USENIX Security Symposium, 2019)

Optimization of swift protocols. - Rajkishore Barik; Manu Sridharan; Murali Krishna Ramanathan; Milind Chabbi (Proc. ACM Program. Lang., 2019)

Verifying object construction. - Martin Kellogg; Manli Ran; Manu Sridharan; Martin Schäf; Michael D. Ernst (ICSE, 2020)

Piranha: reducing feature flag debt at uber. - Murali Krishna Ramanathan; Lazaro Clapp; Rajkishore Barik; Manu Sridharan (ICSE (SEIP), 2020)

LiveDroid: identifying and preserving mobile app state in volatile runtime environments. - Umar Farooq 002; Zhijia Zhao 001; Manu Sridharan; Iulian Neamtiu (Proc. ACM Program. Lang., 2020)

Demanded abstract interpretation. - Benno Stein 002; Bor-Yuh Evan Chang; Manu Sridharan (PLDI, 2021)

DisCo: Combining Disassemblers for Improved Performance. - Sri Shaila G; Ahmad Darki; Michalis Faloutsos; Nael B. Abu-Ghazaleh; Manu Sridharan (RAID, 2021)

Lightweight and modular resource leak verification. - Martin Kellogg; Narges Shadab; Manu Sridharan; Michael D. Ernst (ESEC/SIGSOFT FSE, 2021)

Demanded Abstract Interpretation (Extended Version). - Benno Stein 002; Bor-Yuh Evan Chang; Manu Sridharan (CoRR, 2021)

Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs. - Madhurima Chakraborty; Renzo Olivares; Manu Sridharan; Behnaz Hassanshahi (ECOOP, 2022)

Accumulation Analysis. - Martin Kellogg; Narges Shadab; Manu Sridharan; Michael D. Ernst (ECOOP, 2022)

Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel. - Yizhuo Zhai; Yu Hao 006; Zheng Zhang; Weiteng Chen; Guoren Li; Zhiyun Qian; Chengyu Song; Manu Sridharan; Srikanth V. Krishnamurthy; Trent Jaeger; Paul L. Yu (NDSS, 2022)

Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Extended Version). - Madhurima Chakraborty; Renzo Olivares; Manu Sridharan; Behnaz Hassanshahi (CoRR, 2022)

Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Artifact). - Madhurima Chakraborty; Renzo Olivares; Manu Sridharan; Behnaz Hassanshahi (Dagstuhl Artifacts Ser., 2022)

Accumulation Analysis (Artifact). - Martin Kellogg; Narges Shadab; Manu Sridharan; Michael D. Ernst (Dagstuhl Artifacts Ser., 2022)

Selected papers from the 2021 European Conference on Object-Oriented Programming. - Manu Sridharan (Sci. Comput. Program., 2022)

Practical Inference of Nullability Types. - Nima Karimipour; Justin Pham; Lazaro Clapp; Manu Sridharan (ESEC/SIGSOFT FSE, 2023)

Automatic Inference of Resource Leak Specifications. - Narges Shadab; Pritam M. Gharat; Shrey Tiwari; Michael D. Ernst; Martin Kellogg; Shuvendu K. Lahiri; Akash Lal; Manu Sridharan (CoRR, 2023)

Inference of Resource Management Specifications. - Narges Shadab; Pritam M. Gharat; Shrey Tiwari; Michael D. Ernst; Martin Kellogg; Shuvendu K. Lahiri; Akash Lal; Manu Sridharan (Proc. ACM Program. Lang., 2023)

Indirection-Bounded Call Graph Analysis. - Madhurima Chakraborty; Aakash Gnanakumar; Manu Sridharan; Anders Møller (ECOOP, 2024)

Don't Waste My Efforts: Pruning Redundant Sanitizer Checks by Developer-Implemented Type Checks. - Yizhuo Zhai; Zhiyun Qian; Chengyu Song; Manu Sridharan; Trent Jaeger; Paul L. Yu; Srikanth V. Krishnamurthy (USENIX Security Symposium, 2024)

Interactive Abstract Interpretation with Demanded Summarization. - Benno Stein 001; Bor-Yuh Evan Chang; Manu Sridharan (ACM Trans. Program. Lang. Syst., 2024)

Practical Type-Based Taint Checking and Inference. - Nima Karimipour; Kanak Das; Manu Sridharan; Behnaz Hassanshahi (ECOOP, 2025)

Redefining Indirect Call Analysis with KallGraph. - Guoren Li; Manu Sridharan; Zhiyun Qian (SP, 2025)

Practical Type-Based Taint Checking and Inference (Artifact). - Nima Karimipour; Kanak Das; Manu Sridharan; Behnaz Hassanshahi (Dagstuhl Artifacts Ser., 2025)

A New Approach to Evaluating Nullability Inference Tools. - Nima Karimipour; Erfan Arvan; Martin Kellogg; Manu Sridharan (Proc. ACM Softw. Eng., 2025)

Practical Type-Based Taint Checking and Inference (Extended Version). - Nima Karimipour; Kanak Das; Manu Sridharan; Behnaz Hassanshahi (CoRR, 2025)

Lightweight and modular resource leak checking (extended version). - Narges Shadab; Pritam M. Gharat; Shrey Tiwari; Michael D. Ernst; Martin Kellogg; Shuvendu K. Lahiri; Akash Lal; Manu Sridharan (Int. J. Softw. Tools Technol. Transf., 2025)

LLM-Based Repair of Static Nullability Errors. - Nima Karimipour; Michael Pradel; Martin Kellogg; Manu Sridharan (CoRR, 2025)