Manu Sridharan

According to our database, Manu Sridharan authored at least 72 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Interactive Abstract Interpretation with Demanded Summarization.

Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan

ACM Trans. Program. Lang. Syst., March, 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

Proceedings of the 33rd USENIX Security Symposium, 2024

Indirection-Bounded Call Graph Analysis.

Madhurima Chakraborty, Aakash Gnanakumar, Manu Sridharan, Anders Møller

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

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., October, 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

Practical Inference of Nullability Types.

Nima Karimipour, Justin Pham, Lazaro Clapp, Manu Sridharan

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

Selected papers from the 2021 European Conference on Object-Oriented Programming.

Manu Sridharan

Sci. Comput. Program., 2022

Accumulation Analysis (Artifact).

Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst

Dagstuhl Artifacts Ser., 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

Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Extended Version).

Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi

CoRR, 2022

Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel.

Yizhuo Zhai, Yu Hao, Zheng Zhang, Weiteng Chen, Guoren Li, Zhiyun Qian, Chengyu Song, Manu Sridharan, Srikanth V. Krishnamurthy, Trent Jaeger, Paul L. Yu

Proceedings of the 29th Annual Network and Distributed System Security Symposium, 2022

Accumulation Analysis.

Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs.

Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Demanded Abstract Interpretation (Extended Version).

Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan

CoRR, 2021

Lightweight and modular resource leak verification.

Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

DisCo: Combining Disassemblers for Improved Performance.

Sri Shaila G, Ahmad Darki, Michalis Faloutsos, Nael B. Abu-Ghazaleh, Manu Sridharan

Proceedings of the RAID '21: 24th International Symposium on Research in Attacks, 2021

Demanded abstract interpretation.

Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

LiveDroid: identifying and preserving mobile app state in volatile runtime environments.

Umar Farooq, Zhijia Zhao, Manu Sridharan, Iulian Neamtiu

Proc. ACM Program. Lang., 2020

Piranha: reducing feature flag debt at uber.

Murali Krishna Ramanathan, Lazaro Clapp, Rajkishore Barik, Manu Sridharan

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

Verifying object construction.

Martin Kellogg, Manli Ran, Manu Sridharan, Martin Schäf, Michael D. Ernst

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Optimization of swift protocols.

Rajkishore Barik, Manu Sridharan, Murali Krishna Ramanathan, Milind Chabbi

Proc. ACM Program. Lang., 2019

IDAPro for IoT Malware analysis?

Sri Shaila G, Ahmad Darki, Michalis Faloutsos, Nael B. Abu-Ghazaleh, Manu Sridharan

Proceedings of the 12th USENIX Workshop on Cyber Security Experimentation and Test, 2019

NullAway: practical type-based null safety for Java.

Subarno Banerjee, Lazaro Clapp, Manu Sridharan

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2018

Safe stream-based programming with refinement types.

Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017

I¿¿¿: a calculus for internet of things automation.

Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

Repairing event race errors by controlling nondeterminism.

Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen

Proceedings of the 39th International Conference on Software Engineering, 2017

Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts.

Andrei Marian Dan, Manu Sridharan, Satish Chandra, Jean-Baptiste Jeannin, Martin T. Vechev

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Type Inference for Static Compilation of JavaScript (Extended Version).

Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi

CoRR, 2016

Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version).

Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen

CoRR, 2016

A practical framework for type inference error explanation.

Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Type inference for static compilation of JavaScript.

Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Trace Typing: An Approach for Evaluating Retrofitted Type Systems.

Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

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

MemInsight: platform-independent memory debugging for JavaScript.

Simon Holm Jensen, Manu Sridharan, Koushik Sen, Satish Chandra

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Mimic: computing models for opaque code.

Stefan Heule, Manu Sridharan, Satish Chandra

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Selective control-flow abstraction via jumping.

Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

DLint: dynamically checking bad coding practices in JavaScript.

Liang Gong, Michael Pradel, Manu Sridharan, Koushik Sen

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014

Translating imperative code to MapReduce.

