Madanlal Musuvathi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
61
Venues
28
Active years
2002–2024
Best venue rank
A*
Where they publish
- A*PLDI10 papers
- A*ASPLOS6 papers
- A*OSDI5 papers
- A*SOSP4 papers
- BPPoPP4 papers
- A*ICSE3 papers
- AEuroSys2 papers
- A*SIGCOMM2 papers
- AHotOS2 papers
- AMobisys2 papers
- NationalNSDI2 papers
- AESOP2 papers
- ACADE2 papers
- A*EMNLP1 paper
- MulticonferenceICASSP1 paper
- A*ICML1 paper
- AUSENIX1 paper
- A*ISCA1 paper
- BRV1 paper
- ASIGCSE1 paper
- BCC1 paper
- BCLOUD1 paper
- A*POPL1 paper
- ATACAS1 paper
- A*CAV1 paper
- NationalHOTNETS1 paper
- BLPAR1 paper
- BVMCAI1 paper
Papers
61 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICSE | NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions. | Sarah Fakhoury, Saikat Chakraborty, Madanlal Musuvathi, Shuvendu K. Lahiri |
| 2024 | SOSP | If At First You Don't Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems. | Bogdan Alexandru Stoica, Utsav Sethi, Yiming Su, Cyrus Zhou, Shan Lu, Jonathan Mace, Madanlal Musuvathi, Suman Nath |
| 2023 | ASPLOS | MSCCLang: Microsoft Collective Communication Language. | Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, Yifan Xiong |
| 2023 | EMNLP | Ranking LLM-Generated Loop Invariants for Program Verification. | Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy |
| 2023 | EuroSys | WAFFLE: Exposing Memory Ordering Bugs Efficiently with Active Delay Injection. | Bogdan Alexandru Stoica, Shan Lu, Madanlal Musuvathi, Suman Nath |
| 2022 | ASPLOS | Breaking the computation and communication abstraction barrier in distributed machine learning workloads. | Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, Olli Saarikivi |
| 2022 | OSDI | Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures. | Utsav Sethi, Haochen Pan, Shan Lu, Madanlal Musuvathi, Suman Nath |
| 2021 | ASPLOS | SherLock: unsupervised synchronization-operation inference. | Guangpu Li, Dongjie Chen, Shan Lu, Madanlal Musuvathi, Suman Nath |
| 2021 | PPoPP | Synthesizing optimal collective algorithms. | Zixian Cai, Zhengyang Liu, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi |
| 2020 | ICSE | BigTest: a symbolic execution based systematic test generation tool for Apache spark. | Muhammad Ali Gulzar, Madanlal Musuvathi, Miryung Kim |
| 2019 | PLDI | CHET: an optimizing compiler for fully-homomorphic neural-network inferencing. | Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin E. Lauter, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz |
| 2019 | PLDI | Accelerating sequential consistency for Java with speculative compilation. | Lun Liu, Todd D. Millstein, Madanlal Musuvathi |
| 2019 | SOSP | Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing. | Guangpu Li, Shan Lu, Madanlal Musuvathi, Suman Nath, Rohan Padhye |
| 2017 | PPoPP | SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap. | Michael Vollmer, Ryan G. Scott, Madanlal Musuvathi, Ryan R. Newton |
| 2016 | ICASSP | Parallelizing WFST speech decoders. | Charith Mendis, Jasha Droppo, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Geoffrey Zweig |
| 2016 | SIGCOMM | 2DFQ: Two-Dimensional Fair Queuing for Multi-Tenant Cloud Services. | Jonathan Mace, Peter Bodk, Madanlal Musuvathi, Rodrigo Fonseca, Krishnan Varadarajan |
| 2015 | HotOS | Failure Sketches: A Better Way to Debug. | Baris Kasikci, Cristiano Pereira, Gilles Pokam, Benjamin Schubert, Madanlal Musuvathi, George Candea |
| 2015 | ICML | Yinyang K-Means: A Drop-In Replacement of the Classic K-Means with Consistent Speedup. | Yufei Ding, Yue Zhao, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz |
| 2015 | Mobisys | Kahawai: High-Quality Mobile Gaming Using GPU Offload. | Eduardo Cuervo, Alec Wolman, Landon P. Cox, Kiron Lebeck, Ali Razeen, Stefan Saroiu, Madanlal Musuvathi |
| 2015 | NSDI | Retro: Targeted Resource Management in Multi-tenant Distributed Systems. | Jonathan Mace, Peter Bodk, Rodrigo Fonseca, Madanlal Musuvathi |
| 2015 | SOSP | Parallelizing user-defined aggregations using symbolic execution. | Veselin Raychev, Madanlal Musuvathi, Todd Mytkowicz |
| 2014 | ASPLOS | Data-parallel finite-state machines. | Todd Mytkowicz, Madanlal Musuvathi, Wolfram Schulte |
| 2014 | Mobisys | Demo: Kahawai: high-quality mobile gaming using GPU offload. | Eduardo Cuervo, Alec Wolman, Landon P. Cox, Stefan Saroiu, Madanlal Musuvathi, Ali Razeen |
| 2014 | PPoPP | Parallelizing dynamic programming through rank convergence. | Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz |
| 2014 | USENIX | Efficient Tracing of Cold Code via Bias-Free Sampling. | Baris Kasikci, Thomas Ball, George Candea, John Erickson, Madanlal Musuvathi |
| 2012 | ESOP | What's Decidable about Weak Memory Models? | Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi |
| 2012 | ESOP | Concurrent Library Correctness on the TSO Memory Model. | Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang |
| 2012 | ISCA | End-to-end sequential consistency. | Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi |
| 2012 | PLDI | Multicore acceleration of priority-based schedulers for concurrency bug detection. | Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi |
| 2012 | RV | Dynamic Analyses for Data-Race Detection. | John Erickson, Stephen N. Freund, Madanlal Musuvathi |
| 2011 | ASPLOS | Efficient processor support for DRFx, a memory model with exceptions. | Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi |
| 2011 | PLDI | A case for an SC-preserving compiler. | Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy |
| 2011 | SIGCSE | Practical parallel and concurrent programming. | Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub |
| 2011 | SIGCOMM | Finding protocol manipulation attacks. | Nupur Kothari, Ratul Mahajan, Todd D. Millstein, Ramesh Govindan, Madanlal Musuvathi |
| 2010 | ASPLOS | A randomized scheduler with probabilistic guarantees of finding bugs. | Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte |
| 2010 | CC | Verifying Local Transformations on Relaxed Memory Models. | Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh |
| 2010 | CLOUD | Fluxo: a system for internet service programming by non-expert developers. | Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi, Kevin C. Webb |
| 2010 | OSDI | Effective Data-Race Detection for the Kernel. | John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk |
| 2010 | PLDI | Line-up: a complete and automatic linearizability checker. | Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan |
| 2010 | PLDI | DRFX: a simple and efficient memory model for concurrent programming languages. | Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy |
| 2010 | POPL | On the verification problem for weak memory models. | Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi |
| 2010 | PPoPP | GAMBIT: effective unit testing for concurrency libraries. | Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi |
| 2010 | TACAS | Preemption Sealing for Efficient Concurrency Testing. | Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer |
| 2009 | EuroSys | Improving the responsiveness of internet services with automatic cache placement. | Alexander Rasmussen, Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi |
| 2009 | HotOS | FLUXO: A Simple Service Compiler. | Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi |
| 2009 | ICSE | Deconstructing concurrency heisenbugs. | Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer |
| 2009 | PLDI | LiteRace: effective sampling for lightweight data-race detection. | Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy |
| 2009 | PLDI | Progress guarantee for parallel programs via bounded lock-freedom. | Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard |
| 2009 | SOSP | CatchAndRetry: extending exceptions to handle distributed system failures and recovery. | Emre Kiciman, Benjamin Livshits, Madanlal Musuvathi |
| 2008 | CAV | Effective Program Verification for Relaxed Memory Models. | Sebastian Burckhardt, Madanlal Musuvathi |
| 2008 | HOTNETS | Can You Fool Me? Towards Automatically Checking Protocol Gullibility. | Milan Stanojevic, Ratul Mahajan, Todd D. Millstein, Madanlal Musuvathi |
| 2008 | OSDI | Finding and Reproducing Heisenbugs in Concurrent Programs. | Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Grard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu |
| 2008 | PLDI | Fair stateless model checking. | Madanlal Musuvathi, Shaz Qadeer |
| 2007 | PLDI | Iterative context bounding for systematic testing of multithreaded programs. | Madanlal Musuvathi, Shaz Qadeer |
| 2006 | CADE | Solving Sparse Linear Constraints. | Shuvendu K. Lahiri, Madanlal Musuvathi |
| 2005 | CADE | A Combination Method for Generating Interpolants. | Greta Yorsh, Madanlal Musuvathi |
| 2005 | LPAR | Zap: Automated Theorem Proving for Software Analysis. | Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi |
| 2004 | NSDI | Model Checking Large Network Protocol Implementations. | Madanlal Musuvathi, Dawson R. Engler |
| 2004 | OSDI | Using Model Checking to Find Serious File System Errors (Awarded Best Paper!). | Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi |
| 2004 | VMCAI | Static Analysis versus Software Model Checking for Bug Finding. | Dawson R. Engler, Madanlal Musuvathi |
| 2002 | OSDI | CMC: A Pragmatic Approach to Model Checking Real Code. | Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill |