Manu Sridharan

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 33

Top Topics

Abstract Interpretation

Top Venues

ESEC/SIGSOFT FSE

Proc. ACM Program. Lang.

Publications

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