Cosmin Radoi, Stephen J. Fink, Rodric M. Rabbah, Manu Sridharan

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Effective race detection for event-driven programs (invited talk abstract).

Manu Sridharan

Proceedings of the 2014 Joint International Workshop on Dynamic Analysis (WODA) and Software and System Performance Testing, 2014

2013

Alias Analysis for Object-Oriented Programs.

Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, Eran Yahav

Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Alias Analysis: Beyond the Code.

Manu Sridharan

Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Pointer Analysis (Dagstuhl Seminar 13162).

Ondrej Lhoták, Yannis Smaragdakis, Manu Sridharan

Dagstuhl Reports, 2013

Dynamic determinacy analysis.

Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Thresher: precise refutations for heap reachability.

Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Effective race detection for event-driven programs.

Veselin Raychev, Martin T. Vechev, Manu Sridharan

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Refactoring with synthesis.

Veselin Raychev, Max Schäfer, Manu Sridharan, Martin T. Vechev

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Efficient construction of approximate call graphs for JavaScript IDE services.

Asger Feldthaus, Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Race detection for web applications.

Boris Petrov, Martin T. Vechev, Manu Sridharan, Julian Dolby

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Correlation Tracking for Points-To Analysis of JavaScript.

Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Alternate and Learn: Finding Witnesses without Looking All over.

Nishant Sinha, Nimit Singhania, Satish Chandra, Manu Sridharan

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Predicting your own effort.

David F. Bacon, David C. Parkes, Yiling Chen, Malvika Rao, Ian A. Kash, Manu Sridharan

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

The Flow-Insensitive Precision of Andersen's Analysis in Practice.

Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan

Proceedings of the Static Analysis - 18th International Symposium, 2011

F4F: taint analysis of framework-based web applications.

Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Refactoring Java programs for flexible locking.

Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Software economies.

David F. Bacon, Eric Bokelberg, Yiling Chen, Ian A. Kash, David C. Parkes, Malvika Rao, Manu Sridharan

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Correct Refactoring of Concurrent Java Code.

Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip

Proceedings of the ECOOP 2010, 2010

2009

Refactoring for reentrancy.

Jan Wloka, Manu Sridharan, Frank Tip

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

The Complexity of Andersen's Analysis in Practice.

Manu Sridharan, Stephen J. Fink

Proceedings of the Static Analysis, 16th International Symposium, 2009

TAJ: effective taint analysis of web applications.

Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Snugglebug: a powerful approach to weakest preconditions.

Satish Chandra, Stephen J. Fink, Manu Sridharan

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis.

Guoqing Xu, Atanas Rountev, Manu Sridharan

Proceedings of the ECOOP 2009, 2009

2007

Thin slicing.

Manu Sridharan, Stephen J. Fink, Rastislav Bodík

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2006

Refinement-based context-sensitive points-to analysis for Java.

Manu Sridharan, Rastislav Bodík

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

2005

Demand-driven points-to analysis for Java.

Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004

PSE: explaining program failures via postmortem static analysis.

Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

2003

PML: Toward a High-Level Formal Language for Biological Systems.

Bor-Yuh Evan Chang, Manu Sridharan

Proceedings of the First Workshop on Concurrent Models in Molecular Biology, 2003

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores.

Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

2002

Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs.

Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

2001

A micromodularity mechanism.

Daniel Jackson, Ilya Shlyakhter, Manu Sridharan

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

A Perturbation-Free Replay Platform for Cross-Optimized Multithreaded Applications.

Bowen Alpern, Jong-Deok Choi, Ton Ngo, Manu Sridharan, John M. Vlissides

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

2000

DejaVu: deterministic Java replay debugger for Jalapeño Java virtual machine.

Bowen Alpern, Ton Ngo, Jong-Deok Choi, Manu Sridharan

Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000

Multi-agent Q-learning and Regression Trees for Automated Pricing Decisions.

Manu Sridharan, Gerald Tesauro

Proceedings of the Seventeenth International Conference on Machine Learning (ICML 2000), Stanford University, Stanford, CA, USA, June 29, 2000