Search the dblp DataBase

Publications of Author

1. Manu Sridharan, Gerald Tesauro
   Multi-Agent Q-Learning and Regression Trees for Automated Pricing Decisions. [Citation Graph (0, 0)][DBLP]
   ICMAS, 2000, pp:447-448 [Conf]
   
2. Manu Sridharan, Gerald Tesauro
   Multi-agent Q-learning and Regression Trees for Automated Pricing Decisions. [Citation Graph (0, 0)][DBLP]
   ICML, 2000, pp:927-934 [Conf]
   
3. Bowen Alpern, Jong-Deok Choi, Ton Ngo, Manu Sridharan, John M. Vlissides
   A Perturbation-Free Replay Platform for Cross-Optimized Multithreaded Applications. [Citation Graph (0, 0)][DBLP]
   IPDPS, 2001, pp:23- [Conf]
   
4. Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri
   Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. [Citation Graph (0, 0)][DBLP]
   ASE, 2003, pp:94-105 [Conf]
   
5. Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík
   Demand-driven points-to analysis for Java. [Citation Graph (0, 0)][DBLP]
   OOPSLA, 2005, pp:59-76 [Conf]
   
6. Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan
   Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
   PLDI, 2002, pp:258-269 [Conf]
   
7. Manu Sridharan, Rastislav Bodík
   Refinement-based context-sensitive points-to analysis for Java. [Citation Graph (0, 0)][DBLP]
   PLDI, 2006, pp:387-400 [Conf]
   
8. Daniel Jackson, Ilya Shlyakhter, Manu Sridharan
   A micromodularity mechanism. [Citation Graph (0, 0)][DBLP]
   ESEC / SIGSOFT FSE, 2001, pp:62-73 [Conf]
   
9. Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang
   PSE: explaining program failures via postmortem static analysis. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 2004, pp:63-72 [Conf]
   
10. Manu Sridharan, Stephen J. Fink, Rastislav Bodík
    Thin slicing. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:112-122 [Conf]
    
11. Bor-Yuh Evan Chang, Manu Sridharan
    PML: Toward a High-Level Formal Language for Biological Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:3, pp:15-30 [Journal]
    
12. 
    Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis. [Citation Graph (, )][DBLP]
    
    
13. 
    Correct Refactoring of Concurrent Java Code. [Citation Graph (, )][DBLP]
    
    
14. 
    Snugglebug: a powerful approach to weakest preconditions. [Citation Graph (, )][DBLP]
    
    
15. 
    TAJ: effective taint analysis of web applications. [Citation Graph (, )][DBLP]
    
    
16. 
    The Complexity of Andersen's Analysis in Practice. [Citation Graph (, )][DBLP]
    
    
17. 
    Refactoring for reentrancy. [Citation Graph (, )][DBLP]