BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × USA
Collaborated with:
H.D.Patel S.K.Lahiri C.Hawblitzel
Talks about:
represent (1) intermedi (1) synthesi (1) rootcaus (1) abstract (1) program (1) equival (1) automat (1) machin (1) failur (1)

Person: Rohit Sinha

DBLP DBLP: Sinha:Rohit

Contributed to:

CAV 20152015
DATE 20112011

Wrote 2 papers:

CAV-2015-LahiriSH #automation #equivalence
Automatic Rootcausing for Program Equivalence Failures in Binaries (SKL, RS, CH), pp. 362–379.
DATE-2011-SinhaP #representation #state machine #synthesis
Abstract state machines as an intermediate representation for high-level synthesis (RS, HDP), pp. 1406–1411.

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.