关注
Duc Hiep Chu
Duc Hiep Chu
Software Engineer, Google LLC.
在 google.com 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
24352016
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
2602017
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
1642014
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
862017
Progressive reasoning over recursively-defined strings
MT Trinh, DH Chu, J Jaffar
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
692016
Automatic Induction Proofs of Data-Structures in Imperative Programs
DH Chu, J Jaffar, MT Trinh
PLDI, 2015
542015
Symbolic simulation on complicated loops for WCET path analysis
DH Chu, J Jaffar
Proceedings of the ninth ACM international conference on Embedded software …, 2011
342011
Model counting for recursively-defined strings
MT Trinh, DH Chu, J Jaffar
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
312017
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
292016
A complete method for symmetry reduction in safety verification
DH Chu, J Jaffar
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
192012
A Framework to Synergize Partial Order Reduction with State Interpolation
DH Chu, J Jaffar
Proceedings of 2014 Haifa Verification Conference (HVC), 171-187, 2014
152014
Lazy Symbolic Execution for Enhanced Learning
DH Chu, J Jaffar, V Murali
Proceedings of 2014 International Conference on Runtime Verification (RV …, 2014
102014
Symbolic execution for memory consumption analysis
DH Chu, J Jaffar, R Maghareh
Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages …, 2016
82016
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
52020
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
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
系统目前无法执行此操作,请稍后再试。
文章 1–20