| Finding and Reproducing Heisenbugs in Concurrent Programs. M Musuvathi, S Qadeer, T Ball, G Basler, PA Nainar, I Neamtiu OSDI 8 (2008), 2008 | 768 | 2008 |
| Iterative context bounding for systematic testing of multithreaded programs M Musuvathi, S Qadeer ACM Sigplan Notices 42 (6), 446-455, 2007 | 603 | 2007 |
| 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 | 572 | 2002 |
| 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 | 435 | 2006 |
| 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 | 330 | 2010 |
| 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 | 315 | 2009 |
| 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 | 295 | 2019 |
| 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 | 262 | 2010 |
| Model Checking Large Network Protocol Implementations. M Musuvathi, DR Engler NSDI 4, 12-12, 2004 | 234 | 2004 |
| 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 | 208 | 2010 |
| Static analysis versus software model checking for bug finding D Engler, M Musuvathi International Workshop on Verification, Model Checking, and Abstract …, 2004 | 203 | 2004 |
| CHESS: Systematic stress testing of concurrent software M Musuvathi, S Qadeer Logic-Based Program Synthesis and Transformation: 16th International …, 2007 | 193 | 2007 |
| 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 | 190 | 2015 |
| 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 | 178 | 2010 |
| Effective program verification for relaxed memory models S Burckhardt, M Musuvathi Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 168 | 2008 |
| 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 | 161 | 2020 |
| 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 | 143 | 2015 |
| 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 | 132 | 2015 |
| 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 | 124 | 2012 |
| Data-parallel finite-state machines T Mytkowicz, M Musuvathi, W Schulte Proceedings of the 19th international conference on Architectural support …, 2014 | 116 | 2014 |
Shaz QadeerMicrosoftmicrosoft.com의 이메일 확인됨