Madan Musuvathi

Orcid: 0000-0002-2482-7892

Affiliations:
  • Microsoft Research


According to our database1, Madan Musuvathi authored at least 113 papers between 2002 and 2024.

Collaborative distances:
  • Dijkstra number2 of three.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
LLM-Vectorizer: LLM-based Verified Loop Vectorizer.
CoRR, 2024

Exploring the Effectiveness of LLM based Test-driven Interactive Code Generation: User Study and Empirical Evaluation.
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions.
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.
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.
CoRR, 2023

TACCL: Guiding Collective Algorithm Synthesis using Communication Sketches.
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?
Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

WAFFLE: Exposing Memory Ordering Bugs Efficiently with Active Delay Injection.
Proceedings of the Eighteenth European Conference on Computer Systems, 2023

Ranking LLM-Generated Loop Invariants for Program Verification.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

MSCCLang: Microsoft Collective Communication Language.
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.
CoRR, 2022

MSCCL: Microsoft Collective Communication Library.
CoRR, 2022

Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures.
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

Fault-Aware Neural Code Rankers.
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.
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.
ACM Trans. Program. Lang. Syst., 2021

Synthesizing Collective Communication Algorithms for Heterogeneous Networks with TACCL.
CoRR, 2021

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

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

Scaling Distributed Training with Adaptive Summation.
Proceedings of the Fourth Conference on Machine Learning and Systems, 2021

Distributed Training of Embeddings using Graph Analytics.
Proceedings of the 35th IEEE International Parallel and Distributed Processing Symposium, 2021

SherLock: unsupervised synchronization-operation inference.
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.
CoRR, 2020

EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation.
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.
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.
CoRR, 2019

Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines.
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing.
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

White-box testing of big data analytics with complex user-defined functions.
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.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

CHET: an optimizing compiler for fully-homomorphic neural-network inferencing.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

What bugs cause production cloud incidents?
Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

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

Troubleshooting Transiently-Recurring Errors in Production Systems with Blame-Proportional Logging.
Proceedings of the 2018 USENIX Annual Technical Conference, 2018

Semantics-Preserving Parallelization of Stochastic Gradient Descent.
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium, 2018

Cross-language optimizations in big data systems: a case study of SCOPE.
Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018

2017
A volatile-by-default JVM for server applications.
Proc. ACM Program. Lang., 2017

Parallel Stochastic Gradient Descent with Sound Combiners.
CoRR, 2017

Static analysis for optimizing big data queries.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap.
Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

Fusing effectful comprehensions.
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.
ACM Trans. Program. Lang. Syst., 2016

Low-Rank Methods for Parallelizing Dynamic Programming Algorithms.
ACM Trans. Parallel Comput., 2016

Efficient parallelization using rank convergence in dynamic programming algorithms.
Commun. ACM, 2016

2DFQ: Two-Dimensional Fair Queuing for Multi-Tenant Cloud Services.
Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Parallelizing WFST speech decoders.
Proceedings of the 2016 IEEE International Conference on Acoustics, 2016

2015
TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems.
Proc. VLDB Endow., 2015

Systematically Exploring the Behavior of Control Programs.
Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Parallelizing user-defined aggregations using symbolic execution.
Proceedings of the 25th Symposium on Operating Systems Principles, 2015

The Silently Shifting Semicolon.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Retro: Targeted Resource Management in Multi-tenant Distributed Systems.
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

Kahawai: High-Quality Mobile Gaming Using GPU Offload.
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.
Proceedings of the 32nd International Conference on Machine Learning, 2015

Failure Sketches: A Better Way to Debug.
Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

2014
Efficient Tracing of Cold Code via Bias-Free Sampling.
Proceedings of the 2014 USENIX Annual Technical Conference, 2014

Parallelizing dynamic programming through rank convergence.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Demo: Kahawai: high-quality mobile gaming using GPU offload.
Proceedings of the 12th Annual International Conference on Mobile Systems, 2014

Towards General-Purpose Resource Management in Shared Cloud Services.
Proceedings of the 10th Workshop on Hot Topics in System Dependability, 2014

