| 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 | 2735 | 2016 |
| 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 | 293 | 2017 |
| 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 | 175 | 2014 |
| 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 | 94 | 2017 |
| Progressive reasoning over recursively-defined strings MT Trinh, DH Chu, J Jaffar Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 74 | 2016 |
| Automatic Induction Proofs of Data-Structures in Imperative Programs DH Chu, J Jaffar, MT Trinh PLDI, 2015 | 58 | 2015 |
| Model counting for recursively-defined strings MT Trinh, DH Chu, J Jaffar Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 33 | 2017 |
| 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 | 33 | 2016 |
| Symbolic simulation on complicated loops for WCET path analysis DH Chu, J Jaffar Proceedings of the ninth ACM international conference on Embedded software …, 2011 | 33 | 2011 |
| A complete method for symmetry reduction in safety verification DH Chu, J Jaffar Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 21 | 2012 |
| A Framework to Synergize Partial Order Reduction with State Interpolation DH Chu, J Jaffar Proceedings of 2014 Haifa Verification Conference (HVC), 171-187, 2014 | 15 | 2014 |
| Lazy Symbolic Execution for Enhanced Learning DH Chu, J Jaffar, V Murali Proceedings of 2014 International Conference on Runtime Verification (RV …, 2014 | 9 | 2014 |
| Symbolic execution for memory consumption analysis DH Chu, J Jaffar, R Maghareh Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages …, 2016 | 8 | 2016 |
| 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 | 5 | 2020 |
| Path-sensitive resource analysis compliant with assertions DH Chu, J Jaffar 2013 Proceedings of the International Conference on Embedded Software …, 2013 | 4 | 2013 |
| A Rule-Based Specification of Software Transactional Memory M Sulzmann, DH Chu Pre-Proceedings of LOPSTR 2008, 181, 2008 | 4 | 2008 |
| Interpolation Methods for Symbolic Execution DH Chu National University of Singapore, 2012 | 2 | 2012 |
| Local reasoning with first-class heaps, and a new frame rule DH Chu, J Jaffar CoRR, 2015 | 1 | 2015 |
| 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 |
Joxan JaffarNational University of SingaporeVerificeret mail på comp.nus.edu.sg