Duc Hiep Chu
Duc Hiep Chu
Software Engineer, Google LLC.
No verified email - Homepage
Title
Cited by
Cited by
Year
Making smart contracts smarter
L Luu, DH Chu, H Olickel, P Saxena, A Hobor
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
13082016
S3: syntax-and semantic-guided repair synthesis via programming by examples
XBD Le, DH Chu, D Lo, C Le Goues, W Visser
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
1532017
S3: A Symbolic String Solver for Vulnerability Detection in Web Applications
MT Trinh, DH Chu, J Jaffar
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014
1232014
JFIX: semantics-based repair of Java programs via symbolic PathFinder
XBD Le, DH Chu, D Lo, C Le Goues, W Visser
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
542017
Progressive reasoning over recursively-defined strings
MT Trinh, DH Chu, J Jaffar
International Conference on Computer Aided Verification, 218-240, 2016
532016
Automatic Induction Proofs of Data-Structures in Imperative Programs
DH Chu, J Jaffar, MT Trinh
PLDI, 2015
392015
Symbolic simulation on complicated loops for WCET path analysis
DH Chu, J Jaffar
2011 Proceedings of the Ninth ACM International Conference on Embedded …, 2011
272011
Precise cache timing analysis via symbolic execution
DH Chu, J Jaffar, R Maghareh
2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2016
242016
Model Counting for Recursively-Defined Strings
MT Trinh, DH Chu, J Jaffar
International Conference on Computer Aided Verification, 399-418, 2017
212017
A complete method for symmetry reduction in safety verification
DH Chu, J Jaffar
International Conference on Computer Aided Verification, 616-633, 2012
182012
A Framework to Synergize Partial Order Reduction with State Interpolation
DH Chu, J Jaffar
Proceedings of 2014 Haifa Verification Conference (HVC), 171-187, 2014
102014
Lazy Symbolic Execution for Enhanced Learning
DH Chu, J Jaffar, V Murali
Proceedings of 2014 International Conference on Runtime Verification (RV …, 2014
92014
Symbolic execution for memory consumption analysis
DH Chu, J Jaffar, R Maghareh
Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages …, 2016
62016
Path-sensitive resource analysis compliant with assertions
DH Chu, J Jaffar
2013 Proceedings of the International Conference on Embedded Software …, 2013
42013
A Rule-Based Specification of Software Transactional Memory
M Sulzmann, DH Chu
Pre-Proceedings of LOPSTR 2008, 181, 2008
42008
Interpolation Methods for Symbolic Execution
DH Chu
National University of Singapore, 2012
22012
Local reasoning with first-class heaps, and a new frame rule
DH Chu, J Jaffar
CoRR, 2015
12015
Inter-theory dependency analysis for SMT string solvers
MT Trinh, DH Chu, J Jaffar
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-27, 2020
2020
Incremental Quantitative Analysis on Dynamic Costs
DH Chu, J Jaffar, V Murali
arXiv preprint arXiv:1607.02238, 2016
2016
Automatic Reasoning on Recursive Data-Structures with Sharing
DH Chu, J Jaffar
arXiv preprint arXiv:1511.07267, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–20