Symbolic simulation on complicated loops for WCET path analysis. - Duc-Hiep Chu; Joxan Jaffar (EMSOFT, 2011)

A Complete Method for Symmetry Reduction in Safety Verification. - Duc-Hiep Chu; Joxan Jaffar (CAV, 2012)

Path-sensitive resource analysis compliant with assertions. - Duc-Hiep Chu; Joxan Jaffar (EMSOFT, 2013)

S3: A Symbolic String Solver for Vulnerability Detection in Web Applications. - Minh-Thai Trinh; Duc-Hiep Chu; Joxan Jaffar (CCS, 2014)

A Framework to Synergize Partial Order Reduction with State Interpolation. - Duc-Hiep Chu; Joxan Jaffar (Haifa Verification Conference, 2014)

Lazy Symbolic Execution for Enhanced Learning. - Duc-Hiep Chu; Joxan Jaffar; Vijayaraghavan Murali (RV, 2014)

Automating Proofs of Data-Structure Properties in Imperative Programs. - Duc-Hiep Chu; Joxan Jaffar; Minh-Thai Trinh (CoRR, 2014)

Automatic induction proofs of data-structures in imperative programs. - Duc-Hiep Chu; Joxan Jaffar; Minh-Thai Trinh (PLDI, 2015)

Local Reasoning with First-Class Heaps, and a New Frame Rule. - Duc-Hiep Chu; Joxan Jaffar (CoRR, 2015)

Progressive Reasoning over Recursively-Defined Strings. - Minh-Thai Trinh; Duc-Hiep Chu; Joxan Jaffar (CAV (1), 2016)

Symbolic execution for memory consumption analysis. - Duc-Hiep Chu; Joxan Jaffar; Rasool Maghareh (LCTES, 2016)

Precise Cache Timing Analysis via Symbolic Execution. - Duc-Hiep Chu; Joxan Jaffar; Rasool Maghareh (RTAS, 2016)

Incremental Quantitative Analysis on Dynamic Costs. - Duc-Hiep Chu; Joxan Jaffar; Vijayaraghavan Murali (CoRR, 2016)

Making Smart Contracts Smarter. - Loi Luu; Duc-Hiep Chu; Hrishi Olickel; Prateek Saxena; Aquinas Hobor (IACR Cryptol. ePrint Arch., 2016)

Model Counting for Recursively-Defined Strings. - Minh-Thai Trinh; Duc-Hiep Chu; Joxan Jaffar (CAV (2), 2017)

JFIX: semantics-based repair of Java programs via symbolic PathFinder. - Xuan-Bach Dinh Le 001; Duc-Hiep Chu; David Lo 001; Claire Le Goues; Willem Visser (ISSTA, 2017)

S3: syntax- and semantic-guided repair synthesis via programming by examples. - Xuan-Bach Dinh Le 001; Duc-Hiep Chu; David Lo 001; Claire Le Goues; Willem Visser (ESEC/SIGSOFT FSE, 2017)

Inter-theory dependency analysis for SMT string solvers. - Minh-Thai Trinh; Duc-Hiep Chu; Joxan Jaffar (Proc. ACM Program. Lang., 2020)