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 × France
1 × Norway
1 × USA
Collaborated with:
D.Kröning S.K.Lahiri A.Lal M.Brain P.Schrammel
Talks about:
underspecifi (1) interleav (1) properti (1) reorder (1) safeti (1) invari (1) insert (1) induct (1) driven (1) verif (1)

Person: Saurabh Joshi

DBLP DBLP: Joshi:Saurabh

Contributed to:

FM 20152015
SAS 20152015
POPL 20122012

Wrote 3 papers:

FM-2015-0001K #bound #model checking #using
Property-Driven Fence Insertion Using Reorder Bounded Model Checking (SJ, DK), pp. 291–307.
SAS-2015-Brain0KS #invariant #safety #verification
Safety Verification and Refutation by k-Invariants and k-Induction (MB, SJ, DK, PS), pp. 145–161.
POPL-2012-JoshiLL #debugging
Underspecified harnesses and interleaved bugs (SJ, SKL, AL), pp. 19–30.

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.