Travelled to:1 × China
1 × France
1 × India
1 × Ireland
1 × Spain
14 × USA
2 × Canada
2 × Cyprus
2 × Estonia
Collaborated with:S.Burckhardt T.Mytkowicz S.Qadeer T.D.Millstein D.R.Engler D.Marino S.Narayanasamy Lun Liu A.Singh K.E.Coons ∅ M.F.Atig A.Bouajjani S.Nagarakatte S.K.Lahiri G.Yorsh S.Maleki Y.Ding X.Shen T.Ball V.Raychev W.Schulte V.Singh E.Petrank B.Steensgaard A.Gotsman H.Yang M.M.K.Martin P.Kothari J.Erickson K.Olynyk C.Dern R.Tan J.Yang P.Twohey M.A.Gulzar S.Mardani M.Kim Y.Zhao D.Y.W.Park A.Chou D.L.Dill G.Basler P.A.Nainar I.Neamtiu D.Garbervetsky Z.Pavlinovic M.B.0001 E.Zoppi R.Dathathri O.Saarikivi Hao Chen 0030 Kim Laine Kristin E. Lauter
Talks about:model (12) memori (8) program (6) concurr (6) data (5) parallel (4) effect (4) check (4) test (4) find (4)
Person: Madanlal Musuvathi
DBLP: Musuvathi:Madanlal
Contributed to:
2015
2015
2015
2014
2014
2013
2012
2012201120112010
2010
20102010
20102010
20102009
2008200820082007
2006
20052004
20042002
20172019
20172019Wrote 35 papers:
- ICML-2015-DingZSMM #consistency
- Yinyang K-Means: A Drop-In Replacement of the Classic K-Means with Consistent Speedup (YD, YZ, XS, MM, TM), pp. 579–587.
- SOSP-2015-RaychevMM #execution #symbolic computation #using
- Parallelizing user-defined aggregations using symbolic execution (VR, MM, TM), pp. 153–167.
- VLDB-2015-DingSMM #algorithm #framework #named #optimisation #problem
- TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems (YD, XS, MM, TM), pp. 1046–1057.
- ASPLOS-2014-MytkowiczMS #finite #state machine
- Data-parallel finite-state machines (TM, MM, WS), pp. 529–542.
- PPoPP-2014-MalekiMM #convergence #programming #rank
- Parallelizing dynamic programming through rank convergence (SM, MM, TM), pp. 219–232.
- ISMM-2013-Musuvathi #approach #consistency #memory management #modelling
- Safety-first approach to memory consistency models (MM), pp. 1–2.
- ESOP-2012-AtigBBM #decidability #memory management #modelling #question #what
- What’s Decidable about Weak Memory Models? (MFA, AB, SB, MM), pp. 26–46.
- ESOP-2012-BurckhardtGMY #concurrent #correctness #library #memory management
- Concurrent Library Correctness on the TSO Memory Model (SB, AG, MM, HY), pp. 87–107.
- PLDI-2012-NagarakatteBMM #concurrent #debugging #detection #manycore
- Multicore acceleration of priority-based schedulers for concurrency bug detection (SN, SB, MMKM, MM), pp. 543–554.
- ASPLOS-2011-SinghMNMM #exception #memory management #performance
- Efficient processor support for DRFx, a memory model with exceptions (AS, DM, SN, TDM, MM), pp. 53–66.
- PLDI-2011-MarinoSMMN #compilation
- A case for an SC-preserving compiler (DM, AS, TDM, MM, SN), pp. 199–210.
- ASPLOS-2010-BurckhardtKMN #debugging #probability #random
- A randomized scheduler with probabilistic guarantees of finding bugs (SB, PK, MM, SN), pp. 167–178.
- CC-2010-BurckhardtMS #memory management #modelling #verification
- Verifying Local Transformations on Relaxed Memory Models (SB, MM, VS), pp. 104–123.
- OSDI-2010-EricksonMBO #concurrent #detection #effectiveness #kernel
- Effective Data-Race Detection for the Kernel (JE, MM, SB, KO), pp. 151–162.
- PLDI-2010-BurckhardtDMT #automation #named
- Line-up: a complete and automatic linearizability checker (SB, CD, MM, RT), pp. 330–340.
- PLDI-2010-MarinoSMMN #concurrent #memory management #named #performance #programming language
- DRFX: a simple and efficient memory model for concurrent programming languages (DM, AS, TDM, MM, SN), pp. 351–362.
- POPL-2010-AtigBBM #memory management #modelling #on the #problem #verification
- On the verification problem for weak memory models (MFA, AB, SB, MM), pp. 7–18.
- PPoPP-2010-CoonsBM #concurrent #effectiveness #library #named #testing
- GAMBIT: effective unit testing for concurrency libraries (KEC, SB, MM), pp. 15–24.
- TACAS-2010-BallBCMQ #concurrent #performance #testing
- Preemption Sealing for Efficient Concurrency Testing (TB, SB, KEC, MM, SQ), pp. 420–434.
- PLDI-2009-MarinoMN #concurrent #detection #effectiveness #lightweight #named
- LiteRace: effective sampling for lightweight data-race detection (DM, MM, SN), pp. 134–143.
- PLDI-2009-PetrankMS #bound #parallel #source code
- Progress guarantee for parallel programs via bounded lock-freedom (EP, MM, BS), pp. 144–154.
- CAV-2008-BurckhardtM #effectiveness #memory management #modelling #verification
- Effective Program Verification for Relaxed Memory Models (SB, MM), pp. 107–120.
- OSDI-2008-MusuvathiQBBNN #concurrent #source code
- Finding and Reproducing Heisenbugs in Concurrent Programs (MM, SQ, TB, GB, PAN, IN), pp. 267–280.
- PLDI-2008-MusuvathiQ #model checking
- Fair stateless model checking (MM, SQ), pp. 362–371.
- PLDI-2007-MusuvathiQ #bound #parallel #source code #testing #thread
- Iterative context bounding for systematic testing of multithreaded programs (MM, SQ), pp. 446–455.
- IJCAR-2006-LahiriM #constraints #linear
- Solving Sparse Linear Constraints (SKL, MM), pp. 468–482.
- CADE-2005-YorshM #generative
- A Combination Method for Generating Interpolants (GY, MM), pp. 353–368.
- OSDI-2004-YangTEM #fault #file system #model checking #using
- Using Model Checking to Find Serious File System Errors (JY, PT, DRE, MM), pp. 273–288.
- VMCAI-2004-EnglerM #debugging #model checking #static analysis
- Static Analysis versus Software Model Checking for Bug Finding (DRE, MM), pp. 191–210.
- OSDI-2002-MusuvathiPCED #approach #model checking #named
- CMC: A Pragmatic Approach to Model Checking Real Code (MM, DYWP, AC, DRE, DLD), pp. 75–88.
- ESEC-FSE-2017-GarbervetskyP0M #big data #optimisation #query #static analysis
- Static analysis for optimizing big data queries (DG, ZP, MB0, MM, TM, EZ), pp. 932–937.
- ESEC-FSE-2019-GulzarMMK #big data #data analysis #testing
- White-box testing of big data analytics with complex user-defined functions (MAG, SM, MM, MK), pp. 290–301.
- OOPSLA-2017-LiuMM #virtual machine
- A volatile-by-default JVM for server applications (LL, TDM, MM), p. 25.
- PLDI-2019-DathathriS0LLMM #compilation #named #optimisation
- CHET: an optimizing compiler for fully-homomorphic neural-network inferencing (RD, OS, HC0, KL, KEL, SM, MM, TM), pp. 142–156.
- PLDI-2019-LiuMM #compilation #consistency #java
- Accelerating sequential consistency for Java with speculative compilation (LL, TDM, MM), pp. 16–30.