Manu Sridharan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
43
Venues
12
Active years
2000–2025
Best venue rank
A*
Where they publish
Papers
43 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECOOP | Practical Type-Based Taint Checking and Inference. | Nima Karimipour, Kanak Das, Manu Sridharan, Behnaz Hassanshahi |
| 2025 | SP | Redefining Indirect Call Analysis with KallGraph. | Guoren Li, Manu Sridharan, Zhiyun Qian |
| 2024 | ECOOP | Indirection-Bounded Call Graph Analysis. | Madhurima Chakraborty, Aakash Gnanakumar, Manu Sridharan, Anders Mller |
| 2022 | ECOOP | Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs. | Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi |
| 2022 | ECOOP | Accumulation Analysis. | Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst |
| 2022 | NDSS | 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 |
| 2021 | PLDI | Demanded abstract interpretation. | Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan |
| 2021 | RAID | DisCo: Combining Disassemblers for Improved Performance. | Sri Shaila G, Ahmad Darki, Michalis Faloutsos, Nael B. Abu-Ghazaleh, Manu Sridharan |
| 2020 | ICSE | Verifying object construction. | Martin Kellogg, Manli Ran, Manu Sridharan, Martin Schf, Michael D. Ernst |
| 2020 | ICSE | Piranha: reducing feature flag debt at uber. | Murali Krishna Ramanathan, Lazaro Clapp, Rajkishore Barik, Manu Sridharan |
| 2017 | CAV | Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts. | Andrei Marian Dan, Manu Sridharan, Satish Chandra, Jean-Baptiste Jeannin, Martin T. Vechev |
| 2017 | ICSE | Repairing event race errors by controlling nondeterminism. | Christoffer Quist Adamsen, Anders Mller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen |
| 2017 | OOPSLA | I¿¿¿: a calculus for internet of things automation. | Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan |
| 2016 | ECOOP | Trace Typing: An Approach for Evaluating Retrofitted Type Systems. | Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen |
| 2016 | OOPSLA | Type inference for static compilation of JavaScript. | Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi |
| 2016 | OOPSLA | A practical framework for type inference error explanation. | Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan |
| 2015 | ISSTA | DLint: dynamically checking bad coding practices in JavaScript. | Liang Gong, Michael Pradel, Manu Sridharan, Koushik Sen |
| 2015 | OOPSLA | Selective control-flow abstraction via jumping. | Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan |
| 2014 | ISSTA | Effective race detection for event-driven programs (invited talk abstract). | Manu Sridharan |
| 2014 | OOPSLA | Translating imperative code to MapReduce. | Cosmin Radoi, Stephen J. Fink, Rodric M. Rabbah, Manu Sridharan |
| 2013 | ICSE | Efficient construction of approximate call graphs for JavaScript IDE services. | Asger Feldthaus, Max Schfer, Manu Sridharan, Julian Dolby, Frank Tip |
| 2013 | OOPSLA | Refactoring with synthesis. | Veselin Raychev, Max Schfer, Manu Sridharan, Martin T. Vechev |
| 2013 | OOPSLA | Effective race detection for event-driven programs. | Veselin Raychev, Martin T. Vechev, Manu Sridharan |
| 2013 | PLDI | Thresher: precise refutations for heap reachability. | Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan |
| 2013 | PLDI | Dynamic determinacy analysis. | Max Schfer, Manu Sridharan, Julian Dolby, Frank Tip |
| 2012 | AAMAS | Predicting your own effort. | David F. Bacon, David C. Parkes, Yiling Chen, Malvika Rao, Ian A. Kash, Manu Sridharan |
| 2012 | CAV | Alternate and Learn: Finding Witnesses without Looking All over. | Nishant Sinha, Nimit Singhania, Satish Chandra, Manu Sridharan |
| 2012 | ECOOP | Correlation Tracking for Points-To Analysis of JavaScript. | Manu Sridharan, Julian Dolby, Satish Chandra, Max Schfer, Frank Tip |
| 2012 | PLDI | Race detection for web applications. | Boris Petrov, Martin T. Vechev, Manu Sridharan, Julian Dolby |
| 2011 | ICSE | Refactoring Java programs for flexible locking. | Max Schfer, Manu Sridharan, Julian Dolby, Frank Tip |
| 2011 | OOPSLA | F4F: taint analysis of framework-based web applications. | Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg |
| 2011 | SAS | The Flow-Insensitive Precision of Andersen's Analysis in Practice. | Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan |
| 2010 | ECOOP | Correct Refactoring of Concurrent Java Code. | Max Schfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip |
| 2009 | ECOOP | Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis. | Guoqing Xu, Atanas Rountev, Manu Sridharan |
| 2009 | PLDI | Snugglebug: a powerful approach to weakest preconditions. | Satish Chandra, Stephen J. Fink, Manu Sridharan |
| 2009 | PLDI | TAJ: effective taint analysis of web applications. | Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman |
| 2009 | SAS | The Complexity of Andersen's Analysis in Practice. | Manu Sridharan, Stephen J. Fink |
| 2007 | PLDI | Thin slicing. | Manu Sridharan, Stephen J. Fink, Rastislav Bodk |
| 2006 | PLDI | Refinement-based context-sensitive points-to analysis for Java. | Manu Sridharan, Rastislav Bodk |
| 2005 | OOPSLA | Demand-driven points-to analysis for Java. | Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodk |
| 2002 | PLDI | Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. | Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan |
| 2000 | ICML | Multi-agent Q-learning and Regression Trees for Automated Pricing Decisions. | Manu Sridharan, Gerald Tesauro |
| 2000 | OOPSLA | DejaVu: deterministic Java replay debugger for Jalapeo Java virtual machine. | Bowen Alpern, Ton Ngo, Jong-Deok Choi, Manu Sridharan |