Madanlal Musuvathi

	2012
39		Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi: What's Decidable about Weak Memory Models? ESOP 2012: 26-46
38		Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang: Concurrent Library Correctness on the TSO Memory Model. ESOP 2012: 87-107
	2011
37		Jeffrey S. Vetter, Madanlal Musuvathi, Xipeng Shen: Proceedings of the 2011 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with PLDI '11, San Jose, CA, USA, June 5, 2011 ACM 2011
36		Alex Groce, Madanlal Musuvathi: Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings Springer 2011
35		Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi: Efficient processor support for DRFx, a memory model with exceptions. ASPLOS 2011: 53-66
34		Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy: A case for an SC-preserving compiler. PLDI 2011: 199-210
33		Nupur Kothari, Ratul Mahajan, Todd D. Millstein, Ramesh Govindan, Madanlal Musuvathi: Finding protocol manipulation attacks. SIGCOMM 2011: 26-37
32		Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub: Practical parallel and concurrent programming. SIGCSE 2011: 189-194
	2010
31		Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte: A randomized scheduler with probabilistic guarantees of finding bugs. ASPLOS 2010: 167-178
30		Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh: Verifying Local Transformations on Relaxed Memory Models. CC 2010: 104-123
29		John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk: Effective Data-Race Detection for the Kernel. OSDI 2010: 151-162
28		Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan: Line-up: a complete and automatic linearizability checker. PLDI 2010: 330-340
27		Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy: DRFX: a simple and efficient memory model for concurrent programming languages. PLDI 2010: 351-362
26		Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi: On the verification problem for weak memory models. POPL 2010: 7-18
25		Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi: GAMBIT: effective unit testing for concurrency libraries. PPOPP 2010: 15-24
24		Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi, Kevin C. Webb: Fluxo: a system for internet service programming by non-expert developers. SoCC 2010: 107-118
23		Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer: Preemption Sealing for Efficient Concurrency Testing. TACAS 2010: 420-434
	2009
22		Alexander Rasmussen, Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi: Improving the responsiveness of internet services with automatic cache placement. EuroSys 2009: 27-32
21		Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi: FLUXO: A Simple Service Compiler. HotOS 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): 378-404 (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	Mohamed Faouzi Atig	[26] [39]
2	Thomas Ball	[8] [16] [20] [23] [32]
3	Gérard Basler	[16]
4	Judith Bishop (Judith Mary Bishop, Judy M. Bishop)	[32]
5	Ahmed Bouajjani	[26] [39]
6	Sebastian Burckhardt	[17] [20] [23] [25] [26] [28] [29] [30] [31] [32] [38] [39]
7	Andy Chou	[1] [2]
8	Katherine E. Coons	[23] [25]
9	Chris Dern	[28]
10	David L. Dill	[1] [2] [7]
11	Dawson R. Engler	[1] [2] [3] [4] [5] [6] [12]
12	John Erickson	[29]
13	Ganesh Gopalakrishnan	[32]
14	Alexey Gotsman	[38]
15	Ramesh Govindan	[33]
16	Alex Groce	[36]
17	Jonathan de Halleux	[20]
18	Emre Kiciman	[21] [22] [24]
19	Nupur Kothari	[33]
20	Pravesh Kothari	[31]
21	Shuvendu K. Lahiri	[8] [9] [11] [13]
22	Benjamin Livshits (V. Benjamin Livshits)	[21] [22] [24]
23	Ratul Mahajan	[33]
24	Daniel Marino	[19] [27] [34] [35]
25	Joseph Mayo	[32]
26	Todd D. Millstein	[27] [33] [34] [35]
27	Santosh Nagarakatte	[31]
28	Piramanayagam Arumuga Nainar	[16]
29	Satish Narayanasamy	[19] [27] [34] [35]
30	Iulian Neamtiu	[16]
31	Kirk Olynyk	[29]
32	David Y. W. Park	[1]
33	Erez Petrank	[18]
34	Shaz Qadeer	[14] [15] [16] [20] [23] [32]
35	Alexander Rasmussen	[22]
36	Caitlin Sadowski	[32]
37	Xipeng Shen	[37]
38	Abhayendra Singh	[27] [34] [35]
39	Vasu Singh	[30]
40	Bjarne Steensgaard	[18]
41	Roy Tan	[28]
42	Stephen Toub	[32]
43	Paul Twohey	[5] [12]
44	Jeffrey S. Vetter	[37]
45	Kevin C. Webb	[24]
46	Hongseok Yang	[38]
47	Junfeng Yang	[5] [12]
48	Greta Yorsh	[10]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page