Data-parallel finite-state machines.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013
A Safety-First Approach to Memory Models.
IEEE Micro, 2013

Bounded partial-order reduction.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Safety-first approach to memory consistency models.
Proceedings of the International Symposium on Memory Management, 2013

Failure Recovery: When the Cure Is Worse Than the Disease.
Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

2012
Show No Weakness: Sequentially Consistent Specifications of TSO Libraries.
Proceedings of the Distributed Computing - 26th International Symposium, 2012

Dynamic Analyses for Data-Race Detection.
Proceedings of the Runtime Verification, Third International Conference, 2012

Multicore acceleration of priority-based schedulers for concurrency bug detection.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

End-to-end sequential consistency.
Proceedings of the 39th International Symposium on Computer Architecture (ISCA 2012), 2012

Concurrent Library Correctness on the TSO Memory Model.
Proceedings of the Programming Languages and Systems, 2012

What's Decidable about Weak Memory Models?
Proceedings of the Programming Languages and Systems, 2012

2011
Predictable and Progressive Testing of Multithreaded Code.
IEEE Softw., 2011

Practical parallel and concurrent programming.
Proceedings of the 42nd ACM technical symposium on Computer science education, 2011

Finding protocol manipulation attacks.
Proceedings of the ACM SIGCOMM 2011 Conference on Applications, 2011

A case for an SC-preserving compiler.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Efficient processor support for DRFx, a memory model with exceptions.
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010
Preemption Sealing for Efficient Concurrency Testing.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

GAMBIT: effective unit testing for concurrency libraries.
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

On the verification problem for weak memory models.
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.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Line-up: a complete and automatic linearizability checker.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Effective Data-Race Detection for the Kernel.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

Fluxo: a system for internet service programming by non-expert developers.
Proceedings of the 1st ACM Symposium on Cloud Computing, 2010

Verifying Local Transformations on Relaxed Memory Models.
Proceedings of the Compiler Construction, 19th International Conference, 2010

A randomized scheduler with probabilistic guarantees of finding bugs.
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.
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, 2009

Progress guarantee for parallel programs via bounded lock-freedom.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

LiteRace: effective sampling for lightweight data-race detection.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Deconstructing concurrency heisenbugs.
Proceedings of the 31st International Conference on Software Engineering, 2009

FLUXO: A Simple Service Compiler.
Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating Systems, 2009

Improving the responsiveness of internet services with automatic cache placement.
Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009

2008
Modular difference logic is hard
CoRR, 2008

Fair stateless model checking.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Finding and Reproducing Heisenbugs in Concurrent Programs.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Systematic concurrency testing using CHESS.
Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, 2008

Can You Fool Me? Towards Automatically Checking Protocol Gullibility.
Proceedings of the 7th ACM Workshop on Hot Topics in Networks, 2008

Cover Algorithms and Their Combination.
Proceedings of the Programming Languages and Systems, 2008

Effective Program Verification for Relaxed Memory Models.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
Iterative context bounding for systematic testing of multithreaded programs.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2006
Using model checking to find serious file system errors.
ACM Trans. Comput. Syst., 2006

CHESS: Systematic Stress Testing of Concurrent Software.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

Solving Sparse Linear Constraints.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals.
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.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

An Incremental Heap Canonicalization Algorithm.
Proceedings of the Model Checking Software, 2005

Zap: Automated Theorem Proving for Software Analysis.
Proceedings of the Logic for Programming, 2005

An Efficient Decision Procedure for UTVPI Constraints.
Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

A Combination Method for Generating Interpolants.
Proceedings of the Automated Deduction, 2005

2004
CMC: a model checker for network protocol implementations.
PhD thesis, 2004

Static Analysis versus Software Model Checking for Bug Finding.
Proceedings of the Verification, 2004

Using Model Checking to Find Serious File System Errors (Awarded Best Paper!).
Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

Model Checking Large Network Protocol Implementations.
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.
Proceedings of the 2003 Workshop on Software Model Checking, 2003

2002
Model checking system software with CMC.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

CMC: A Pragmatic Approach to Model Checking Real Code.
Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002


  Loading...