Concepedia

Madanlal Musuvathi

MM

Statistics

Publications

59

Citations

4.6K

H-Index

32

Active since

1976

Affiliations

Microsoft (United States)(Current)

University of California, Los Angeles

Microsoft Research (United Kingdom)

University of Michigan

Stanford University

Madanlal Musuvathi is an author at Microsoft (United States) specializing in computer science, computing, and computer engineering.

Publications per year

1976–2025

59

Publications

59

Iterative context bounding for systematic testing of multithreaded programs

Madanlal Musuvathi, Shaz Qadeer · 2007 · 483 citations

Computing, Computer Engineering, Computer Science +12

Madanlal Musuvathi, David Y. W. Park, Andy Chou et al. · ACM SIGOPS Operating Systems Review · 2002 · 364 citations

Computing, Computer Science, Computer Systems +7

Using model checking to find serious file system errors

Junfeng Yang, Paul Twohey, Dawson Engler et al. · ACM Transactions on Computer Systems · 2006 · 309 citations

Computing, Computer Science, Computer Systems +17

Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy · 2009 · 244 citations

Computing, Computer Engineering, Computer Science +13

CHET: an optimizing compiler for fully-homomorphic neural-network inferencing

Roshan Dathathri, Olli Saarikivi, Hao Chen et al. · 2019 · 227 citations

Computing, Computer Engineering, Computer Science +10

1–5 of 59