Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDManu Sridharan
Person information
- affiliation: IBM Thomas J. Watson Research Center, Yorktown Heights, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j8]Benno Stein
, Bor-Yuh Evan Chang, Manu Sridharan:
Interactive Abstract Interpretation with Demanded Summarization. ACM Trans. Program. Lang. Syst. 46(1): 4:1-4:40 (2024)- [c56]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 - 2023
- [j7]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): 1705-1728 (2023) - [c55]Nima Karimipour, Justin Pham, Lazaro Clapp, Manu Sridharan:
Practical Inference of Nullability Types. ESEC/SIGSOFT FSE 2023: 1395-1406 - [i8]Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan:
Automatic Inference of Resource Leak Specifications. CoRR abs/2306.11953 (2023) - 2022
- [j6]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): 07:1-07:5 (2022) - [j5]Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst:
Accumulation Analysis (Artifact). Dagstuhl Artifacts Ser. 8(2): 22:1-22:3 (2022) - [j4]Manu Sridharan:
Selected papers from the 2021 European Conference on Object-Oriented Programming. Sci. Comput. Program. 219: 102820 (2022) - [c54]Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi:
Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs. ECOOP 2022: 3:1-3:28 - [c53]Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst:
Accumulation Analysis. ECOOP 2022: 10:1-10:30 - [c52]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 - [i7]Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi:
Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Extended Version). CoRR abs/2205.06780 (2022) - 2021
- [c51]Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan:
Demanded abstract interpretation. PLDI 2021: 282-295 - [c50]Sri Shaila G, Ahmad Darki, Michalis Faloutsos, Nael B. Abu-Ghazaleh, Manu Sridharan:
DisCo: Combining Disassemblers for Improved Performance. RAID 2021: 148-161 - [c49]Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst:
Lightweight and modular resource leak verification. ESEC/SIGSOFT FSE 2021: 181-192 - [e1]Anders Møller, Manu Sridharan:
35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference). LIPIcs 194, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-190-0 [contents] - [i6]Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan:
Demanded Abstract Interpretation (Extended Version). CoRR abs/2104.01270 (2021) - 2020
- [j3]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): 160:1-160:30 (2020) - [c48]Murali Krishna Ramanathan, Lazaro Clapp, Rajkishore Barik, Manu Sridharan:
Piranha: reducing feature flag debt at uber. ICSE (SEIP) 2020: 221-230 - [c47]Martin Kellogg, Manli Ran, Manu Sridharan, Martin Schäf, Michael D. Ernst:
Verifying object construction. ICSE 2020: 1447-1458
2010 – 2019
- 2019
- [j2]Rajkishore Barik, Manu Sridharan, Murali Krishna Ramanathan, Milind Chabbi:
Optimization of swift protocols. Proc. ACM Program. Lang. 3(OOPSLA): 164:1-164:27 (2019) - [c46]Subarno Banerjee, Lazaro Clapp, Manu Sridharan:
NullAway: practical type-based null safety for Java. ESEC/SIGSOFT FSE 2019: 740-750 - [c45]Sri Shaila G, Ahmad Darki, Michalis Faloutsos, Nael B. Abu-Ghazaleh, Manu Sridharan:
IDAPro for IoT Malware analysis? CSET @ USENIX Security Symposium 2019 - [i5]Subarno Banerjee, Lazaro Clapp, Manu Sridharan:
NullAway: Practical Type-Based Null Safety for Java. CoRR abs/1907.02127 (2019) - 2018
- [c44]Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang:
Safe stream-based programming with refinement types. ASE 2018: 565-576 - [i4]Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang:
Safe Stream-Based Programming with Refinement Types. CoRR abs/1808.02998 (2018) - 2017
- [c43]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: 521-541 - [c42]Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen:
Repairing event race errors by controlling nondeterminism. ICSE 2017: 289-299 - [c41]Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan:
I¿¿¿: a calculus for internet of things automation. Onward! 2017: 119-133 - 2016
- [c40]Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen:
Trace Typing: An Approach for Evaluating Retrofitted Type Systems. ECOOP 2016: 1:1-1:26 - [c39]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: 410-429 - [c38]Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan:
A practical framework for type inference error explanation. OOPSLA 2016: 781-799 - [i3]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 abs/1605.01362 (2016) - [i2]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 abs/1608.07261 (2016) - 2015
- [j1]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): 44-46 (2015) - [c37]Liang Gong, Michael Pradel, Manu Sridharan, Koushik Sen:
DLint: dynamically checking bad coding practices in JavaScript. ISSTA 2015: 94-105 - [c36]Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan:
Selective control-flow abstraction via jumping. OOPSLA 2015: 163-182 - [c35]Simon Holm Jensen, Manu Sridharan, Koushik Sen, Satish Chandra:
MemInsight: platform-independent memory debugging for JavaScript. ESEC/SIGSOFT FSE 2015: 345-356 - [c34]Stefan Heule, Manu Sridharan, Satish Chandra:
Mimic: computing models for opaque code. ESEC/SIGSOFT FSE 2015: 710-720 - 2014
- [c33]Manu Sridharan:
Effective race detection for event-driven programs (invited talk abstract). WODA+PERTEA@ISSTA 2014: 9 - [c32]Cosmin Radoi, Stephen J. Fink, Rodric M. Rabbah, Manu Sridharan:
Translating imperative code to MapReduce. OOPSLA 2014: 909-927 - 2013
- [c31]Asger Feldthaus, Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip:
Efficient construction of approximate call graphs for JavaScript IDE services. ICSE 2013: 752-761 - [c30]Veselin Raychev, Martin T. Vechev, Manu Sridharan:
Effective race detection for event-driven programs. OOPSLA 2013: 151-166 - [c29]Veselin Raychev, Max Schäfer, Manu Sridharan, Martin T. Vechev:
Refactoring with synthesis. OOPSLA 2013: 339-354 - [c28]Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip:
Dynamic determinacy analysis. PLDI 2013: 165-174 - [c27]Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan:
Thresher: precise refutations for heap reachability. PLDI 2013: 275-286 - [p2]Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, Eran Yahav:
Alias Analysis for Object-Oriented Programs. Aliasing in Object-Oriented Programming 2013: 196-232 - [p1]Manu Sridharan:
Alias Analysis: Beyond the Code. Aliasing in Object-Oriented Programming 2013: 505-506 - [i1]Ondrej Lhoták, Yannis Smaragdakis, Manu Sridharan:
Pointer Analysis (Dagstuhl Seminar 13162). Dagstuhl Reports 3(4): 91-113 (2013) - 2012
- [c26]David F. Bacon, David C. Parkes, Yiling Chen, Malvika Rao, Ian A. Kash, Manu Sridharan:
Predicting your own effort. AAMAS 2012: 695-702 - [c25]Nishant Sinha, Nimit Singhania, Satish Chandra, Manu Sridharan:
Alternate and Learn: Finding Witnesses without Looking All over. CAV 2012: 599-615 - [c24]Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip:
Correlation Tracking for Points-To Analysis of JavaScript. ECOOP 2012: 435-458 - [c23]Boris Petrov, Martin T. Vechev, Manu Sridharan, Julian Dolby:
Race detection for web applications. PLDI 2012: 251-262 - 2011
- [c22]Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip:
Refactoring Java programs for flexible locking. ICSE 2011: 71-80 - [c21]Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg:
F4F: taint analysis of framework-based web applications. OOPSLA 2011: 1053-1068 - [c20]Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan:
The Flow-Insensitive Precision of Andersen's Analysis in Practice. SAS 2011: 60-76 - 2010
- [c19]Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip:
Correct Refactoring of Concurrent Java Code. ECOOP 2010: 225-249 - [c18]David F. Bacon, Eric Bokelberg, Yiling Chen, Ian A. Kash, David C. Parkes, Malvika Rao, Manu Sridharan:
Software economies. FoSER 2010: 7-12
2000 – 2009
- 2009
- [c17]Guoqing Xu, Atanas Rountev, Manu Sridharan:
Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis. ECOOP 2009: 98-122 - [c16]Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman:
TAJ: effective taint analysis of web applications. PLDI 2009: 87-97 - [c15]Satish Chandra, Stephen J. Fink, Manu Sridharan:
Snugglebug: a powerful approach to weakest preconditions. PLDI 2009: 363-374 - [c14]Manu Sridharan, Stephen J. Fink:
The Complexity of Andersen's Analysis in Practice. SAS 2009: 205-221 - [c13]Jan Wloka, Manu Sridharan, Frank Tip:
Refactoring for reentrancy. ESEC/SIGSOFT FSE 2009: 173-182 - 2007
- [c12]Manu Sridharan, Stephen J. Fink, Rastislav Bodík:
Thin slicing. PLDI 2007: 112-122 - 2006
- [c11]Manu Sridharan, Rastislav Bodík:
Refinement-based context-sensitive points-to analysis for Java. PLDI 2006: 387-400 - 2005
- [c10]Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík:
Demand-driven points-to analysis for Java. OOPSLA 2005: 59-76 - 2004
- [c9]Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang:
PSE: explaining program failures via postmortem static analysis. SIGSOFT FSE 2004: 63-72 - 2003
- [c8]Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri:
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. ASE 2003: 94-105 - [c7]Bor-Yuh Evan Chang, Manu Sridharan:
PML: Toward a High-Level Formal Language for Biological Systems. BioConcur@CONCUR 2003: 15-30 - 2002
- [c6]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: 258-269 - 2001
- [c5]Bowen Alpern, Jong-Deok Choi, Ton Ngo, Manu Sridharan, John M. Vlissides:
A Perturbation-Free Replay Platform for Cross-Optimized Multithreaded Applications. IPDPS 2001: 23 - [c4]Daniel Jackson, Ilya Shlyakhter, Manu Sridharan:
A micromodularity mechanism. ESEC / SIGSOFT FSE 2001: 62-73 - 2000
- [c3]Manu Sridharan, Gerald Tesauro:
Multi-Agent Q-Learning and Regression Trees for Automated Pricing Decisions. ICMAS 2000: 447-448 - [c2]Manu Sridharan, Gerald Tesauro:
Multi-agent Q-learning and Regression Trees for Automated Pricing Decisions. ICML 2000: 927-934 - [c1]Bowen Alpern, Ton Ngo, Jong-Deok Choi, Manu Sridharan:
DejaVu: deterministic Java replay debugger for Jalapeño Java virtual machine. OOPSLA Addendum 2000: 165-166
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-23 21:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
