BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Joshi:Rajeev

Contributed to:

IFM 20102010
ASE 20082008
VMCAI 20082008
ICSE 20072007
TACAS 20062006
CAV 20032003
PLDI 20022002

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.