The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Madanlal Musuvathi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.019secs, Finished in 0.020secs
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