The SCEAS System
Navigation Menu

Search the dblp DataBase


Manuvir Das: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Manuvir Das
    Formal Specifications on Industrial-Strength Code-From Myth to Reality. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:1- [Conf]
  2. Thomas W. Reps, Thomas Ball, Manuvir Das, James R. Larus
    The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1997, pp:432-449 [Conf]
  3. Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang
    Modular checking for buffer overflows in the large. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:232-241 [Conf]
  4. Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das
    Perracotta: mining temporal API rules from imperfect traces. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:282-291 [Conf]
  5. Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang
    Software validation via scalable path-sensitive value flow analysis. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:12-22 [Conf]
  6. Manuvir Das
    PASTE at Microsoft. [Citation Graph (0, 0)][DBLP]
    PASTE, 2005, pp:1- [Conf]
  7. Hari Hampapuram, Yue Yang, Manuvir Das
    Symbolic path simulation in path-sensitive dataflow analysis. [Citation Graph (0, 0)][DBLP]
    PASTE, 2005, pp:52-58 [Conf]
  8. Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers
    Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization. [Citation Graph (0, 0)][DBLP]
    PASTE, 2001, pp:66-72 [Conf]
  9. Manuvir Das
    Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk). [Citation Graph (0, 0)][DBLP]
    PEPM, 2000, pp:1- [Conf]
  10. Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck
    Semantic Foundations of Binding Time Analysis for Imperative Programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:100-110 [Conf]
  11. Manuvir Das
    Unification-based pointer analysis with directional assignments. [Citation Graph (0, 0)][DBLP]
    PLDI, 2000, pp:35-46 [Conf]
  12. Manuvir Das, Sorin Lerner, Mark Seigle
    ESP: Path-Sensitive Program Verification in Polynomial Time. [Citation Graph (0, 0)][DBLP]
    PLDI, 2002, pp:57-68 [Conf]
  13. Manuel Fähndrich, Jakob Rehof, Manuvir Das
    Scalable context-sensitive flow analysis using instantiation constraints. [Citation Graph (0, 0)][DBLP]
    PLDI, 2000, pp:253-263 [Conf]
  14. Manuvir Das
    Unleashing the Power of Static Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:1-2 [Conf]
  15. Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof
    Estimating the Impact of Scalable Pointer Analysis on Optimization. [Citation Graph (0, 0)][DBLP]
    SAS, 2001, pp:260-278 [Conf]
  16. Dinakar Dhurjati, Manuvir Das, Yue Yang
    Path-Sensitive Dataflow Analysis with Iterative Refinement. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:425-442 [Conf]
  17. Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer
    Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:230-246 [Conf]
  18. 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]
  19. James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy
    Righting Software. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2004, v:21, n:3, pp:92-100 [Journal]

Search in 0.004secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002