Madanlal Musuvathi
Madanlal Musuvathi
Microsoft Research
Verified email at
TitleCited byYear
Finding and Reproducing Heisenbugs in Concurrent Programs.
M Musuvathi, S Qadeer, T Ball, G Basler, PA Nainar, I Neamtiu
OSDI 8, 267-280, 2008
CMC: A pragmatic approach to model checking real code
M Musuvathi, DYW Park, A Chou, DR Engler, DL Dill
ACM SIGOPS Operating Systems Review 36 (SI), 75-88, 2002
Iterative context bounding for systematic testing of multithreaded programs
M Musuvathi, S Qadeer
ACM Sigplan Notices 42 (6), 446-455, 2007
Using model checking to find serious file system errors
J Yang, P Twohey, D Engler, M Musuvathi
ACM Transactions on Computer Systems (TOCS) 24 (4), 393-423, 2006
LiteRace: effective sampling for lightweight data-race detection
D Marino, M Musuvathi, S Narayanasamy
ACM Sigplan notices 44 (6), 134-143, 2009
A randomized scheduler with probabilistic guarantees of finding bugs
S Burckhardt, P Kothari, M Musuvathi, S Nagarakatte
ACM Sigplan Notices 45 (3), 167-178, 2010
Effective Data-Race Detection for the Kernel.
J Erickson, M Musuvathi, S Burckhardt, K Olynyk
OSDI 10 (10), 1-16, 2010
Model Checking Large Network Protocol Implementations.
M Musuvathi, DR Engler
NSDI 4, 12-12, 2004
Static analysis versus software model checking for bug finding
D Engler, M Musuvathi
International Workshop on Verification, Model Checking, and Abstract …, 2004
Effective program verification for relaxed memory models
S Burckhardt, M Musuvathi
International Conference on Computer Aided Verification, 107-120, 2008
Line-up: a complete and automatic linearizability checker
S Burckhardt, C Dern, M Musuvathi, R Tan
ACM Sigplan Notices 45 (6), 330-340, 2010
On the verification problem for weak memory models
MF Atig, A Bouajjani, S Burckhardt, M Musuvathi
ACM Sigplan Notices 45 (1), 7-18, 2010
DRFX: a simple and efficient memory model for concurrent programming languages
D Marino, A Singh, T Millstein, M Musuvathi, S Narayanasamy
ACM Sigplan Notices 45 (6), 351-362, 2010
Fair stateless model checking
M Musuvathi, S Qadeer
ACM SIGPLAN Notices 43 (6), 362-371, 2008
End-to-end sequential consistency
A Singh, S Narayanasamy, D Marino, T Millstein, M Musuvathi
2012 39th Annual International Symposium on Computer Architecture (ISCA …, 2012
A combination method for generating interpolants
G Yorsh, M Musuvathi
International Conference on Automated Deduction, 353-368, 2005
Chess: A systematic testing tool for concurrent software
M Musuvathi, S Qadeer, T Ball, M Musuvathi, S Qadeer, T Ball
Technical Report MSR-TR-2007-149, Microsoft Research, 2007
XML fever
E Wilde, RJ Glushko
Communications of the ACM 51 (7), 40-46, 2008
A case for an SC-preserving compiler
D Marino, A Singh, T Millstein, M Musuvathi, S Narayanasamy
ACM SIGPLAN Notices 46 (6), 199-210, 2011
An efficient decision procedure for UTVPI constraints
SK Lahiri, M Musuvathi
International Workshop on Frontiers of Combining Systems, 168-183, 2005
The system can't perform the operation now. Try again later.
Articles 1–20