Concepedia

Duc-Hiep Chu

DC

Statistics

Publications

7

Citations

2.7K

H-Index

7

Active since

2011

Affiliations

National University of Singapore(Current)

Carnegie Mellon University

Institute of Science and Technology Austria

Stellenbosch University

Singapore Management University

Duc-Hiep Chu is an author at National University of Singapore specializing in engineering, computer science, and formal methods.

Top concepts

Publications per year

2011–2017

7

Publications

7

Making Smart Contracts Smarter

Loi Luu, Duc-Hiep Chu, Hrishi Olickel et al. · 2016 · 2.2K citations

, , +21

S3: syntax- and semantic-guided repair synthesis via programming by examples

Xuan-Bach D. Le, Duc-Hiep Chu, David Lo et al. · 2017 · 217 citations

S3

Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar · 2014 · 127 citations

, , +14

JFIX: semantics-based repair of Java programs via symbolic PathFinder

Xuan-Bach D. Le, Duc-Hiep Chu, David Lo et al. · 2017 · 68 citations

, , +19

Automatic induction proofs of data-structures in imperative programs

Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh · 2015 · 40 citations

, , +17

1–5 of 7