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: Sinha:Rohit
Contributed to:
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.