Madanlal Musuvathi

2008
16	EE	Sebastian Burckhardt, Madanlal Musuvathi: Effective Program Verification for Relaxed Memory Models. CAV 2008: 107-120
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

Coauthor Index

1	Thomas Ball	[8]
2	Sebastian Burckhardt	[16]
3	Andy Chou	[1] [2]
4	David L. Dill	[1] [2] [7]
5	Dawson R. Engler	[1] [2] [3] [4] [5] [6] [12]
6	Shuvendu K. Lahiri	[8] [9] [11] [13]
7	David Y. W. Park	[1]
8	Shaz Qadeer	[14] [15]
9	Paul Twohey	[5] [12]
10	Junfeng Yang	[5] [12]
11	Greta Yorsh	[10]

Colors in the list of coauthors