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: Chu:Duc=Hiep
Contributed to:
2015
2012
201720162017Wrote 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.