Recent/Unpublished Work

  1. Automatic Reasoning on Recursive Data Structures with Sharing
    Duc-Hiep Chu and Joxan Jaffar.
    [abstract] [ arXiv ] [ Draft PDF ]

  2. Bounded Verification and Testing of Heap Programs
    Duc-Hiep Chu, Joxan Jaffar, and Andrew E. Santosa

  3. S3N: An Efficient Native String Theory Solver for Z3
    Minh-Thai Trinh, Duc-Hiep Chu, and Joxan Jaffar

  4. Incremental Quantitative Analysis on Dynamic Costs
    Duc-Hiep Chu, Joxan Jaffar, and Vijay Murali.
    [abstract] [ arXiv ] [ Draft PDF ]

  5. Peer-Reviewed Publications

  6. S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples
    Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Wilem Visser.
    ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'17).
    [abstract] [ Paper PDF ]

  7. JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder
    Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Wilem Visser.
    ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'17). Tool Demo.
    [abstract] [ Paper PDF ]

  8. Model Counting for Recursively-Defined Strings
    Minh-Thai Trinh, Duc-Hiep Chu, and Joxan Jaffar.
    29th International Conference on Computer Aided Verification (CAV'17).
    [abstract] [ Paper PDF ]

  9. Making Smart Contracts Smarter
    Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas Hobor
    23rd ACM SIGSAC Conference on Computer and Communications Security (CCS'16).
    [abstract] [ Paper PDF ]

  10. Progressive Reasoning over Recursively-Defined Strings
    Minh-Thai Trinh, Duc-Hiep Chu, and Joxan Jaffar.
    28th International Conference on Computer Aided Verification (CAV'16).
    [abstract] [ Paper PDF ]

  11. Symbolic Execution for Memory Consumption Analysis
    Duc-Hiep Chu, Joxan Jaffar, and Rasool Maghareh.
    17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES'16).
    [abstract] [ Paper PDF ] [ Slides PDF ]

  12. Precise Cache Timing Analysis via Symbolic Execution
    Duc-Hiep Chu, Joxan Jaffar, and Rasool Maghareh.
    22nd IEEE Real-Time Embedded Technology and Applications Symposium (RTAS'16).
    [abstract] [ Paper PDF ]

  13. Automatic Induction Proofs of Data-Structures in Imperative Programs
    Duc-Hiep Chu, Joxan Jaffar, and Minh-Thai Trinh.
    36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'15). [abstract] [ Paper PDF ] [ Slides PDF ] [errata]

  14. A Framework to Synergize Partial Order Reduction with State Interpolation
    Duc-Hiep Chu and Joxan Jaffar.
    10th Haifa Verification Conference (HVC'14).
    [abstract] [ Paper PDF ] [ Slides PDF ] [ Report PDF ]

  15. S3: A Symbolic String Solver for Vulnerability Detection in Web Applications
    Minh-Thai Trinh, Duc-Hiep Chu, and Joxan Jaffar.
    21st ACM SIGSAC Conference on Computer and Communications Security (CCS'14).
    [abstract] [ Paper PDF ]

  16. Lazy Symbolic Execution for Enhanced Learning
    Duc-Hiep Chu, Joxan Jaffar, and Vijayaraghavan Murali.
    14th International Conference on Runtime Verification (RV'14).
    [abstract] [ Paper PDF ]

  17. Path-Sensitive Resource Analysis Compliant with Assertions
    Duc-Hiep Chu and Joxan Jaffar.
    13th International Conference on Embedded Software (EMSOFT'13).
    [abstract] [ Paper PDF ] [ Slides PDF ]

  18. A Complete Method for Symmetry Reduction in Safety Verification
    Duc-Hiep Chu and Joxan Jaffar.
    24th International Conference on Computer Aided Verification (CAV'12).
    [abstract] [ Paper PDF ] [ Slides PDF ]

  19. Symbolic Simulation on Complicated Loops for WCET Path Analysis
    Duc-Hiep Chu and Joxan Jaffar.
    11th International Conference on Embedded Software (EMSOFT'11).
    [abstract] [ Paper PDF ] [ Slides PDF ]

    Others

  • Interpolation Methods for Symbolic Execution
    Duc Hiep Chu.
    Doctor of Philosophy Dissertation, National University of Singapore, Mar 2013
    [ Dissertation PDF ] [ Slides PDF ]

  • Exploiting Similarities for State Space Reduction
    Duc-Hiep Chu, and Joxan Jaffar.
    5th Workshop on Exploiting Concurrency Efficiently and Correctly ((EC)2 2012), Invited.

  • A Rule-Based Specification of Software Transactional Memory
    Martin Sulzmann, Duc Hiep Chu.
    18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'08).
    Pre-proceedings.
    [abstract] [ Paper PDF ]