Madan Musuvathi

39 papers A* 3A 9B 1C 1Misc 1Journal 13Unranked 7
YearRankTypeTitle / Venue / Authors
2026 — conf
MSCCL++: Rethinking GPU Communication Abstractions for AI Inference.
ASPLOS (2)
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 B ed.
Proceedings of the 31st ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, PPoPP 2026, Sydney, NSW, Australia, 31 January 2026 - 4 February 2026
PPoPP
Tony Hosking, Madan Musuvathi, Kenjiro Taura
2025 A conf
LLM-Vectorizer: LLM-Based Verified Loop Vectorizer.
CGO
Jubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu K. Lahiri
2025 J jnl
MSCCL++: Rethinking GPU Communication Abstractions for Cutting-edge AI Applications.
CoRR
Aashaka Shah, Abhinav Jangda, Binyang Li, Caio Rocha, Changho Hwang, Jithin Jose, Madan Musuvathi, Olli Saarikivi, Peng Cheng, Qinghua Zhou, Roshan Dathathri, Saeed Maleki, Ziyue Yang
2025 J jnl
PEAK: A Performance Engineering AI-Assistant for GPU Kernels Powered by Natural Language Transformations.
CoRR
Muhammad Usman Tariq, Abhinav Jangda, Angélica Moreira, Madan Musuvathi, Tyler Sorensen
2024 A conf
A Framework for Fine-Grained Synchronization of Dependent GPU Kernels.
CGO
Abhinav Jangda, Saeed Maleki, Maryam Mehri Dehnavi, Madan Musuvathi, Olli Saarikivi
2024 J jnl
DroidSpeak: Enhancing Cross-LLM Communication.
CoRR
Yuhan Liu, Esha Choukse, Shan Lu, Junchen Jiang, Madan Musuvathi
2024 — conf
Exploring the Effectiveness of LLM based Test-driven Interactive Code Generation: User Study and Empirical Evaluation.
ICSE Companion
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri
2024 J jnl
LLM-Vectorizer: LLM-based Verified Loop Vectorizer.
CoRR
Jubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu K. Lahiri
2024 — ed.
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
ASPLOS (1)
Rajiv Gupta, Nael B. Abu-Ghazaleh, Madan Musuvathi, Dan Tsafrir
2024 — ed.
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
ASPLOS (2)
Rajiv Gupta, Nael B. Abu-Ghazaleh, Madan Musuvathi, Dan Tsafrir
2024 — ed.
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
ASPLOS (3)
Rajiv Gupta, Nael B. Abu-Ghazaleh, Madan Musuvathi, Dan Tsafrir
2024 — ed.
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4, ASPLOS 2024, Hilton La Jolla Torrey Pines, La Jolla, CA, USA, 27 April 2024 - 1 May 2024
ASPLOS (4)
Rajiv Gupta, Nael B. Abu-Ghazaleh, Madan Musuvathi, Dan Tsafrir
2023 J jnl
A Framework for Fine-Grained Synchronization of Dependent GPU Kernels.
CoRR
Abhinav Jangda, Saeed Maleki, Maryam Mehri Dehnavi, Madan Musuvathi, Olli Saarikivi
2023 A conf
HotGPT: How to Make Software Documentation More Useful with a Large Language Model?
HotOS
Yiming Su, Chengcheng Wan, Utsav Sethi, Shan Lu, Madan Musuvathi, Suman Nath
2023 Misc conf
TACCL: Guiding Collective Algorithm Synthesis using Communication Sketches.
NSDI
Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
2023 J jnl
Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions.
CoRR
Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri
2021 A conf
Distributed Training of Embeddings using Graph Analytics.
IPDPS
Gurbinder Gill, Roshan Dathathri, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi
2021 — conf
Scaling Distributed Training with Adaptive Summation.
MLSys
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi, Tianju Xu, Vadim Eksarevskiy, Jaliya Ekanayake, Emad Barsoum
2021 J jnl
Synthesizing Collective Communication Algorithms for Heterogeneous Networks with TACCL.
CoRR
Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi, Rachee Singh
2020 A* conf
EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation.
PLDI
Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi
2020 J jnl
GenderRobustness: Robustness of Gender Detection in Facial Recognition Systems with variation in Image Properties.
CoRR
Sharadha Srinivasan, Madan Musuvathi
2020 J jnl
Scaling Distributed Training with Adaptive Summation.
CoRR
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi, Tianju Xu, Vadim Eksarevskiy, Jaliya Ekanayake, Emad Barsoum
2020 J jnl
Synthesizing Optimal Collective Algorithms.
CoRR
Zixian Cai, Zhengyang Liu, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
2019 J jnl
Distributed Word2Vec using Graph Analytics Frameworks.
CoRR
Gurbinder Gill, Roshan Dathathri, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi
2019 A* conf
Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines.
SOSP
Guoqing Harry Xu, Margus Veanes, Michael Barnett, Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He, Haibo Lin
2019 A conf
What bugs cause production cloud incidents?
HotOS
Haopeng Liu, Shan Lu, Madan Musuvathi, Suman Nath
2018 — conf
Cross-language optimizations in big data systems: a case study of SCOPE.
ICSE (SEIP)
Marija Selakovic, Michael Barnett, Madan Musuvathi, Todd Mytkowicz
2018 — conf
Troubleshooting Transiently-Recurring Errors in Production Systems with Blame-Proportional Logging.
USENIX ATC
Liang Luo, Suman Nath, Lenin Ravindranath Sivalingam, Madan Musuvathi, Luis Ceze
2017 A* conf
Fusing effectful comprehensions.
PLDI
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
2015 — conf
Systematically Exploring the Behavior of Control Programs.
USENIX ATC
Jason Croft, Ratul Mahajan, Matthew Caesar, Madan Musuvathi
2013 A conf
Bounded partial-order reduction.
OOPSLA
Katherine E. Coons, Madan Musuvathi, Kathryn S. McKinley
2013 A conf
Failure Recovery: When the Cure Is Worse Than the Disease.
HotOS
Zhenyu Guo, Sean McDirmid, Mao Yang, Li Zhuang, Pu Zhang, Yingwei Luo, Tom Bergan, Madan Musuvathi, Zheng Zhang, Lidong Zhou
2011 J jnl
Predictable and Progressive Testing of Multithreaded Code.
IEEE Softw.
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer
2008 A conf
Cover Algorithms and Their Combination.
ESOP
Sumit Gulwani, Madan Musuvathi
2008 J jnl
Modular difference logic is hard
CoRR
Nikolaj S. Bjørner, Andreas Blass, Yuri Gurevich, Madan Musuvathi
2008 — conf
Systematic concurrency testing using CHESS.
PADTAD
Madan Musuvathi
2006 C conf
CHESS: Systematic Stress Testing of Concurrent Software.
LOPSTR
Madan Musuvathi, Shaz Qadeer
2005 A conf
A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover.
TACAS
K. Rustan M. Leino, Madan Musuvathi, Xinming Ou