Madanlal Musuvathi

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 32

Top Topics

Dynamic Programming Algorithms

Top Venues

Publications

Sarah Fakhoury, Saikat Chakraborty, Madanlal Musuvathi, Shuvendu K. Lahiri
NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions. ICSE Companion (2024)
Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, Yifan Xiong
MSCCLang: Microsoft Collective Communication Language. ASPLOS (2) (2023)
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 (2023)
Bogdan Alexandru Stoica, Shan Lu, Madanlal Musuvathi, Suman Nath
WAFFLE: Exposing Memory Ordering Bugs Efficiently with Active Delay Injection. EuroSys (2023)
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)
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)
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 (2022)
Utsav Sethi, Haochen Pan, Shan Lu, Madanlal Musuvathi, Suman Nath
Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures. OSDI (2022)
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 (2022)
Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, Yifan Xiong
MSCCL: Microsoft Collective Communication Library. CoRR (2022)
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)
Zixian Cai, Zhengyang Liu, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
Synthesizing optimal collective algorithms. PPoPP (2021)
Guangpu Li, Dongjie Chen, Shan Lu, Madanlal Musuvathi, Suman Nath
SherLock: unsupervised synchronization-operation inference. ASPLOS (2021)
Lun Liu, Todd D. Millstein, Madanlal Musuvathi
Safe-by-default Concurrency for Modern Programming Languages. ACM Trans. Program. Lang. Syst. 43 (3) (2021)
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 (2021)
Muhammad Ali Gulzar, Madanlal Musuvathi, Miryung Kim
BigTest: a symbolic execution based systematic test generation tool for Apache spark. ICSE (Companion Volume) (2020)
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)
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)
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 (2019)
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)
Lun Liu, Todd D. Millstein, Madanlal Musuvathi
Accelerating sequential consistency for Java with speculative compilation. PLDI (2019)
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 (2018)
Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
Semantics-Preserving Parallelization of Stochastic Gradient Descent. IPDPS (2018)
Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
Parallel Stochastic Gradient Descent with Sound Combiners. CoRR (2017)
Lun Liu, Todd D. Millstein, Madanlal Musuvathi
A volatile-by-default JVM for server applications. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Michael Vollmer, Ryan G. Scott, Madanlal Musuvathi, Ryan R. Newton
SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap. PPOPP (2017)
Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, Edgardo Zoppi
Static analysis for optimizing big data queries. ESEC/SIGSOFT FSE (2017)
Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
Low-Rank Methods for Parallelizing Dynamic Programming Algorithms. ACM Trans. Parallel Comput. 2 (4) (2016)
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
: An Understandable, High Performance, and Flexible Memory Model for Concurrent Languages. ACM Trans. Program. Lang. Syst. 38 (4) (2016)
Charith Mendis, Jasha Droppo, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Geoffrey Zweig
Parallelizing WFST speech decoders. ICASSP (2016)
Jonathan Mace, Peter Bodík, Madanlal Musuvathi, Rodrigo Fonseca, Krishnan Varadarajan
2DFQ: Two-Dimensional Fair Queuing for Multi-Tenant Cloud Services. SIGCOMM (2016)
Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
Efficient parallelization using rank convergence in dynamic programming algorithms. Commun. ACM 59 (10) (2016)
Baris Kasikci, Cristiano Pereira, Gilles Pokam, Benjamin Schubert, Madanlal Musuvathi, George Candea
Failure Sketches: A Better Way to Debug. HotOS (2015)
Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madanlal Musuvathi
Retro: Targeted Resource Management in Multi-tenant Distributed Systems. NSDI (2015)
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)
Veselin Raychev, Madanlal Musuvathi, Todd Mytkowicz
Parallelizing user-defined aggregations using symbolic execution. SOSP (2015)
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)
Daniel Marino, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh
The Silently Shifting Semicolon. SNAPL (2015)
Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz
TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems. Proc. VLDB Endow. 8 (10) (2015)
Todd Mytkowicz, Madanlal Musuvathi, Wolfram Schulte
Data-parallel finite-state machines. ASPLOS (2014)
Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madanlal Musuvathi
Towards General-Purpose Resource Management in Shared Cloud Services. HotDep (2014)
Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
Parallelizing dynamic programming through rank convergence. PPOPP (2014)
Baris Kasikci, Thomas Ball, George Candea, John Erickson, Madanlal Musuvathi
Efficient Tracing of Cold Code via Bias-Free Sampling. USENIX Annual Technical Conference (2014)
Eduardo Cuervo, Alec Wolman, Landon P. Cox, Stefan Saroiu, Madanlal Musuvathi, Ali Razeen
Demo: Kahawai: high-quality mobile gaming using GPU offload. MobiSys (2014)
Madanlal Musuvathi
Safety-first approach to memory consistency models. ISMM (2013)
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi
A Safety-First Approach to Memory Models. IEEE Micro 33 (3) (2013)
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi
What's Decidable about Weak Memory Models? ESOP (2012)
Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi
Multicore acceleration of priority-based schedulers for concurrency bug detection. PLDI (2012)
Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang
Show No Weakness: Sequentially Consistent Specifications of TSO Libraries. DISC (2012)
John Erickson, Stephen N. Freund, Madanlal Musuvathi
Dynamic Analyses for Data-Race Detection. RV (2012)
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi
End-to-end sequential consistency. ISCA (2012)
Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang
Concurrent Library Correctness on the TSO Memory Model. ESOP (2012)
Nupur Kothari, Ratul Mahajan, Todd D. Millstein, Ramesh Govindan, Madanlal Musuvathi
Finding protocol manipulation attacks. SIGCOMM (2011)
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
A case for an SC-preserving compiler. PLDI (2011)
Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi
Efficient processor support for DRFx, a memory model with exceptions. ASPLOS (2011)
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)
Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan
Line-up: a complete and automatic linearizability checker. PLDI (2010)
Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi
GAMBIT: effective unit testing for concurrency libraries. PPOPP (2010)
Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer
Preemption Sealing for Efficient Concurrency Testing. TACAS (2010)
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh
Verifying Local Transformations on Relaxed Memory Models. CC (2010)
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi
On the verification problem for weak memory models. POPL (2010)
Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi, Kevin C. Webb
Fluxo: a system for internet service programming by non-expert developers. SoCC (2010)
John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk
Effective Data-Race Detection for the Kernel. OSDI (2010)
Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte
A randomized scheduler with probabilistic guarantees of finding bugs. ASPLOS (2010)
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
DRFX: a simple and efficient memory model for concurrent programming languages. PLDI (2010)
Alexander Rasmussen, Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi
Improving the responsiveness of internet services with automatic cache placement. EuroSys (2009)
Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy
LiteRace: effective sampling for lightweight data-race detection. PLDI (2009)
Emre Kiciman, Benjamin Livshits, Madanlal Musuvathi
CatchAndRetry: extending exceptions to handle distributed system failures and recovery. PLOS@SOSP (2009)
Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard
Progress guarantee for parallel programs via bounded lock-freedom. PLDI (2009)
Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi
FLUXO: A Simple Service Compiler. HotOS (2009)
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer
Deconstructing concurrency heisenbugs. ICSE Companion (2009)
Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu
Finding and Reproducing Heisenbugs in Concurrent Programs. OSDI (2008)
Sebastian Burckhardt, Madanlal Musuvathi
Effective Program Verification for Relaxed Memory Models. CAV (2008)
Milan Stanojevic, Ratul Mahajan, Todd D. Millstein, Madanlal Musuvathi
Can You Fool Me? Towards Automatically Checking Protocol Gullibility. HotNets (2008)
Madanlal Musuvathi, Shaz Qadeer
Fair stateless model checking. PLDI (2008)
Madanlal Musuvathi, Shaz Qadeer
Iterative context bounding for systematic testing of multithreaded programs. PLDI (2007)
Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi
Using model checking to find serious file system errors. ACM Trans. Comput. Syst. 24 (4) (2006)
Shuvendu K. Lahiri, Madanlal Musuvathi
Solving Sparse Linear Constraints. IJCAR (2006)
Shuvendu K. Lahiri, Madanlal Musuvathi
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals. Electron. Notes Theor. Comput. Sci. 144 (2) (2006)
Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi
Zap: Automated Theorem Proving for Software Analysis. LPAR (2005)
Greta Yorsh, Madanlal Musuvathi
A Combination Method for Generating Interpolants. CADE (2005)
Madanlal Musuvathi, David L. Dill
An Incremental Heap Canonicalization Algorithm. SPIN (2005)
Shuvendu K. Lahiri, Madanlal Musuvathi
An Efficient Decision Procedure for UTVPI Constraints. FroCoS (2005)
Madanlal Musuvathi, Dawson R. Engler
Model Checking Large Network Protocol Implementations. NSDI (2004)
Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi
Using Model Checking to Find Serious File System Errors (Awarded Best Paper!). OSDI (2004)
Dawson R. Engler, Madanlal Musuvathi
Static Analysis versus Software Model Checking for Bug Finding. VMCAI (2004)
Madanlal Musuvathi, Dawson R. Engler
Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding. Electron. Notes Theor. Comput. Sci. 89 (3) (2003)
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)
Madanlal Musuvathi, Andy Chou, David L. Dill, Dawson R. Engler
Model checking system software with CMC. ACM SIGOPS European Workshop (2002)