`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:

### 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.