Duc-Hiep Chu

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