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: Cho:Chia_Yuan
Contributed to:
2013
2016Wrote 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.