Searching for authors named "Manu Sridharan" – sorted by Relevance.
-
Dynamic datarace detection for object-oriented programs
- Dynamic Datarace Detection for Object-Oriented Programs by Manu Sridharan Submitted
- Cited by 2 (0 self) – Add To MetaCart
-
Multi-agent Q-learning and regression trees for automated pricing decisions
- Multi-agent Q-learning and regression trees for automated pricing decisions Manu Sridharan msridhar
- Cited by 10 (0 self) – Add To MetaCart
-
Refinement-based context-sensitive points-to analysis for Java
- Refinement-Based Context-Sensitive Points-To Analysis for Java Manu Sridharan Ras Bodik Electrical
- Cited by 21 (0 self) – Add To MetaCart
-
Exploiting Subformula Sharing in Automatic Analysis of Quantified Formulas
- Exploiting Subformula Sharing in Automatic Analysis of Quantied Formulas Ilya Shlyakhter 1 , Manu
- Cited by 9 (6 self) – Add To MetaCart
-
DejaVu: Deterministic Java Replay Debugger for Jalape no Java Virtual Machine
- IBM T.J. Watson Research Center P.O. Box 704 Yorktown Heights, NY 10598 ton@(email omitted); Manu Sridharan
- Cited by 5 (0 self) – Add To MetaCart
-
A Perturbation-Free Replay Platform for Cross-Optimized Multithreaded Applications
- Bowen Alpern Ton Ngo Manu Sridharan y John Vlissides IBM T. J. Watson Research Center PO Box 704
- Cited by 12 (4 self) – Add To MetaCart
-
Refinement-based program analysis tools
- Refinement-Based Program Analysis Tools Manu Sridharan Electrical Engineering and Computer
- Cited by 1 (0 self) – Add To MetaCart
-
Thin slicing
- Thin Slicing Manu Sridharan Stephen J. Fink Ras Bodik Electrical Engineering and Computer Sciences
- Cited by 4 (0 self) – Add To MetaCart
-
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores
- CSAIL, Cambridge, MA dnj@(email omitted); Manu Sridharan UC Berkeley, Berkeley, CA manu s
- Cited by 14 (0 self) – Add To MetaCart
-
PSE: Explaining Program Failures via Postmortem Static Analysis
- Postmortem Static Analysis Manu Sridharan University of California - Berkeley manu s
- Cited by 25 (3 self) – Add To MetaCart

