Manu Sridharan

86 papers A* 21A 21B 2Journal 22Unranked 17
YearRankTypeTitle / Venue / Authors
2025 J jnl
A New Approach to Evaluating Nullability Inference Tools.
Proc. ACM Softw. Eng.
Nima Karimipour, Erfan Arvan, Martin Kellogg, Manu Sridharan
2025 J jnl
LLM-Based Repair of Static Nullability Errors.
CoRR
Nima Karimipour, Michael Pradel, Martin Kellogg, Manu Sridharan
2025 J jnl
Lightweight and modular resource leak checking (extended version).
Int. J. Softw. Tools Technol. Transf.
Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
2025 J jnl
Practical Type-Based Taint Checking and Inference (Artifact).
Dagstuhl Artifacts Ser.
Nima Karimipour, Kanak Das, Manu Sridharan, Behnaz Hassanshahi
2025 J jnl
Practical Type-Based Taint Checking and Inference (Extended Version).
CoRR
Nima Karimipour, Kanak Das, Manu Sridharan, Behnaz Hassanshahi
2025 A conf
Practical Type-Based Taint Checking and Inference.
ECOOP
Nima Karimipour, Kanak Das, Manu Sridharan, Behnaz Hassanshahi
2025 A* conf
Redefining Indirect Call Analysis with KallGraph.
SP
Guoren Li, Manu Sridharan, Zhiyun Qian
2025 A* conf
Repairing Leaks in Resource Wrappers.
ASE
Sanjay Malakar, Michael D. Ernst, Martin Kellogg, Manu Sridharan
2025 J jnl
Repairing Leaks in Resource Wrappers.
CoRR
Sanjay Malakar, Michael D. Ernst, Martin Kellogg, Manu Sridharan
2024 — ed.
Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2024, Pasadena, CA, USA, October 20-25, 2024
SPLASH Companion
Manu Sridharan
2024 A* conf
Don't Waste My Efforts: Pruning Redundant Sanitizer Checks by Developer-Implemented Type Checks.
USENIX Security Symposium
Yizhuo Zhai, Zhiyun Qian, Chengyu Song, Manu Sridharan, Trent Jaeger, Paul L. Yu, Srikanth V. Krishnamurthy
2024 A conf
Indirection-Bounded Call Graph Analysis.
ECOOP
Madhurima Chakraborty, Aakash Gnanakumar, Manu Sridharan, Anders Møller
2024 J jnl
Interactive Abstract Interpretation with Demanded Summarization.
ACM Trans. Program. Lang. Syst.
Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan
2023 J jnl
Automatic Inference of Resource Leak Specifications.
CoRR
Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
2023 J jnl
Inference of Resource Management Specifications.
Proc. ACM Program. Lang.
Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
2023 — conf
Practical Inference of Nullability Types.
ESEC/SIGSOFT FSE
Nima Karimipour, Justin Pham, Lazaro Clapp, Manu Sridharan
2022 J jnl
Accumulation Analysis (Artifact).
Dagstuhl Artifacts Ser.
Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
2022 A conf
Accumulation Analysis.
ECOOP
Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
2022 J jnl
Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Artifact).
Dagstuhl Artifacts Ser.
Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi
2022 J jnl
Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Extended Version).
CoRR
Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi
2022 A conf
Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs.
ECOOP
Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi
2022 A* conf
Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel.
NDSS
Yizhuo Zhai, Yu Hao, Zheng Zhang, Weiteng Chen, Guoren Li, Zhiyun Qian, Chengyu Song, Manu Sridharan, Srikanth V. Krishnamurthy, Trent Jaeger, Paul L. Yu
2022 J jnl
Selected papers from the 2021 European Conference on Object-Oriented Programming.
Sci. Comput. Program.
Manu Sridharan
2021 A ed.
35th European Conference on Object-Oriented Programming, ECOOP 2021, Aarhus, Denmark (Virtual Conference), July 11-17, 2021
ECOOP
Anders Møller, Manu Sridharan
2021 J jnl
Demanded Abstract Interpretation (Extended Version).
CoRR
Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan
2021 A* conf
Demanded abstract interpretation.
PLDI
Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan
2021 A conf
DisCo: Combining Disassemblers for Improved Performance.
RAID
Sri Shaila G, Ahmad Darki, Michalis Faloutsos, Nael B. Abu-Ghazaleh, Manu Sridharan
2021 — conf
Lightweight and modular resource leak verification.
ESEC/SIGSOFT FSE
Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
2020 J jnl
LiveDroid: identifying and preserving mobile app state in volatile runtime environments.
Proc. ACM Program. Lang.
Umar Farooq, Zhijia Zhao, Manu Sridharan, Iulian Neamtiu
2020 — conf
Piranha: reducing feature flag debt at uber.
ICSE (SEIP)
Murali Krishna Ramanathan, Lazaro Clapp, Rajkishore Barik, Manu Sridharan
2020 A* conf
Verifying object construction.
ICSE
Martin Kellogg, Manli Ran, Manu Sridharan, Martin Schäf, Michael D. Ernst
2019 — conf
IDAPro for IoT Malware analysis?
CSET @ USENIX Security Symposium
Sri Shaila G, Ahmad Darki, Michalis Faloutsos, Nael B. Abu-Ghazaleh, Manu Sridharan
2019 J jnl
NullAway: Practical Type-Based Null Safety for Java.
CoRR
Subarno Banerjee, Lazaro Clapp, Manu Sridharan
2019 — conf
NullAway: practical type-based null safety for Java.
ESEC/SIGSOFT FSE
Subarno Banerjee, Lazaro Clapp, Manu Sridharan
2019 J jnl
Optimization of swift protocols.
Proc. ACM Program. Lang.
Rajkishore Barik, Manu Sridharan, Murali Krishna Ramanathan, Milind Chabbi
2018 J jnl
Safe Stream-Based Programming with Refinement Types.
CoRR
Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang
2018 A* conf
Safe stream-based programming with refinement types.
ASE
Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang
2017 — conf
Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts.
CAV (2)
Andrei Marian Dan, Manu Sridharan, Satish Chandra, Jean-Baptiste Jeannin, Martin T. Vechev
2017 — conf
I¿¿¿: a calculus for internet of things automation.
Onward!
Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan
2017 A* conf
Repairing event race errors by controlling nondeterminism.
ICSE
Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen
2016 A conf
A practical framework for type inference error explanation.
OOPSLA
Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan
2016 J jnl
Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version).
CoRR
Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen
2016 A conf
Trace Typing: An Approach for Evaluating Retrofitted Type Systems.
ECOOP
Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen
2016 J jnl
Type Inference for Static Compilation of JavaScript (Extended Version).
CoRR
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi
2016 A conf
Type inference for static compilation of JavaScript.
OOPSLA
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi
2015 A conf
DLint: dynamically checking bad coding practices in JavaScript.
ISSTA
Liang Gong, Michael Pradel, Manu Sridharan, Koushik Sen
2015 J jnl
In defense of soundiness: a manifesto.
Commun. ACM
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
2015 — conf
MemInsight: platform-independent memory debugging for JavaScript.
ESEC/SIGSOFT FSE
Simon Holm Jensen, Manu Sridharan, Koushik Sen, Satish Chandra
2015 — conf
Mimic: computing models for opaque code.
ESEC/SIGSOFT FSE
Stefan Heule, Manu Sridharan, Satish Chandra
2015 A conf
Selective control-flow abstraction via jumping.
OOPSLA
Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan
2014 — conf
Effective race detection for event-driven programs (invited talk abstract).
WODA+PERTEA@ISSTA
Manu Sridharan
2014 A conf
Translating imperative code to MapReduce.
OOPSLA
Cosmin Radoi, Stephen J. Fink, Rodric M. Rabbah, Manu Sridharan
2013 — ch.
Alias Analysis for Object-Oriented Programs.
Aliasing in Object-Oriented Programming
Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, Eran Yahav
2013 — ch.
Alias Analysis: Beyond the Code.
Aliasing in Object-Oriented Programming
Manu Sridharan
2013 A* conf
Dynamic determinacy analysis.
PLDI
Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip
2013 A conf
Effective race detection for event-driven programs.
OOPSLA
Veselin Raychev, Martin T. Vechev, Manu Sridharan
2013 A* conf
Efficient construction of approximate call graphs for JavaScript IDE services.
ICSE
Asger Feldthaus, Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip
2013 J jnl
Pointer Analysis (Dagstuhl Seminar 13162).
Dagstuhl Reports
Ondrej Lhoták, Yannis Smaragdakis, Manu Sridharan
2013 A conf
Refactoring with synthesis.
OOPSLA
Veselin Raychev, Max Schäfer, Manu Sridharan, Martin T. Vechev
2013 A* conf
Thresher: precise refutations for heap reachability.
PLDI
Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan
2012 A* conf
Alternate and Learn: Finding Witnesses without Looking All over.
CAV
Nishant Sinha, Nimit Singhania, Satish Chandra, Manu Sridharan
2012 A conf
Correlation Tracking for Points-To Analysis of JavaScript.
ECOOP
Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip
2012 A conf
Predicting your own effort.
AAMAS
David F. Bacon, David C. Parkes, Yiling Chen, Malvika Rao, Ian A. Kash, Manu Sridharan
2012 A* conf
Race detection for web applications.
PLDI
Boris Petrov, Martin T. Vechev, Manu Sridharan, Julian Dolby
2011 A conf
F4F: taint analysis of framework-based web applications.
OOPSLA
Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg
2011 A* conf
Refactoring Java programs for flexible locking.
ICSE
Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip
2011 B conf
The Flow-Insensitive Precision of Andersen's Analysis in Practice.
SAS
Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan
2010 A conf
Correct Refactoring of Concurrent Java Code.
ECOOP
Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip
2010 — conf
Software economies.
FoSER
David F. Bacon, Eric Bokelberg, Yiling Chen, Ian A. Kash, David C. Parkes, Malvika Rao, Manu Sridharan
2009 — conf
Refactoring for reentrancy.
ESEC/SIGSOFT FSE
Jan Wloka, Manu Sridharan, Frank Tip
2009 A conf
Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis.
ECOOP
Guoqing Xu, Atanas Rountev, Manu Sridharan
2009 A* conf
Snugglebug: a powerful approach to weakest preconditions.
PLDI
Satish Chandra, Stephen J. Fink, Manu Sridharan
2009 A* conf
TAJ: effective taint analysis of web applications.
PLDI
Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman
2009 B conf
The Complexity of Andersen's Analysis in Practice.
SAS
Manu Sridharan, Stephen J. Fink
2007 A* conf
Thin slicing.
PLDI
Manu Sridharan, Stephen J. Fink, Rastislav Bodík
2006 A* conf
Refinement-based context-sensitive points-to analysis for Java.
PLDI
Manu Sridharan, Rastislav Bodík
2005 A conf
Demand-driven points-to analysis for Java.
OOPSLA
Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík
2004 — conf
PSE: explaining program failures via postmortem static analysis.
SIGSOFT FSE
Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang
2003 A* conf
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores.
ASE
Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri
2003 — conf
PML: Toward a High-Level Formal Language for Biological Systems.
BioConcur@CONCUR
Bor-Yuh Evan Chang, Manu Sridharan
2002 A* conf
Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs.
PLDI
Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan
2001 A conf
A Perturbation-Free Replay Platform for Cross-Optimized Multithreaded Applications.
IPDPS
Bowen Alpern, Jong-Deok Choi, Ton Ngo, Manu Sridharan, John M. Vlissides
2001 — conf
A micromodularity mechanism.
ESEC / SIGSOFT FSE
Daniel Jackson, Ilya Shlyakhter, Manu Sridharan
2000 — conf
DejaVu: deterministic Java replay debugger for Jalapeño Java virtual machine.
OOPSLA Addendum
Bowen Alpern, Ton Ngo, Jong-Deok Choi, Manu Sridharan
2000 — conf
Multi-Agent Q-Learning and Regression Trees for Automated Pricing Decisions.
ICMAS
Manu Sridharan, Gerald Tesauro
2000 A* conf
Multi-agent Q-learning and Regression Trees for Automated Pricing Decisions.
ICML
Manu Sridharan, Gerald Tesauro