| 2007 |
|---|
| 11 | EE | Manu Sridharan,
Stephen J. Fink,
Rastislav Bodík:
Thin slicing.
PLDI 2007: 112-122 |
| 10 | EE | 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) |
| 2006 |
|---|
| 9 | EE | Manu Sridharan,
Rastislav Bodík:
Refinement-based context-sensitive points-to analysis for Java.
PLDI 2006: 387-400 |
| 2005 |
|---|
| 8 | EE | Manu Sridharan,
Denis Gopan,
Lexin Shan,
Rastislav Bodík:
Demand-driven points-to analysis for Java.
OOPSLA 2005: 59-76 |
| 2004 |
|---|
| 7 | EE | Roman Manevich,
Manu Sridharan,
Stephen Adams,
Manuvir Das,
Zhe Yang:
PSE: explaining program failures via postmortem static analysis.
SIGSOFT FSE 2004: 63-72 |
| 2003 |
|---|
| 6 | EE | Ilya Shlyakhter,
Robert Seater,
Daniel Jackson,
Manu Sridharan,
Mana Taghdiri:
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores.
ASE 2003: 94-105 |
| 2002 |
|---|
| 5 | EE | 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 |
|---|
| 4 | EE | Daniel Jackson,
Ilya Shlyakhter,
Manu Sridharan:
A micromodularity mechanism.
ESEC / SIGSOFT FSE 2001: 62-73 |
| 3 | | 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 |
| 2000 |
|---|
| 2 | EE | Manu Sridharan,
Gerald Tesauro:
Multi-Agent Q-Learning and Regression Trees for Automated Pricing Decisions.
ICMAS 2000: 447-448 |
| 1 | | Manu Sridharan,
Gerald Tesauro:
Multi-agent Q-learning and Regression Trees for Automated Pricing Decisions.
ICML 2000: 927-934 |
