M
Madanlal Musuvathi
Researcher at Microsoft
Publications - 126
Citations - 6081
Madanlal Musuvathi is an academic researcher from Microsoft. The author has contributed to research in topics: Concurrency & Compiler. The author has an hindex of 36, co-authored 116 publications receiving 5535 citations. Previous affiliations of Madanlal Musuvathi include Stanford University.
Papers
More filters
Proceedings ArticleDOI
Finding and reproducing Heisenbugs in concurrent programs
Madanlal Musuvathi,Shaz Qadeer,Thomas Ball,Gerard Basler,Piramanayagam Arumuga Nainar,Iulian Neamtiu +5 more
TL;DR: For each bug, CHESS consistently reproduces an erroneous execution manifesting the bug, thereby making it significantly easier to debug the problem.
Proceedings ArticleDOI
Iterative context bounding for systematic testing of multithreaded programs
Madanlal Musuvathi,Shaz Qadeer +1 more
TL;DR: This paper proposes iterative context-bounding, a new search algorithm that systematically explores the executions of a multithreaded program in an order that prioritizes executions with fewer context switches, and shows both theoretically and empirically that context-bounded search is an effective method for exploring the behaviors of multith readed programs.
Journal ArticleDOI
CMC: a pragmatic approach to model checking real code
TL;DR: A new model checker, CMC, which checks C and C++ implementations directly, eliminating the need for a separate abstract description of the system behavior, and reduces missed errors as well as time-wasting false error reports resulting from inconsistencies between the abstract description and the actual implementation.
Journal ArticleDOI
Using model checking to find serious file system errors
TL;DR: FiSC as mentioned in this paper uses model checking to find serious errors in file systems, which is a formal verification technique tuned for finding corner-case errors by comprehensively exploring the state spaces defined by a system.
Proceedings ArticleDOI
LiteRace: effective sampling for lightweight data-race detection
TL;DR: LiteRace is presented, a very lightweight data race detector that samples and analyzes only selected portions of a program's execution and is able to find more than 70% of data races by sampling less than 2% of memory accesses in a given program execution.