BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
J.Jaffar M.Trinh X.D.Le D.L.0001 C.L.Goues W.Visser
Talks about:
program (2) string (2) recurs (2) defin (2) synthesi (1) symmetri (1) structur (1) progress (1) complet (1) automat (1)

Person: Duc-Hiep Chu

DBLP DBLP: Chu:Duc=Hiep

Contributed to:

PLDI 20152015
CAV 20122012
ESEC/FSE 20172017
CAV (1) 20162016
CAV (2) 20172017

Wrote 5 papers:

PLDI-2015-ChuJT #automation #imperative #induction #proving #source code
Automatic induction proofs of data-structures in imperative programs (DHC, JJ, MTT), pp. 457–466.
CAV-2012-ChuJ #reduction #safety #symmetry #verification
A Complete Method for Symmetry Reduction in Safety Verification (DHC, JJ), pp. 616–633.
ESEC-FSE-2017-LeCLGV #named #programming #semantics #synthesis
S3: syntax- and semantic-guided repair synthesis via programming by examples (XBDL, DHC, DL0, CLG, WV), pp. 593–604.
CAV-2016-TrinhCJ #reasoning #recursion #string
Progressive Reasoning over Recursively-Defined Strings (MTT, DHC, JJ), pp. 218–240.
CAV-2017-TrinhCJ #recursion #string
Model Counting for Recursively-Defined Strings (MTT, DHC, JJ), pp. 399–418.

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.