Folgen
Madanlal Musuvathi
Madanlal Musuvathi
Microsoft Research
Bestätigte E-Mail-Adresse bei microsoft.com
Titel
Zitiert von
Zitiert von
Jahr
Finding and Reproducing Heisenbugs in Concurrent Programs.
M Musuvathi, S Qadeer, T Ball, G Basler, PA Nainar, I Neamtiu
OSDI 8 (2008), 2008
7322008
Iterative context bounding for systematic testing of multithreaded programs
M Musuvathi, S Qadeer
ACM Sigplan Notices 42 (6), 446-455, 2007
5902007
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
5652002
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
4332006
A randomized scheduler with probabilistic guarantees of finding bugs
S Burckhardt, P Kothari, M Musuvathi, S Nagarakatte
ACM SIGARCH Computer Architecture News 38 (1), 167-178, 2010
3152010
LiteRace: Effective sampling for lightweight data-race detection
D Marino, M Musuvathi, S Narayanasamy
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
3062009
Effective {Data-Race} Detection for the Kernel
J Erickson, M Musuvathi, S Burckhardt, K Olynyk
9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10), 2010
2512010
Model Checking Large Network Protocol Implementations.
M Musuvathi, DR Engler
NSDI 4, 12-12, 2004
2312004
CHET: an optimizing compiler for fully-homomorphic neural-network inferencing
R Dathathri, O Saarikivi, H Chen, K Laine, K Lauter, S Maleki, ...
Proceedings of the 40th ACM SIGPLAN conference on programming language …, 2019
2292019
On the verification problem for weak memory models
MF Atig, A Bouajjani, S Burckhardt, M Musuvathi
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
1962010
Static analysis versus software model checking for bug finding
D Engler, M Musuvathi
International Workshop on Verification, Model Checking, and Abstract …, 2004
1962004
Line-up: a complete and automatic linearizability checker
S Burckhardt, C Dern, M Musuvathi, R Tan
Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 2010
1752010
Yinyang k-means: A drop-in replacement of the classic k-means with consistent speedup
Y Ding, Y Zhao, X Shen, M Musuvathi, T Mytkowicz
International conference on machine learning, 579-587, 2015
1742015
Effective program verification for relaxed memory models
S Burckhardt, M Musuvathi
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
1642008
Retro: Targeted resource management in multi-tenant distributed systems
J Mace, P Bodik, R Fonseca, M Musuvathi
12th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2015
1352015
Kahawai: High-quality mobile gaming using gpu offload
E Cuervo, A Wolman, LP Cox, K Lebeck, A Razeen, S Saroiu, ...
Proceedings of the 13th annual international conference on mobile systems …, 2015
1262015
End-to-end sequential consistency
A Singh, S Narayanasamy, D Marino, T Millstein, M Musuvathi
ACM SIGARCH Computer Architecture News 40 (3), 524-535, 2012
1232012
EVA: An encrypted vector arithmetic language and compiler for efficient homomorphic computation
R Dathathri, B Kostova, O Saarikivi, W Dai, K Laine, M Musuvathi
Proceedings of the 41st ACM SIGPLAN conference on programming language …, 2020
1162020
Chess: A systematic testing tool for concurrent software
M Musuvathi, S Qadeer, T Ball, M Musuvathi, S Qadeer, T Ball
Microsoft Research 38, 39, 2007
1162007
Fair stateless model checking
M Musuvathi, S Qadeer
ACM SIGPLAN Notices 43 (6), 362-371, 2008
1122008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20