Duc-Hiep Chu

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 12

Top Topics

Dependency Analysis

Satisfiability Modulo Theories

Symbolic Execution

Top Venues

ESEC/SIGSOFT FSE

Publications

Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar
Inter-theory dependency analysis for SMT string solvers. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser
S3: syntax- and semantic-guided repair synthesis via programming by examples. ESEC/SIGSOFT FSE (2017)
Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser
JFIX: semantics-based repair of Java programs via symbolic PathFinder. ISSTA (2017)
Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar
Model Counting for Recursively-Defined Strings. CAV (2) (2017)
Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali
Incremental Quantitative Analysis on Dynamic Costs. CoRR (2016)
Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar
Progressive Reasoning over Recursively-Defined Strings. CAV (1) (2016)
Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh
Symbolic execution for memory consumption analysis. LCTES (2016)
Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas Hobor
Making Smart Contracts Smarter. CCS (2016)
Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh
Precise Cache Timing Analysis via Symbolic Execution. RTAS (2016)
Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas Hobor
Making Smart Contracts Smarter. IACR Cryptol. ePrint Arch. 2016 (2016)
Duc-Hiep Chu, Joxan Jaffar
Local Reasoning with First-Class Heaps, and a New Frame Rule. CoRR (2015)
Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh
Automatic induction proofs of data-structures in imperative programs. PLDI (2015)
Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh
Automating Proofs of Data-Structure Properties in Imperative Programs. CoRR (2014)
Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali
Lazy Symbolic Execution for Enhanced Learning. RV (2014)
Duc-Hiep Chu, Joxan Jaffar
A Framework to Synergize Partial Order Reduction with State Interpolation. CoRR (2014)
Duc-Hiep Chu, Joxan Jaffar
A Framework to Synergize Partial Order Reduction with State Interpolation. Haifa Verification Conference (2014)
Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar
S3: A Symbolic String Solver for Vulnerability Detection in Web Applications. CCS (2014)
Duc-Hiep Chu, Joxan Jaffar
Path-sensitive resource analysis compliant with assertions. EMSOFT (2013)
Duc-Hiep Chu, Joxan Jaffar
A Complete Method for Symmetry Reduction in Safety Verification. CAV (2012)
Duc-Hiep Chu, Joxan Jaffar
Symbolic simulation on complicated loops for WCET path analysis. EMSOFT (2011)