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 × USA
Collaborated with:
V.D'Silva D.Song M.Chandramohan Y.Xue Z.Xu Y.L.0003 H.B.K.Tan
Talks about:
cross (2) architectur (1) composit (1) program (1) search (1) binari (1) world (1) model (1) check (1) bound (1)

Person: Chia Yuan Cho

DBLP DBLP: Cho:Chia_Yuan

Contributed to:

ASE 20132013
FSE 20162016

Wrote 2 papers:

ASE-2013-ChoDS #bound #composition #model checking #named #source code
BLITZ: Compositional bounded model checking for real-world programs (CYC, VD, DS), pp. 136–146.
FSE-2016-ChandramohanXXL #architecture #named
BinGo: cross-architecture cross-OS binary search (MC, YX, ZX, YL0, CYC, HBKT), pp. 678–689.

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.