Madanlal Musuvathi

94 papers A* 30A 14B 8C 1Misc 4Journal 16Unranked 17
YearRankTypeTitle / Venue / Authors
2024 A* conf
If At First You Don't Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems.
SOSP
Bogdan Alexandru Stoica, Utsav Sethi, Yiming Su, Cyrus Zhou, Shan Lu, Jonathan Mace, Madanlal Musuvathi, Suman Nath
2024 — conf
NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions.
ICSE Companion
Sarah Fakhoury, Saikat Chakraborty, Madanlal Musuvathi, Shuvendu K. Lahiri
2023 — conf
MSCCLang: Microsoft Collective Communication Language.
ASPLOS (2)
Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, Yifan Xiong
2023 — conf
Ranking LLM-Generated Loop Invariants for Program Verification.
EMNLP (Findings)
Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
2023 J jnl
Ranking LLM-Generated Loop Invariants for Program Verification.
CoRR
Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Madanlal Musuvathi, Akash Lal, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
2023 A conf
WAFFLE: Exposing Memory Ordering Bugs Efficiently with Active Delay Injection.
EuroSys
Bogdan Alexandru Stoica, Shan Lu, Madanlal Musuvathi, Suman Nath
2022 A* conf
Breaking the computation and communication abstraction barrier in distributed machine learning workloads.
ASPLOS
Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, Olli Saarikivi
2022 A* conf
Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures.
OSDI
Utsav Sethi, Haochen Pan, Shan Lu, Madanlal Musuvathi, Suman Nath
2022 A* conf
Fault-Aware Neural Code Rankers.
NeurIPS
Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andrés Codas, Mark Encarnación, Shuvendu K. Lahiri, Madanlal Musuvathi, Jianfeng Gao
2022 J jnl
Fault-Aware Neural Code Rankers.
CoRR
Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andrés Codas, Mark Encarnación, Shuvendu K. Lahiri, Madanlal Musuvathi, Jianfeng Gao
2022 J jnl
Interactive Code Generation via Test-Driven User-Intent Formalization.
CoRR
Shuvendu K. Lahiri, Aaditya Naik, Georgios Sakkas, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
2022 J jnl
MSCCL: Microsoft Collective Communication Library.
CoRR
Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, Yifan Xiong
2021 J jnl
CoCoNet: Co-Optimizing Computation and Communication for Distributed Machine Learning.
CoRR
Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, Olli Saarikivi
2021 J jnl
Safe-by-default Concurrency for Modern Programming Languages.
ACM Trans. Program. Lang. Syst.
Lun Liu, Todd D. Millstein, Madanlal Musuvathi
2021 A* conf
SherLock: unsupervised synchronization-operation inference.
ASPLOS
Guangpu Li, Dongjie Chen, Shan Lu, Madanlal Musuvathi, Suman Nath
2021 B conf
Synthesizing optimal collective algorithms.
PPoPP
Zixian Cai, Zhengyang Liu, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
2020 — conf
BigTest: a symbolic execution based systematic test generation tool for Apache spark.
ICSE (Companion Volume)
Muhammad Ali Gulzar, Madanlal Musuvathi, Miryung Kim
2019 A* conf
Accelerating sequential consistency for Java with speculative compilation.
PLDI
Lun Liu, Todd D. Millstein, Madanlal Musuvathi
2019 A* conf
CHET: an optimizing compiler for fully-homomorphic neural-network inferencing.
PLDI
Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin E. Lauter, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
2019 J jnl
EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation.
CoRR
Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madanlal Musuvathi
2019 A* conf
Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing.
SOSP
Guangpu Li, Shan Lu, Madanlal Musuvathi, Suman Nath, Rohan Padhye
2019 — conf
White-box testing of big data analytics with complex user-defined functions.
ESEC/SIGSOFT FSE
Muhammad Ali Gulzar, Shaghayegh Mardani, Madanlal Musuvathi, Miryung Kim
2018 J jnl
CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs.
CoRR
Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin E. Lauter, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
2018 A conf
Semantics-Preserving Parallelization of Stochastic Gradient Descent.
IPDPS
Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
2017 J jnl
A volatile-by-default JVM for server applications.
Proc. ACM Program. Lang.
Lun Liu, Todd D. Millstein, Madanlal Musuvathi
2017 J jnl
Parallel Stochastic Gradient Descent with Sound Combiners.
CoRR
Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
2017 B conf
SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap.
PPoPP
Michael Vollmer, Ryan G. Scott, Madanlal Musuvathi, Ryan R. Newton
2017 — conf
Static analysis for optimizing big data queries.
ESEC/SIGSOFT FSE
Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, Edgardo Zoppi
2016 A* conf
2DFQ: Two-Dimensional Fair Queuing for Multi-Tenant Cloud Services.
SIGCOMM
Jonathan Mace, Peter Bodík, Madanlal Musuvathi, Rodrigo Fonseca, Krishnan Varadarajan
2016 J jnl
DRF
ACM Trans. Program. Lang. Syst.
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
2016 J jnl
Efficient parallelization using rank convergence in dynamic programming algorithms.
Commun. ACM
Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
2016 J jnl
Low-Rank Methods for Parallelizing Dynamic Programming Algorithms.
ACM Trans. Parallel Comput.
Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
2016 Misc conf
Parallelizing WFST speech decoders.
ICASSP
Charith Mendis, Jasha Droppo, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Geoffrey Zweig
2015 A conf
Failure Sketches: A Better Way to Debug.
HotOS
Baris Kasikci, Cristiano Pereira, Gilles Pokam, Benjamin Schubert, Madanlal Musuvathi, George Candea
2015 A conf
Kahawai: High-Quality Mobile Gaming Using GPU Offload.
MobiSys
Eduardo Cuervo, Alec Wolman, Landon P. Cox, Kiron Lebeck, Ali Razeen, Stefan Saroiu, Madanlal Musuvathi
2015 A* conf
Parallelizing user-defined aggregations using symbolic execution.
SOSP
Veselin Raychev, Madanlal Musuvathi, Todd Mytkowicz
2015 Misc conf
Retro: Targeted Resource Management in Multi-tenant Distributed Systems.
NSDI
Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madanlal Musuvathi
2015 J jnl
TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems.
Proc. VLDB Endow.
Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz
2015 — conf
The Silently Shifting Semicolon.
SNAPL
Daniel Marino, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh
2015 A* conf
Yinyang K-Means: A Drop-In Replacement of the Classic K-Means with Consistent Speedup.
ICML
Yufei Ding, Yue Zhao, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz
2014 A* conf
Data-parallel finite-state machines.
ASPLOS
Todd Mytkowicz, Madanlal Musuvathi, Wolfram Schulte
2014 A conf
Demo: Kahawai: high-quality mobile gaming using GPU offload.
MobiSys
Eduardo Cuervo, Alec Wolman, Landon P. Cox, Stefan Saroiu, Madanlal Musuvathi, Ali Razeen
2014 — conf
Efficient Tracing of Cold Code via Bias-Free Sampling.
USENIX ATC
Baris Kasikci, Thomas Ball, George Candea, John Erickson, Madanlal Musuvathi
2014 B conf
Parallelizing dynamic programming through rank convergence.
PPoPP
Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
2014 — conf
Towards General-Purpose Resource Management in Shared Cloud Services.
HotDep
Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madanlal Musuvathi
2013 J jnl
A Safety-First Approach to Memory Models.
IEEE Micro
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi
2013 C conf
Safety-first approach to memory consistency models.
ISMM
Madanlal Musuvathi
2012 A conf
Concurrent Library Correctness on the TSO Memory Model.
ESOP
Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang
2012 B conf
Dynamic Analyses for Data-Race Detection.
RV
John Erickson, Stephen N. Freund, Madanlal Musuvathi
2012 A* conf
End-to-end sequential consistency.
ISCA
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi
2012 A* conf
Multicore acceleration of priority-based schedulers for concurrency bug detection.
PLDI
Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi
2012 — ed.
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
WODA@ISSTA
Eric Bodden, Madanlal Musuvathi
2012 A conf
Show No Weakness: Sequentially Consistent Specifications of TSO Libraries.
DISC
Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang
2012 A conf
What's Decidable about Weak Memory Models?
ESOP
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi
2011 A* conf
A case for an SC-preserving compiler.
PLDI
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
2011 A* conf
Efficient processor support for DRFx, a memory model with exceptions.
ASPLOS
Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi
2011 A* conf
Finding protocol manipulation attacks.
SIGCOMM
Nupur Kothari, Ratul Mahajan, Todd D. Millstein, Ramesh Govindan, Madanlal Musuvathi
2011 — ed.
Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
SPIN
Alex Groce, Madanlal Musuvathi
2011 A conf
Practical parallel and concurrent programming.
SIGCSE
Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub
2011 — ed.
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
MSPC
Jeffrey S. Vetter, Madanlal Musuvathi, Xipeng Shen
2010 A* conf
A randomized scheduler with probabilistic guarantees of finding bugs.
ASPLOS
Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte
2010 A* conf
DRFX: a simple and efficient memory model for concurrent programming languages.
PLDI
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
2010 A* conf
Effective Data-Race Detection for the Kernel.
OSDI
John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk
2010 — conf
Fluxo: a system for internet service programming by non-expert developers.
SoCC
Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi, Kevin C. Webb
2010 B conf
GAMBIT: effective unit testing for concurrency libraries.
PPoPP
Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi
2010 A* conf
Line-up: a complete and automatic linearizability checker.
PLDI
Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan
2010 A* conf
On the verification problem for weak memory models.
POPL
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi
2010 A conf
Preemption Sealing for Efficient Concurrency Testing.
TACAS
Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer
2010 B conf
Verifying Local Transformations on Relaxed Memory Models.
CC
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh
2009 — conf
CatchAndRetry: extending exceptions to handle distributed system failures and recovery.
PLOS@SOSP
Emre Kiciman, Benjamin Livshits, Madanlal Musuvathi
2009 — conf
Deconstructing concurrency heisenbugs.
ICSE Companion
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer
2009 A conf
FLUXO: A Simple Service Compiler.
HotOS
Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi
2009 A conf
Improving the responsiveness of internet services with automatic cache placement.
EuroSys
Alexander Rasmussen, Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi
2009 A* conf
LiteRace: effective sampling for lightweight data-race detection.
PLDI
Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy
2009 A* conf
Progress guarantee for parallel programs via bounded lock-freedom.
PLDI
Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard
2008 Misc conf
Can You Fool Me? Towards Automatically Checking Protocol Gullibility.
HotNets
Milan Stanojevic, Ratul Mahajan, Todd D. Millstein, Madanlal Musuvathi
2008 A* conf
Effective Program Verification for Relaxed Memory Models.
CAV
Sebastian Burckhardt, Madanlal Musuvathi
2008 A* conf
Fair stateless model checking.
PLDI
Madanlal Musuvathi, Shaz Qadeer
2008 A* conf
Finding and Reproducing Heisenbugs in Concurrent Programs.
OSDI
Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu
2007 A* conf
Iterative context bounding for systematic testing of multithreaded programs.
PLDI
Madanlal Musuvathi, Shaz Qadeer
2006 A conf
Solving Sparse Linear Constraints.
IJCAR
Shuvendu K. Lahiri, Madanlal Musuvathi
2006 J jnl
Using model checking to find serious file system errors.
ACM Trans. Comput. Syst.
Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi
2005 A conf
A Combination Method for Generating Interpolants.
CADE
Greta Yorsh, Madanlal Musuvathi
2005 — conf
An Efficient Decision Procedure for UTVPI Constraints.
FroCoS
Shuvendu K. Lahiri, Madanlal Musuvathi
2005 — conf
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals.
PDPAR@CAV
Shuvendu K. Lahiri, Madanlal Musuvathi
2005 — conf
An Incremental Heap Canonicalization Algorithm.
SPIN
Madanlal Musuvathi, David L. Dill
2005 B conf
Zap: Automated Theorem Proving for Software Analysis.
LPAR
Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi
2004 — —
CMC: a model checker for network protocol implementations.
Madanlal Musuvathi
2004 Misc conf
Model Checking Large Network Protocol Implementations.
NSDI
Madanlal Musuvathi, Dawson R. Engler
2004 B conf
Static Analysis versus Software Model Checking for Bug Finding.
VMCAI
Dawson R. Engler, Madanlal Musuvathi
2004 A* conf
Using Model Checking to Find Serious File System Errors (Awarded Best Paper!).
OSDI
Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi
2003 — conf
Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding.
SoftMC@CAV
Madanlal Musuvathi, Dawson R. Engler
2002 A* conf
CMC: A Pragmatic Approach to Model Checking Real Code.
OSDI
Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill
2002 — conf
Model checking system software with CMC.
ACM SIGOPS European Workshop
Madanlal Musuvathi, Andy Chou, David L. Dill, Dawson R. Engler