The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Manu Sridharan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.011secs, Finished in 0.012secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002