Search the dblp DataBase

Publications of Author

1. Shuvendu K. Lahiri, Madanlal Musuvathi
   Solving Sparse Linear Constraints. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2006, pp:468-482 [Conf]
   
2. Greta Yorsh, Madanlal Musuvathi
   A Combination Method for Generating Interpolants. [Citation Graph (0, 0)][DBLP]
   CADE, 2005, pp:353-368 [Conf]
   
3. Shuvendu K. Lahiri, Madanlal Musuvathi
   An Efficient Decision Procedure for UTVPI Constraints. [Citation Graph (0, 0)][DBLP]
   FroCos, 2005, pp:168-183 [Conf]
   
4. Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi
   Zap: Automated Theorem Proving for Software Analysis. [Citation Graph (0, 0)][DBLP]
   LPAR, 2005, pp:2-22 [Conf]
   
5. Madanlal Musuvathi, Dawson R. Engler
   Model Checking Large Network Protocol Implementations. [Citation Graph (0, 0)][DBLP]
   NSDI, 2004, pp:155-168 [Conf]
   
6. Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill
   CMC: A Pragmatic Approach to Model Checking Real Code. [Citation Graph (0, 0)][DBLP]
   OSDI, 2002, pp:- [Conf]
   
7. Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi
   Using Model Checking to Find Serious File System Errors (Awarded Best Paper!). [Citation Graph (0, 0)][DBLP]
   OSDI, 2004, pp:273-288 [Conf]
   
8. Madanlal Musuvathi, David L. Dill
   An Incremental Heap Canonicalization Algorithm. [Citation Graph (0, 0)][DBLP]
   SPIN, 2005, pp:28-42 [Conf]
   
9. Dawson R. Engler, Madanlal Musuvathi
   Static Analysis versus Software Model Checking for Bug Finding. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2004, pp:191-210 [Conf]
   
10. Shuvendu K. Lahiri, Madanlal Musuvathi
    An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:27-41 [Journal]
    
11. Madanlal Musuvathi, Dawson R. Engler
    Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
    
12. Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi
    Using model checking to find serious file system errors. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Syst., 2006, v:24, n:4, pp:393-423 [Journal]
    
13. Madanlal Musuvathi, Shaz Qadeer
    Iterative context bounding for systematic testing of multithreaded programs. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:446-455 [Conf]
    
14. 
    A randomized scheduler with probabilistic guarantees of finding bugs. [Citation Graph (, )][DBLP]
    
    
15. 
    Effective Program Verification for Relaxed Memory Models. [Citation Graph (, )][DBLP]
    
    
16. 
    Verifying Local Transformations on Relaxed Memory Models. [Citation Graph (, )][DBLP]
    
    
17. 
    FLUXO: A Simple Service Compiler. [Citation Graph (, )][DBLP]
    
    
18. 
    Deconstructing concurrency heisenbugs. [Citation Graph (, )][DBLP]
    
    
19. 
    Finding and Reproducing Heisenbugs in Concurrent Programs. [Citation Graph (, )][DBLP]
    
    
20. 
    Fair stateless model checking. [Citation Graph (, )][DBLP]
    
    
21. 
    Progress guarantee for parallel programs via bounded lock-freedom. [Citation Graph (, )][DBLP]
    
    
22. 
    LiteRace: effective sampling for lightweight data-race detection. [Citation Graph (, )][DBLP]
    
    
23. 
    DRFX: a simple and efficient memory model for concurrent programming languages. [Citation Graph (, )][DBLP]
    
    
24. 
    Line-up: a complete and automatic linearizability checker. [Citation Graph (, )][DBLP]
    
    
25. 
    On the verification problem for weak memory models. [Citation Graph (, )][DBLP]
    
    
26. 
    GAMBIT: effective unit testing for concurrency libraries. [Citation Graph (, )][DBLP]
    
    
27. 
    Model checking system software with CMC. [Citation Graph (, )][DBLP]
    
    
28. 
    Preemption Sealing for Efficient Concurrency Testing. [Citation Graph (, )][DBLP]
    
    
29. 
    Improving the responsiveness of internet services with automatic cache placement. [Citation Graph (, )][DBLP]
    
    
30. 
    Fluxo: a system for internet service programming by non-expert developers. [Citation Graph (, )][DBLP]