Searching for authors named "Manu Sridharan" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
