Madan Musuvathi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
13
Active years
2005–2026
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | MSCCL++: Rethinking GPU Communication Abstractions for AI Inference. | Changho Hwang, Peng Cheng, Roshan Dathathri, Abhinav Jangda, Saeed Maleki, Madan Musuvathi, Olli Saarikivi, Aashaka Shah, Ziyue Yang, Binyang Li, Caio Rocha, Qinghua Zhou, Mahdieh Ghazimirsaeed, Sreevatsa Anantharamu, Jithin Jose |
| 2026 | NSDI | DroidSpeak: KV Cache Sharing Across Fine-tuned Model Variants. | Yuhan Liu, Yuyang Huang, Jiayi Yao, Shaoting Feng, Zhuohan Gu, Kuntai Du, Hanchen Li, Yihua Cheng, Junchen Jiang, Shan Lu, Madan Musuvathi, Esha Choukse |
| 2025 | CGO | LLM-Vectorizer: LLM-Based Verified Loop Vectorizer. | Jubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu K. Lahiri |
| 2024 | CGO | A Framework for Fine-Grained Synchronization of Dependent GPU Kernels. | Abhinav Jangda, Saeed Maleki, Maryam Mehri Dehnavi, Madan Musuvathi, Olli Saarikivi |
| 2024 | ICSE | Exploring the Effectiveness of LLM based Test-driven Interactive Code Generation: User Study and Empirical Evaluation. | Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri |
| 2023 | HotOS | HotGPT: How to Make Software Documentation More Useful with a Large Language Model? | Yiming Su, Chengcheng Wan, Utsav Sethi, Shan Lu, Madan Musuvathi, Suman Nath |
| 2023 | NSDI | TACCL: Guiding Collective Algorithm Synthesis using Communication Sketches. | Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi |
| 2020 | PLDI | EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation. | Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi |
| 2019 | HotOS | What bugs cause production cloud incidents? | Haopeng Liu, Shan Lu, Madan Musuvathi, Suman Nath |
| 2019 | SOSP | Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines. | Guoqing Harry Xu, Margus Veanes, Michael Barnett, Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He, Haibo Lin |
| 2018 | ICSE | Cross-language optimizations in big data systems: a case study of SCOPE. | Marija Selakovic, Michael Barnett, Madan Musuvathi, Todd Mytkowicz |
| 2018 | USENIX | Troubleshooting Transiently-Recurring Errors in Production Systems with Blame-Proportional Logging. | Liang Luo, Suman Nath, Lenin Ravindranath Sivalingam, Madan Musuvathi, Luis Ceze |
| 2017 | PLDI | Fusing effectful comprehensions. | Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi |
| 2015 | USENIX | Systematically Exploring the Behavior of Control Programs. | Jason Croft, Ratul Mahajan, Matthew Caesar, Madan Musuvathi |
| 2013 | HotOS | Failure Recovery: When the Cure Is Worse Than the Disease. | Zhenyu Guo, Sean McDirmid, Mao Yang, Li Zhuang, Pu Zhang, Yingwei Luo, Tom Bergan, Madan Musuvathi, Zheng Zhang, Lidong Zhou |
| 2013 | OOPSLA | Bounded partial-order reduction. | Katherine E. Coons, Madan Musuvathi, Kathryn S. McKinley |
| 2008 | ESOP | Cover Algorithms and Their Combination. | Sumit Gulwani, Madan Musuvathi |
| 2008 | ISSTA | Systematic concurrency testing using CHESS. | Madan Musuvathi |
| 2006 | LOPSTR | CHESS: Systematic Stress Testing of Concurrent Software. | Madan Musuvathi, Shaz Qadeer |
| 2005 | TACAS | A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover. | K. Rustan M. Leino, Madan Musuvathi, Xinming Ou |