Madan Musuvathi

According to our database1, Madan Musuvathi authored at least 80 papers between 2002 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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
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.
PACMPL, 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
DRFx: 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.
TOPC, 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.
PVLDB, 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 Software, 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
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

An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals.
Electr. Notes Theor. Comput. Sci., 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
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
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.
Electr. Notes Theor. Comput. Sci., 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...