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
- 2025
[c94]Jubi Taneja
, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu K. Lahiri:
LLM-Vectorizer: LLM-Based Verified Loop Vectorizer. CGO 2025: 137-149- 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] - [i18]Jubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu K. Lahiri:
LLM-Vectorizer: LLM-based Verified Loop Vectorizer. CoRR abs/2406.04693 (2024) - [i17]Yuhan Liu, Esha Choukse, Shan Lu, Junchen Jiang, Madan Musuvathi:
DroidSpeak: Enhancing Cross-LLM Communication. CoRR abs/2411.02820 (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]Shuvendu K. Lahiri, Madanlal Musuvathi:
An Efficient Decision Procedure for UTVPI Constraints. FroCoS 2005: 168-183 - [c10]Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi:
Zap: Automated Theorem Proving for Software Analysis. LPAR 2005: 2-22 - [c9]Madanlal Musuvathi, David L. Dill:
An Incremental Heap Canonicalization Algorithm. SPIN 2005: 28-42 - [c8]K. Rustan M. Leino, Madan Musuvathi, Xinming Ou:
A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover. TACAS 2005: 334-348 - [c7]Shuvendu K. Lahiri, Madanlal Musuvathi:
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals. PDPAR@CAV 2005: 27-41 - 2004
- [b1]Madanlal Musuvathi:
CMC: a model checker for network protocol implementations. Stanford University, USA, 2004 - [c6]Madanlal Musuvathi, Dawson R. Engler:
Model Checking Large Network Protocol Implementations. NSDI 2004: 155-168 - [c5]Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi:
Using Model Checking to Find Serious File System Errors (Awarded Best Paper!). OSDI 2004: 273-288 - [c4]Dawson R. Engler, Madanlal Musuvathi:
Static Analysis versus Software Model Checking for Bug Finding. VMCAI 2004: 191-210 - 2003
- [c3]Madanlal Musuvathi, Dawson R. Engler:
Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding. SoftMC@CAV 2003: 378-404 - 2002
- [c2]Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill:
CMC: A Pragmatic Approach to Model Checking Real Code. OSDI 2002 - [c1]Madanlal Musuvathi, Andy Chou, David L. Dill, Dawson R. Engler:
Model checking system software with CMC. ACM SIGOPS European Workshop 2002: 219-222
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-10 20:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
