`Travelled to:`

1 × Austria

1 × France

1 × Germany

1 × Italy

3 × USA

`Collaborated with:`

A.Groce G.J.Holzmann ∅ G.Nelson K.H.Randall C.Flanagan X.Ou J.B.Saxe

`Talks about:`

program (2) analysi (2) verif (2) superoptim (1) differenti (1) theorem (1) exploit (1) random (1) prelud (1) miracl (1)

## Person: Rajeev Joshi

### DBLP: Joshi:Rajeev

### Contributed to:

### Wrote 7 papers:

- IFM-2010-Joshi #programming
- Programming with Miracles (RJ), p. 27.
- ASE-2008-HolzmannJG #verification
- Swarm Verification (GJH, RJ, AG), pp. 1–6.
- VMCAI-2008-GroceJ #dynamic analysis #model checking
- Extending Model Checking with Dynamic Analysis (AG, RJ), pp. 142–156.
- ICSE-2007-GroceHJ #difference #random #testing #verification
- Randomized Differential Testing as a Prelude to Formal Verification (AG, GJH, RJ), pp. 621–631.
- TACAS-2006-GroceJ #program analysis
- Exploiting Traces in Program Analysis (AG, RJ), pp. 379–393.
- CAV-2003-FlanaganJOS #lazy evaluation #proving #theorem proving #using
- Theorem Proving Using Lazy Proof Explication (CF, RJ, XO, JBS), pp. 355–367.
- PLDI-2002-JoshiNR #named
- Denali: A Goal-directed Superoptimizer (RJ, GN, KHR), pp. 304–314.