| 2017 | CAV | Model Counting for Recursively-Defined Strings. | Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar |
| 2017 | ISSTA | JFIX: semantics-based repair of Java programs via symbolic PathFinder. | Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser |
| 2016 | CAV | Progressive Reasoning over Recursively-Defined Strings. | Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar |
| 2016 | CCS | Making Smart Contracts Smarter. | Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas Hobor |
| 2016 | RTAS | Precise Cache Timing Analysis via Symbolic Execution. | Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh |
| 2015 | PLDI | Automatic induction proofs of data-structures in imperative programs. | Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh |
| 2014 | CCS | S3: A Symbolic String Solver for Vulnerability Detection in Web Applications. | Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar |
| 2014 | RV | Lazy Symbolic Execution for Enhanced Learning. | Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali |
| 2013 | EMSOFT | Path-sensitive resource analysis compliant with assertions. | Duc-Hiep Chu, Joxan Jaffar |
| 2012 | CAV | A Complete Method for Symmetry Reduction in Safety Verification. | Duc-Hiep Chu, Joxan Jaffar |
| 2011 | EMSOFT | Symbolic simulation on complicated loops for WCET path analysis. | Duc-Hiep Chu, Joxan Jaffar |