- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c25 |      | David F. Bacon, David C. Parkes, Yiling Chen, Malvika Rao, Ian A. Kash, Manu Sridharan: Predicting your own effort. AAMAS 2012: 695-702 |
| c24 | | Nishant Sinha, Nimit Singhania, Satish Chandra, Manu Sridharan: Alternate and Learn: Finding Witnesses without Looking All over. CAV 2012: 599-615 |
| c23 | | Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip: Correlation Tracking for Points-To Analysis of JavaScript. ECOOP 2012: 435-458 |
| c22 | | Boris Petrov, Martin T. Vechev, Manu Sridharan, Julian Dolby: Race detection for web applications. PLDI 2012: 251-262 |
| 2011 | ||
| c21 | | Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip: Refactoring Java programs for flexible locking. ICSE 2011: 71-80 |
| c20 | | Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg: F4F: taint analysis of framework-based web applications. OOPSLA 2011: 1053-1068 |
| c19 | | 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 | ||
| c18 | | Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip: Correct Refactoring of Concurrent Java Code. ECOOP 2010: 225-249 |
| c17 | | David F. Bacon, Eric Bokelberg, Yiling Chen, Ian A. Kash, David C. Parkes, Malvika Rao, Manu Sridharan: Software economies. FoSER 2010: 7-12 |
| 2009 | ||
| c16 | | Guoqing (Harry) Xu, Atanas Rountev, Manu Sridharan: Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis. ECOOP 2009: 98-122 |
| c15 | | Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman: TAJ: effective taint analysis of web applications. PLDI 2009: 87-97 |
| c14 | | Satish Chandra, Stephen J. Fink, Manu Sridharan: Snugglebug: a powerful approach to weakest preconditions. PLDI 2009: 363-374 |
| c13 | | Manu Sridharan, Stephen J. Fink: The Complexity of Andersen's Analysis in Practice. SAS 2009: 205-221 |
| c12 | | |
| 2007 | ||
| j1 | | Bor-Yuh Evan Chang, Manu Sridharan: PML: Toward a High-Level Formal Language for Biological Systems. Electr. Notes Theor. Comput. Sci. 180(3): 15-30 (2007) |
| c11 | | |
| 2006 | ||
| c10 | | Manu Sridharan, Rastislav Bodík: Refinement-based context-sensitive points-to analysis for Java. PLDI 2006: 387-400 |
| 2005 | ||
| c9 | | Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík: Demand-driven points-to analysis for Java. OOPSLA 2005: 59-76 |
| 2004 | ||
| c8 | | Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang: PSE: explaining program failures via postmortem static analysis. SIGSOFT FSE 2004: 63-72 |
| 2003 | ||
| c7 | | Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri: Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. ASE 2003: 94-105 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page