default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMadan Musuvathi
Madanlal Musuvathi
Person information
- affiliation: Microsoft Research
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c93]Abhinav Jangda, Saeed Maleki, Maryam Mehri Dehnavi, Madan Musuvathi, Olli Saarikivi:
A Framework for Fine-Grained Synchronization of Dependent GPU Kernels. CGO 2024: 93-105- [c92]Sarah Fakhoury
, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri:
Exploring the Effectiveness of LLM based Test-driven Interactive Code Generation: User Study and Empirical Evaluation. ICSE Companion 2024: 390-391 - [c91]Sarah Fakhoury, Saikat Chakraborty, Madanlal Musuvathi, Shuvendu K. Lahiri:
NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions. ICSE Companion 2024: 410-411 - [c90]Bogdan Alexandru Stoica, Utsav Sethi, Yiming Su, Cyrus Zhou, Shan Lu, Jonathan Mace, Madanlal Musuvathi, Suman Nath:
If At First You Don't Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems. SOSP 2024: 63-78 - [e6]Rajiv Gupta, Nael B. Abu-Ghazaleh, Madan Musuvathi, Dan Tsafrir:
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1, ASPLOS 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024. ACM 2024 [contents] - [e5]Rajiv Gupta, Nael B. Abu-Ghazaleh, Madan Musuvathi, Dan Tsafrir:
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, ASPLOS 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024. ACM 2024 [contents] - [e4]Rajiv Gupta, Nael B. Abu-Ghazaleh, Madan Musuvathi, Dan Tsafrir:
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, ASPLOS 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024. ACM 2024 [contents] - [i17]Jubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu K. Lahiri:
LLM-Vectorizer: LLM-based Verified Loop Vectorizer. CoRR abs/2406.04693 (2024) - 2023
- [c89]Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, Yifan Xiong:
MSCCLang: Microsoft Collective Communication Language. ASPLOS (2) 2023: 502-514 - [c88]Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy:
Ranking LLM-Generated Loop Invariants for Program Verification. EMNLP (Findings) 2023: 9164-9175 - [c87]Bogdan Alexandru Stoica, Shan Lu, Madanlal Musuvathi, Suman Nath:
WAFFLE: Exposing Memory Ordering Bugs Efficiently with Active Delay Injection. EuroSys 2023: 111-126 - [c86]Yiming Su, Chengcheng Wan, Utsav Sethi, Shan Lu, Madan Musuvathi, Suman Nath:
HotGPT: How to Make Software Documentation More Useful with a Large Language Model? HotOS 2023: 87-93 - [c85]Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi:
TACCL: Guiding Collective Algorithm Synthesis using Communication Sketches. NSDI 2023: 593-612 - [i16]Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri:
Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions. CoRR abs/2304.03816 (2023) - [i15]Abhinav Jangda, Saeed Maleki, Maryam Mehri Dehnavi, Madan Musuvathi, Olli Saarikivi:
A Framework for Fine-Grained Synchronization of Dependent GPU Kernels. CoRR abs/2305.13450 (2023) - [i14]Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Madanlal Musuvathi, Akash Lal, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy:
Ranking LLM-Generated Loop Invariants for Program Verification. CoRR abs/2310.09342 (2023) - 2022
- [c84]Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, Olli Saarikivi:
Breaking the computation and communication abstraction barrier in distributed machine learning workloads. ASPLOS 2022: 402-416 - [c83]Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andrés Codas, Mark Encarnación, Shuvendu K. Lahiri, Madanlal Musuvathi, Jianfeng Gao:
Fault-Aware Neural Code Rankers. NeurIPS 2022 - [c82]Utsav Sethi, Haochen Pan, Shan Lu, Madanlal Musuvathi, Suman Nath:
Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures. OSDI 2022: 127-141 - [i13]Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, Yifan Xiong:
MSCCL: Microsoft Collective Communication Library. CoRR abs/2201.11840 (2022) - [i12]Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andrés Codas, Mark Encarnación, Shuvendu K. Lahiri, Madanlal Musuvathi, Jianfeng Gao:
Fault-Aware Neural Code Rankers. CoRR abs/2206.03865 (2022) - [i11]Shuvendu K. Lahiri, Aaditya Naik, Georgios Sakkas, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao:
Interactive Code Generation via Test-Driven User-Intent Formalization. CoRR abs/2208.05950 (2022) - 2021
- [j9]Lun Liu, Todd D. Millstein, Madanlal Musuvathi:
Safe-by-default Concurrency for Modern Programming Languages. ACM Trans. Program. Lang. Syst. 43(3): 10:1-10:50 (2021) - [c81]Guangpu Li, Dongjie Chen, Shan Lu, Madanlal Musuvathi, Suman Nath:
SherLock: unsupervised synchronization-operation inference. ASPLOS 2021: 314-328 - [c80]Gurbinder Gill, Roshan Dathathri, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi:
Distributed Training of Embeddings using Graph Analytics. IPDPS 2021: 973-983 - [c79]Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi, Tianju Xu, Vadim Eksarevskiy, Jaliya Ekanayake, Emad Barsoum:
Scaling Distributed Training with Adaptive Summation. MLSys 2021 - [c78]Zixian Cai, Zhengyang Liu, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi:
Synthesizing optimal collective algorithms. PPoPP 2021: 62-75 - [i10]Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, Olli Saarikivi:
CoCoNet: Co-Optimizing Computation and Communication for Distributed Machine Learning. CoRR abs/2105.05720 (2021) - [i9]Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi, Rachee Singh:
Synthesizing Collective Communication Algorithms for Heterogeneous Networks with TACCL. CoRR abs/2111.04867 (2021) - 2020
- [c77]Muhammad Ali Gulzar, Madanlal Musuvathi, Miryung Kim:
BigTest: a symbolic execution based systematic test generation tool for Apache spark. ICSE (Companion Volume) 2020: 61-64 - [c76]Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi:
EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation. PLDI 2020: 546-561 - [i8]Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi, Tianju Xu, Vadim Eksarevskiy, Jaliya Ekanayake, Emad Barsoum:
Scaling Distributed Training with Adaptive Summation. CoRR abs/2006.02924 (2020) - [i7]Zixian Cai, Zhengyang Liu, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi:
Synthesizing Optimal Collective Algorithms. CoRR abs/2008.08708 (2020) - [i6]Sharadha Srinivasan, Madan Musuvathi:
GenderRobustness: Robustness of Gender Detection in Facial Recognition Systems with variation in Image Properties. CoRR abs/2011.10472 (2020)
2010 – 2019
- 2019
- [c75]Haopeng Liu, Shan Lu, Madan Musuvathi, Suman Nath:
What bugs cause production cloud incidents? HotOS 2019: 155-162 - [c74]Lun Liu, Todd D. Millstein, Madanlal Musuvathi:
Accelerating sequential consistency for Java with speculative compilation. PLDI 2019: 16-30 - [c73]Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin E. Lauter, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz:
CHET: an optimizing compiler for fully-homomorphic neural-network inferencing. PLDI 2019: 142-156 - [c72]Muhammad Ali Gulzar, Shaghayegh Mardani, Madanlal Musuvathi, Miryung Kim:
White-box testing of big data analytics with complex user-defined functions. ESEC/SIGSOFT FSE 2019: 290-301 - [c71]Guangpu Li, Shan Lu, Madanlal Musuvathi, Suman Nath, Rohan Padhye:
Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing. SOSP 2019: 162-180 - [c70]Guoqing Harry Xu, Margus Veanes, Michael Barnett, Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He, Haibo Lin:
Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines. SOSP 2019: 306-321 - [i5]Gurbinder Gill, Roshan Dathathri, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi:
Distributed Word2Vec using Graph Analytics Frameworks. CoRR abs/1909.03359 (2019) - [i4]Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madanlal Musuvathi:
EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation. CoRR abs/1912.11951 (2019) - 2018
- [c69]Marija Selakovic, Michael Barnett, Madan Musuvathi, Todd Mytkowicz:
Cross-language optimizations in big data systems: a case study of SCOPE. ICSE (SEIP) 2018: 45-54 - [c68]Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz:
Semantics-Preserving Parallelization of Stochastic Gradient Descent. IPDPS 2018: 224-233 - [c67]Liang Luo, Suman Nath, Lenin Ravindranath Sivalingam, Madan Musuvathi, Luis Ceze:
Troubleshooting Transiently-Recurring Errors in Production Systems with Blame-Proportional Logging. USENIX ATC 2018: 321-334 - [i3]Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin E. Lauter, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz:
CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs. CoRR abs/1810.00845 (2018) - 2017
- [j8]Lun Liu, Todd D. Millstein, Madanlal Musuvathi:
A volatile-by-default JVM for server applications. Proc. ACM Program. Lang. 1(OOPSLA): 49:1-49:25 (2017) - [c66]Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi:
Fusing effectful comprehensions. PLDI 2017: 17-32 - [c65]Michael Vollmer, Ryan G. Scott, Madanlal Musuvathi, Ryan R. Newton:
SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap. PPoPP 2017: 283-298 - [c64]Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, Edgardo Zoppi:
Static analysis for optimizing big data queries. ESEC/SIGSOFT FSE 2017: 932-937 - [i2]Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz:
Parallel Stochastic Gradient Descent with Sound Combiners. CoRR abs/1705.08030 (2017) - 2016
- [j7]Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz:
Efficient parallelization using rank convergence in dynamic programming algorithms. Commun. ACM 59(10): 85-92 (2016) - [j6]Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz:
Low-Rank Methods for Parallelizing Dynamic Programming Algorithms. ACM Trans. Parallel Comput. 2(4): 26:1-26:32 (2016) - [j5]Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy:
DRFx: An Understandable, High Performance, and Flexible Memory Model for Concurrent Languages. ACM Trans. Program. Lang. Syst. 38(4): 16:1-16:40 (2016) - [c63]Charith Mendis, Jasha Droppo, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Geoffrey Zweig:
Parallelizing WFST speech decoders. ICASSP 2016: 5325-5329 - [c62]Jonathan Mace, Peter Bodík, Madanlal Musuvathi, Rodrigo Fonseca, Krishnan Varadarajan:
2DFQ: Two-Dimensional Fair Queuing for Multi-Tenant Cloud Services. SIGCOMM 2016: 144-159 - 2015
- [j4]Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz:
TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems. Proc. VLDB Endow. 8(10): 1046-1057 (2015) - [c61]Baris Kasikci, Cristiano Pereira, Gilles Pokam, Benjamin Schubert, Madanlal Musuvathi, George Candea:
Failure Sketches: A Better Way to Debug. HotOS 2015 - [c60]Yufei Ding, Yue Zhao, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz:
Yinyang K-Means: A Drop-In Replacement of the Classic K-Means with Consistent Speedup. ICML 2015: 579-587 - [c59]Eduardo Cuervo, Alec Wolman, Landon P. Cox, Kiron Lebeck, Ali Razeen, Stefan Saroiu, Madanlal Musuvathi:
Kahawai: High-Quality Mobile Gaming Using GPU Offload. MobiSys 2015: 121-135 - [c58]Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madanlal Musuvathi:
Retro: Targeted Resource Management in Multi-tenant Distributed Systems. NSDI 2015: 589-603 - [c57]Daniel Marino, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh:
The Silently Shifting Semicolon. SNAPL 2015: 177-189 - [c56]Veselin Raychev, Madanlal Musuvathi, Todd Mytkowicz:
Parallelizing user-defined aggregations using symbolic execution. SOSP 2015: 153-167 - [c55]Jason Croft, Ratul Mahajan, Matthew Caesar, Madan Musuvathi:
Systematically Exploring the Behavior of Control Programs. USENIX ATC 2015: 165-176 - 2014
- [c54]Todd Mytkowicz, Madanlal Musuvathi, Wolfram Schulte:
Data-parallel finite-state machines. ASPLOS 2014: 529-542 - [c53]Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madanlal Musuvathi:
Towards General-Purpose Resource Management in Shared Cloud Services. HotDep 2014 - [c52]Eduardo Cuervo, Alec Wolman, Landon P. Cox, Stefan Saroiu, Madanlal Musuvathi, Ali Razeen:
Demo: Kahawai: high-quality mobile gaming using GPU offload. MobiSys 2014: 345 - [c51]Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz:
Parallelizing dynamic programming through rank convergence. PPoPP 2014: 219-232 - [c50]Baris Kasikci, Thomas Ball, George Candea, John Erickson, Madanlal Musuvathi:
Efficient Tracing of Cold Code via Bias-Free Sampling. USENIX ATC 2014: 243-254 - 2013
- [j3]Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi:
A Safety-First Approach to Memory Models. IEEE Micro 33(3): 96-104 (2013) - [c49]Zhenyu Guo, Sean McDirmid, Mao Yang, Li Zhuang, Pu Zhang, Yingwei Luo, Tom Bergan, Madan Musuvathi, Zheng Zhang, Lidong Zhou:
Failure Recovery: When the Cure Is Worse Than the Disease. HotOS 2013 - [c48]Madanlal Musuvathi:
Safety-first approach to memory consistency models. ISMM 2013: 1-2 - [c47]Katherine E. Coons, Madan Musuvathi, Kathryn S. McKinley:
Bounded partial-order reduction. OOPSLA 2013: 833-848 - 2012
- [c46]Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi:
What's Decidable about Weak Memory Models? ESOP 2012: 26-46 - [c45]Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang:
Concurrent Library Correctness on the TSO Memory Model. ESOP 2012: 87-107 - [c44]Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi:
End-to-end sequential consistency. ISCA 2012: 524-535 - [c43]Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi:
Multicore acceleration of priority-based schedulers for concurrency bug detection. PLDI 2012: 543-554 - [c42]John Erickson, Stephen N. Freund, Madanlal Musuvathi:
Dynamic Analyses for Data-Race Detection. RV 2012: 1 - [c41]Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang:
Show No Weakness: Sequentially Consistent Specifications of TSO Libraries. DISC 2012: 31-45 - [e3]Eric Bodden, Madanlal Musuvathi:
Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), WODA 2012, Minneapolis, MN, USA, Sunday, July 15, 2012. ACM 2012, ISBN 978-1-4503-1455-8 [contents] - 2011
- [j2]Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer:
Predictable and Progressive Testing of Multithreaded Code. IEEE Softw. 28(3): 75-83 (2011) - [c40]Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi:
Efficient processor support for DRFx, a memory model with exceptions. ASPLOS 2011: 53-66 - [c39]Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy:
A case for an SC-preserving compiler. PLDI 2011: 199-210 - [c38]Nupur Kothari, Ratul Mahajan, Todd D. Millstein, Ramesh Govindan, Madanlal Musuvathi:
Finding protocol manipulation attacks. SIGCOMM 2011: 26-37 - [c37]Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub:
Practical parallel and concurrent programming. SIGCSE 2011: 189-194 - [e2]Jeffrey S. Vetter, Madanlal Musuvathi, Xipeng Shen:
Proceedings of the 2011 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with PLDI '11, San Jose, CA, USA, June 5, 2011. ACM 2011, ISBN 978-1-4503-0794-9 [contents] - [e1]Alex Groce, Madanlal Musuvathi:
Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings. Lecture Notes in Computer Science 6823, Springer 2011, ISBN 978-3-642-22305-1 [contents] - 2010
- [c36]Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte:
A randomized scheduler with probabilistic guarantees of finding bugs. ASPLOS 2010: 167-178 - [c35]Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh:
Verifying Local Transformations on Relaxed Memory Models. CC 2010: 104-123 - [c34]Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi, Kevin C. Webb:
Fluxo: a system for internet service programming by non-expert developers. SoCC 2010: 107-118 - [c33]John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk:
Effective Data-Race Detection for the Kernel. OSDI 2010: 151-162 - [c32]Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan:
Line-up: a complete and automatic linearizability checker. PLDI 2010: 330-340 - [c31]Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy:
DRFX: a simple and efficient memory model for concurrent programming languages. PLDI 2010: 351-362 - [c30]Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi:
On the verification problem for weak memory models. POPL 2010: 7-18 - [c29]Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi:
GAMBIT: effective unit testing for concurrency libraries. PPoPP 2010: 15-24 - [c28]Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer:
Preemption Sealing for Efficient Concurrency Testing. TACAS 2010: 420-434
2000 – 2009
- 2009
- [c27]Alexander Rasmussen, Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi:
Improving the responsiveness of internet services with automatic cache placement. EuroSys 2009: 27-32 - [c26]Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi:
FLUXO: A Simple Service Compiler. HotOS 2009 - [c25]Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer:
Deconstructing concurrency heisenbugs. ICSE Companion 2009: 403-404 - [c24]Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy:
LiteRace: effective sampling for lightweight data-race detection. PLDI 2009: 134-143 - [c23]Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard:
Progress guarantee for parallel programs via bounded lock-freedom. PLDI 2009: 144-154 - [c22]Emre Kiciman, Benjamin Livshits, Madanlal Musuvathi:
CatchAndRetry: extending exceptions to handle distributed system failures and recovery. PLOS@SOSP 2009: 4:1-4:5 - 2008
- [c21]Sebastian Burckhardt, Madanlal Musuvathi:
Effective Program Verification for Relaxed Memory Models. CAV 2008: 107-120 - [c20]Sumit Gulwani, Madan Musuvathi:
Cover Algorithms and Their Combination. ESOP 2008: 193-207 - [c19]Milan Stanojevic, Ratul Mahajan, Todd D. Millstein, Madanlal Musuvathi:
Can You Fool Me? Towards Automatically Checking Protocol Gullibility. HotNets 2008: 31-36 - [c18]Madan Musuvathi:
Systematic concurrency testing using CHESS. PADTAD 2008: 10 - [c17]Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu:
Finding and Reproducing Heisenbugs in Concurrent Programs. OSDI 2008: 267-280 - [c16]Madanlal Musuvathi, Shaz Qadeer:
Fair stateless model checking. PLDI 2008: 362-371 - [i1]Nikolaj S. Bjørner, Andreas Blass, Yuri Gurevich, Madan Musuvathi:
Modular difference logic is hard. CoRR abs/0811.0987 (2008) - 2007
- [c15]Madanlal Musuvathi, Shaz Qadeer:
Iterative context bounding for systematic testing of multithreaded programs. PLDI 2007: 446-455 - 2006
- [j1]Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi:
Using model checking to find serious file system errors. ACM Trans. Comput. Syst. 24(4): 393-423 (2006) - [c14]Shuvendu K. Lahiri, Madanlal Musuvathi:
Solving Sparse Linear Constraints. IJCAR 2006: 468-482 - [c13]Madan Musuvathi, Shaz Qadeer:
CHESS: Systematic Stress Testing of Concurrent Software. LOPSTR 2006: 15-16 - 2005
- [c12]Greta Yorsh, Madanlal Musuvathi:
A Combination Method for Generating Interpolants. CADE 2005: 353-368 - [c11]