Madan Musuvathi

According to our database, Madan Musuvathi authored at least 114 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of two.

2024

LLM-Vectorizer: LLM-based Verified Loop Vectorizer.

Jubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu K. Lahiri

CoRR, 2024

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

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

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

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions.

Sarah Fakhoury, Saikat Chakraborty, Madanlal Musuvathi, Shuvendu K. Lahiri

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

A Framework for Fine-Grained Synchronization of Dependent GPU Kernels.

Abhinav Jangda, Saeed Maleki, Maryam Mehri Dehnavi, Madan Musuvathi, Olli Saarikivi

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2024

2023

Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions.

Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri

CoRR, 2023

TACCL: Guiding Collective Algorithm Synthesis using Communication Sketches.

Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

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

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

WAFFLE: Exposing Memory Ordering Bugs Efficiently with Active Delay Injection.

Bogdan Alexandru Stoica, Shan Lu, Madanlal Musuvathi, Suman Nath

Proceedings of the Eighteenth European Conference on Computer Systems, 2023

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

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

MSCCLang: Microsoft Collective Communication Language.

Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, Yifan Xiong

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

Interactive Code Generation via Test-Driven User-Intent Formalization.

Shuvendu K. Lahiri, Aaditya Naik, Georgios Sakkas, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao

CoRR, 2022

MSCCL: Microsoft Collective Communication Library.

Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, Yifan Xiong

CoRR, 2022

Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures.

Utsav Sethi, Haochen Pan, Shan Lu, Madanlal Musuvathi, Suman Nath

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

Fault-Aware Neural Code Rankers.

Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andrés Codas, Mark Encarnación, Shuvendu K. Lahiri, Madanlal Musuvathi, Jianfeng Gao

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

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

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021

Safe-by-default Concurrency for Modern Programming Languages.

Lun Liu, Todd D. Millstein, Madanlal Musuvathi

ACM Trans. Program. Lang. Syst., 2021

Synthesizing Collective Communication Algorithms for Heterogeneous Networks with TACCL.

Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi, Rachee Singh

CoRR, 2021

CoCoNet: Co-Optimizing Computation and Communication for Distributed Machine Learning.

Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, Olli Saarikivi

CoRR, 2021

Synthesizing optimal collective algorithms.

Zixian Cai, Zhengyang Liu, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi

Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

Scaling Distributed Training with Adaptive Summation.

Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi, Tianju Xu, Vadim Eksarevskiy, Jaliya Ekanayake, Emad Barsoum

Proceedings of the Fourth Conference on Machine Learning and Systems, 2021

Distributed Training of Embeddings using Graph Analytics.

Gurbinder Gill, Roshan Dathathri, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi

Proceedings of the 35th IEEE International Parallel and Distributed Processing Symposium, 2021

SherLock: unsupervised synchronization-operation inference.

Guangpu Li, Dongjie Chen, Shan Lu, Madanlal Musuvathi, Suman Nath

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

GenderRobustness: Robustness of Gender Detection in Facial Recognition Systems with variation in Image Properties.

Sharadha Srinivasan, Madan Musuvathi

CoRR, 2020

EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation.

Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

BigTest: a symbolic execution based systematic test generation tool for Apache spark.

Muhammad Ali Gulzar, Madanlal Musuvathi, Miryung Kim

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

2019

Distributed Word2Vec using Graph Analytics Frameworks.

Gurbinder Gill, Roshan Dathathri, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi

CoRR, 2019

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

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing.

Guangpu Li, Shan Lu, Madanlal Musuvathi, Suman Nath, Rohan Padhye

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

White-box testing of big data analytics with complex user-defined functions.

Muhammad Ali Gulzar, Shaghayegh Mardani, Madanlal Musuvathi, Miryung Kim

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Accelerating sequential consistency for Java with speculative compilation.

Lun Liu, Todd D. Millstein, Madanlal Musuvathi

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

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

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

What bugs cause production cloud incidents?

Haopeng Liu, Shan Lu, Madan Musuvathi, Suman Nath

Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

2018

CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs.

Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin E. Lauter, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz

CoRR, 2018

Troubleshooting Transiently-Recurring Errors in Production Systems with Blame-Proportional Logging.

Liang Luo, Suman Nath, Lenin Ravindranath Sivalingam, Madan Musuvathi, Luis Ceze

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

Semantics-Preserving Parallelization of Stochastic Gradient Descent.

Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz

Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium, 2018

Cross-language optimizations in big data systems: a case study of SCOPE.

Marija Selakovic, Michael Barnett, Madan Musuvathi, Todd Mytkowicz

Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018

2017

A volatile-by-default JVM for server applications.

