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 computing, computer science, and computer engineering.

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

Computing, Computer Science, Information Technology +14

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

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

Computing, Computer Engineering, Computer Science +13

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

Computing, Computer Engineering, Computer Science +17

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

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

Computing, Computer Science, Programming Languages +12

Automatic induction proofs of data-structures in imperative programs

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

Computing, Computer Science, Formal Methods +16

1–5 of 7