`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:

### Wrote 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.