Search the dblp DataBase

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]