Travelled to:1 × Hungary
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:S.Gulwani S.Qadeer K.E.Coons K.S.McKinley K.R.M.Leino X.Ou O.Saarikivi M.Veanes T.Mytkowicz
Talks about:comprehens (1) algorithm (1) techniqu (1) systemat (1) quantifi (1) theorem (1) support (1) softwar (1) partial (1) concurr (1)
Person: Madan Musuvathi
DBLP: Musuvathi:Madan
Contributed to:
2013
2008
2006
2005
2017Wrote 5 papers:
- OOPSLA-2013-CoonsMM #bound #partial order #reduction
- Bounded partial-order reduction (KEC, MM, KSM), pp. 833–848.
- ESOP-2008-GulwaniM #algorithm
- Cover Algorithms and Their Combination (SG, MM), pp. 193–207.
- LOPSTR-2006-MusuvathiQ #concurrent #named #testing
- CHESS: Systematic Stress Testing of Concurrent Software (MM, SQ), pp. 15–16.
- TACAS-2005-LeinoMO #proving #quantifier #theorem proving
- A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover (KRML, MM, XO), pp. 334–348.
- PLDI-2017-SaarikiviVMM
- Fusing effectful comprehensions (OS, MV, TM, MM), pp. 17–32.