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
10662016
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
1322017
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
1182014
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
532017
Progressive reasoning over recursively-defined strings
MT Trinh, DH Chu, J Jaffar
International Conference on Computer Aided Verification, 218-240, 2016
502016
Automatic Induction Proofs of Data-Structures in Imperative Programs
DH Chu, J Jaffar, MT Trinh
PLDI, 2015
402015
Symbolic simulation on complicated loops for WCET path analysis
DH Chu, J Jaffar
Proceedings of the ninth ACM international conference on Embedded software …, 2011
272011
Precise cache timing analysis via symbolic execution
DH Chu, J Jaffar, R Maghareh
Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016 …, 2016
222016
Model Counting for Recursively-Defined Strings
MT Trinh, DH Chu, J Jaffar
International Conference on Computer Aided Verification, 399-418, 2017
192017
A complete method for symmetry reduction in safety verification
DH Chu, J Jaffar
International Conference on Computer Aided Verification, 616-633, 2012
172012
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
ACM SIGPLAN Notices 51 (5), 62-71, 2016
62016
Path-sensitive resource analysis compliant with assertions
DH Chu, J Jaffar
Proceedings of the Eleventh ACM International Conference on Embedded …, 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
arXiv preprint arXiv:1511.07267, 2015
12015
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
Local Reasoning on Recursive Data Structures
DUCH CHU, J JAFFAR
The system can't perform the operation now. Try again later.
Articles 1–20