Lun Liu, Todd D. Millstein, Madanlal Musuvathi

Proc. ACM Program. Lang., 2017

Parallel Stochastic Gradient Descent with Sound Combiners.

Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz

CoRR, 2017

Static analysis for optimizing big data queries.

Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, Edgardo Zoppi

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap.

Michael Vollmer, Ryan G. Scott, Madanlal Musuvathi, Ryan R. Newton

Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

Fusing effectful comprehensions.

Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

DRF<i>x</i>: An Understandable, High Performance, and Flexible Memory Model for Concurrent Languages.

Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy

ACM Trans. Program. Lang. Syst., 2016

Low-Rank Methods for Parallelizing Dynamic Programming Algorithms.

Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz

ACM Trans. Parallel Comput., 2016

Efficient parallelization using rank convergence in dynamic programming algorithms.

Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz

Commun. ACM, 2016

2DFQ: Two-Dimensional Fair Queuing for Multi-Tenant Cloud Services.

Jonathan Mace, Peter Bodík, Madanlal Musuvathi, Rodrigo Fonseca, Krishnan Varadarajan

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Parallelizing WFST speech decoders.

Charith Mendis, Jasha Droppo, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Geoffrey Zweig

Proceedings of the 2016 IEEE International Conference on Acoustics, 2016

2015

TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems.

Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz

Proc. VLDB Endow., 2015

Systematically Exploring the Behavior of Control Programs.

Jason Croft, Ratul Mahajan, Matthew Caesar, Madan Musuvathi

Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Parallelizing user-defined aggregations using symbolic execution.

Veselin Raychev, Madanlal Musuvathi, Todd Mytkowicz

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

The Silently Shifting Semicolon.

Daniel Marino, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Retro: Targeted Resource Management in Multi-tenant Distributed Systems.

Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madanlal Musuvathi

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

Kahawai: High-Quality Mobile Gaming Using GPU Offload.

Eduardo Cuervo, Alec Wolman, Landon P. Cox, Kiron Lebeck, Ali Razeen, Stefan Saroiu, Madanlal Musuvathi

Proceedings of the 13th Annual International Conference on Mobile Systems, 2015

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

Proceedings of the 32nd International Conference on Machine Learning, 2015

Failure Sketches: A Better Way to Debug.

Baris Kasikci, Cristiano Pereira, Gilles Pokam, Benjamin Schubert, Madanlal Musuvathi, George Candea

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

2014

Efficient Tracing of Cold Code via Bias-Free Sampling.

Baris Kasikci, Thomas Ball, George Candea, John Erickson, Madanlal Musuvathi

Proceedings of the 2014 USENIX Annual Technical Conference, 2014

Parallelizing dynamic programming through rank convergence.

Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Demo: Kahawai: high-quality mobile gaming using GPU offload.

Eduardo Cuervo, Alec Wolman, Landon P. Cox, Stefan Saroiu, Madanlal Musuvathi, Ali Razeen

Proceedings of the 12th Annual International Conference on Mobile Systems, 2014

Towards General-Purpose Resource Management in Shared Cloud Services.

Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madanlal Musuvathi

Proceedings of the 10th Workshop on Hot Topics in System Dependability, 2014

Data-parallel finite-state machines.

Todd Mytkowicz, Madanlal Musuvathi, Wolfram Schulte

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013

A Safety-First Approach to Memory Models.

Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi

IEEE Micro, 2013

Bounded partial-order reduction.

Katherine E. Coons, Madan Musuvathi, Kathryn S. McKinley

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Safety-first approach to memory consistency models.

Madanlal Musuvathi

Proceedings of the International Symposium on Memory Management, 2013

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

Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

2012

Show No Weakness: Sequentially Consistent Specifications of TSO Libraries.

Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang

Proceedings of the Distributed Computing - 26th International Symposium, 2012

Dynamic Analyses for Data-Race Detection.

John Erickson, Stephen N. Freund, Madanlal Musuvathi

Proceedings of the Runtime Verification, Third International Conference, 2012

Multicore acceleration of priority-based schedulers for concurrency bug detection.

Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

End-to-end sequential consistency.

Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi

Proceedings of the 39th International Symposium on Computer Architecture (ISCA 2012), 2012

Concurrent Library Correctness on the TSO Memory Model.

Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang

Proceedings of the Programming Languages and Systems, 2012

What's Decidable about Weak Memory Models?

Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi

Proceedings of the Programming Languages and Systems, 2012

2011

Predictable and Progressive Testing of Multithreaded Code.

Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer

IEEE Softw., 2011

Practical parallel and concurrent programming.

Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub

Proceedings of the 42nd ACM technical symposium on Computer science education, 2011

