Madanlal Musuvathi

	2009
20		Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer: Deconstructing concurrency heisenbugs. ICSE Companion 2009: 403-404
19		Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy: LiteRace: effective sampling for lightweight data-race detection. PLDI 2009: 134-143
18		Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard: Progress guarantee for parallel programs via bounded lock-freedom. PLDI 2009: 144-154
	2008
17		Sebastian Burckhardt, Madanlal Musuvathi: Effective Program Verification for Relaxed Memory Models. CAV 2008: 107-120
16		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		Madanlal Musuvathi, Shaz Qadeer: Fair stateless model checking. PLDI 2008: 362-371
	2007
14		Madanlal Musuvathi, Shaz Qadeer: Iterative context bounding for systematic testing of multithreaded programs. PLDI 2007: 446-455
	2006
13		Shuvendu K. Lahiri, Madanlal Musuvathi: Solving Sparse Linear Constraints. IJCAR 2006: 468-482
12		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		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		Greta Yorsh, Madanlal Musuvathi: A Combination Method for Generating Interpolants. CADE 2005: 353-368
9		Shuvendu K. Lahiri, Madanlal Musuvathi: An Efficient Decision Procedure for UTVPI Constraints. FroCos 2005: 168-183
8		Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi: Zap: Automated Theorem Proving for Software Analysis. LPAR 2005: 2-22
7		Madanlal Musuvathi, David L. Dill: An Incremental Heap Canonicalization Algorithm. SPIN 2005: 28-42
	2004
6		Madanlal Musuvathi, Dawson R. Engler: Model Checking Large Network Protocol Implementations. NSDI 2004: 155-168
5		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		Dawson R. Engler, Madanlal Musuvathi: Static Analysis versus Software Model Checking for Bug Finding. VMCAI 2004: 191-210
	2003
3		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		Madanlal Musuvathi, Andy Chou, David L. Dill, Dawson R. Engler: Model checking system software with CMC. ACM SIGOPS European Workshop 2002: 219-222
1		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] [16] [20]
2	Gérard Basler	[16]
3	Sebastian Burckhardt	[17] [20]
4	Andy Chou	[1] [2]
5	David L. Dill	[1] [2] [7]
6	Dawson R. Engler	[1] [2] [3] [4] [5] [6] [12]
7	Jonathan de Halleux	[20]
8	Shuvendu K. Lahiri	[8] [9] [11] [13]
9	Daniel Marino	[19]
10	Piramanayagam Arumuga Nainar	[16]
11	Satish Narayanasamy	[19]
12	Iulian Neamtiu	[16]
13	David Y. W. Park	[1]
14	Erez Petrank	[18]
15	Shaz Qadeer	[14] [15] [16] [20]
16	Bjarne Steensgaard	[18]
17	Paul Twohey	[5] [12]
18	Junfeng Yang	[5] [12]
19	Greta Yorsh	[10]

Colors in the list of coauthors