2008 |
17 | EE | Sebastian Burckhardt,
Madanlal Musuvathi:
Effective Program Verification for Relaxed Memory Models.
CAV 2008: 107-120 |
16 | EE | Madanlal Musuvathi,
Shaz Qadeer,
Thomas Ball,
Gérard Basler,
Piramanayagam Arumuga Nainar,
Iulian Neamtiu:
Finding and Reproducing Heisenbugs in Concurrent Programs.
OSDI 2008: 267-280 |
15 | EE | Madanlal Musuvathi,
Shaz Qadeer:
Fair stateless model checking.
PLDI 2008: 362-371 |
2007 |
14 | EE | Madanlal Musuvathi,
Shaz Qadeer:
Iterative context bounding for systematic testing of multithreaded programs.
PLDI 2007: 446-455 |
2006 |
13 | EE | Shuvendu K. Lahiri,
Madanlal Musuvathi:
Solving Sparse Linear Constraints.
IJCAR 2006: 468-482 |
12 | EE | Junfeng Yang,
Paul Twohey,
Dawson R. Engler,
Madanlal Musuvathi:
Using model checking to find serious file system errors.
ACM Trans. Comput. Syst. 24(4): 393-423 (2006) |
11 | EE | Shuvendu K. Lahiri,
Madanlal Musuvathi:
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals.
Electr. Notes Theor. Comput. Sci. 144(2): 27-41 (2006) |
2005 |
10 | EE | Greta Yorsh,
Madanlal Musuvathi:
A Combination Method for Generating Interpolants.
CADE 2005: 353-368 |
9 | EE | Shuvendu K. Lahiri,
Madanlal Musuvathi:
An Efficient Decision Procedure for UTVPI Constraints.
FroCos 2005: 168-183 |
8 | EE | Thomas Ball,
Shuvendu K. Lahiri,
Madanlal Musuvathi:
Zap: Automated Theorem Proving for Software Analysis.
LPAR 2005: 2-22 |
7 | EE | Madanlal Musuvathi,
David L. Dill:
An Incremental Heap Canonicalization Algorithm.
SPIN 2005: 28-42 |
2004 |
6 | EE | Madanlal Musuvathi,
Dawson R. Engler:
Model Checking Large Network Protocol Implementations.
NSDI 2004: 155-168 |
5 | EE | Junfeng Yang,
Paul Twohey,
Dawson R. Engler,
Madanlal Musuvathi:
Using Model Checking to Find Serious File System Errors (Awarded Best Paper!).
OSDI 2004: 273-288 |
4 | EE | Dawson R. Engler,
Madanlal Musuvathi:
Static Analysis versus Software Model Checking for Bug Finding.
VMCAI 2004: 191-210 |
2003 |
3 | EE | Madanlal Musuvathi,
Dawson R. Engler:
Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding.
Electr. Notes Theor. Comput. Sci. 89(3): (2003) |
2002 |
2 | EE | Madanlal Musuvathi,
Andy Chou,
David L. Dill,
Dawson R. Engler:
Model checking system software with CMC.
ACM SIGOPS European Workshop 2002: 219-222 |
1 | EE | Madanlal Musuvathi,
David Y. W. Park,
Andy Chou,
Dawson R. Engler,
David L. Dill:
CMC: A Pragmatic Approach to Model Checking Real Code.
OSDI 2002 |