Finding protocol manipulation attacks.

Nupur Kothari, Ratul Mahajan, Todd D. Millstein, Ramesh Govindan, Madanlal Musuvathi

Proceedings of the ACM SIGCOMM 2011 Conference on Applications, 2011

A case for an SC-preserving compiler.

Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Efficient processor support for DRFx, a memory model with exceptions.

Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

Preemption Sealing for Efficient Concurrency Testing.

Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

GAMBIT: effective unit testing for concurrency libraries.

Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

On the verification problem for weak memory models.

Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

DRFX: a simple and efficient memory model for concurrent programming languages.

Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Line-up: a complete and automatic linearizability checker.

Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Effective Data-Race Detection for the Kernel.

John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

Fluxo: a system for internet service programming by non-expert developers.

Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi, Kevin C. Webb

Proceedings of the 1st ACM Symposium on Cloud Computing, 2010

Verifying Local Transformations on Relaxed Memory Models.

Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh

Proceedings of the Compiler Construction, 19th International Conference, 2010

A randomized scheduler with probabilistic guarantees of finding bugs.

Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte

Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010

2009

CatchAndRetry: extending exceptions to handle distributed system failures and recovery.

Emre Kiciman, Benjamin Livshits, Madanlal Musuvathi

Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, 2009

Progress guarantee for parallel programs via bounded lock-freedom.

Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

LiteRace: effective sampling for lightweight data-race detection.

Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Deconstructing concurrency heisenbugs.

Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer

Proceedings of the 31st International Conference on Software Engineering, 2009

FLUXO: A Simple Service Compiler.

Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi

Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating Systems, 2009

Improving the responsiveness of internet services with automatic cache placement.

Alexander Rasmussen, Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi

Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009

2008

Modular difference logic is hard

Nikolaj S. Bjørner, Andreas Blass, Yuri Gurevich, Madan Musuvathi

CoRR, 2008

Fair stateless model checking.

Madanlal Musuvathi, Shaz Qadeer

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Finding and Reproducing Heisenbugs in Concurrent Programs.

Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Systematic concurrency testing using CHESS.

Madan Musuvathi

Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, 2008

Can You Fool Me? Towards Automatically Checking Protocol Gullibility.

Milan Stanojevic, Ratul Mahajan, Todd D. Millstein, Madanlal Musuvathi

Proceedings of the 7th ACM Workshop on Hot Topics in Networks, 2008

Cover Algorithms and Their Combination.

Sumit Gulwani, Madan Musuvathi

Proceedings of the Programming Languages and Systems, 2008

Effective Program Verification for Relaxed Memory Models.

Sebastian Burckhardt, Madanlal Musuvathi

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Iterative context bounding for systematic testing of multithreaded programs.

Madanlal Musuvathi, Shaz Qadeer

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2006

Using model checking to find serious file system errors.

Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi

ACM Trans. Comput. Syst., 2006

CHESS: Systematic Stress Testing of Concurrent Software.

Madan Musuvathi, Shaz Qadeer

Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

Solving Sparse Linear Constraints.

Shuvendu K. Lahiri, Madanlal Musuvathi

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005

An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals.

Shuvendu K. Lahiri, Madanlal Musuvathi

Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2005

A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover.

K. Rustan M. Leino, Madan Musuvathi, Xinming Ou

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

An Incremental Heap Canonicalization Algorithm.

Madanlal Musuvathi, David L. Dill

Proceedings of the Model Checking Software, 2005

Zap: Automated Theorem Proving for Software Analysis.

Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi

Proceedings of the Logic for Programming, 2005

An Efficient Decision Procedure for UTVPI Constraints.

Shuvendu K. Lahiri, Madanlal Musuvathi

Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

A Combination Method for Generating Interpolants.

Greta Yorsh, Madanlal Musuvathi

Proceedings of the Automated Deduction, 2005

2004

CMC: a model checker for network protocol implementations.

Madanlal Musuvathi

PhD thesis, 2004

Static Analysis versus Software Model Checking for Bug Finding.

Dawson R. Engler, Madanlal Musuvathi

Proceedings of the Verification, 2004

Using Model Checking to Find Serious File System Errors (Awarded Best Paper!).

Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi

Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

Model Checking Large Network Protocol Implementations.

Madanlal Musuvathi, Dawson R. Engler

Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI 2004), 2004

2003

Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding.

Madanlal Musuvathi, Dawson R. Engler

Proceedings of the 2003 Workshop on Software Model Checking, 2003

2002

Model checking system software with CMC.

Madanlal Musuvathi, Andy Chou, David L. Dill, Dawson R. Engler

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

CMC: A Pragmatic Approach to Model Checking Real Code.

Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill

Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002