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 | 118 | 2014 |
Progressive reasoning over recursively-defined strings MT Trinh, DH Chu, J Jaffar International Conference on Computer Aided Verification, 218-240, 2016 | 50 | 2016 |
Automatic induction proofs of data-structures in imperative programs DH Chu, J Jaffar, MT Trinh Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015 | 40 | 2015 |
Bi-Abduction with Pure Properties for Specification Inference MT Trinh, QL Le, C David, WN Chin Programming Languages and Systems, 107-123, 2013 | 20 | 2013 |
Model counting for recursively-defined strings MT Trinh, DH Chu, J Jaffar International Conference on Computer Aided Verification, 399-418, 2017 | 19 | 2017 |
FixBag: A Fixpoint Calculator for Quantified Bag Constraints TH Pham, MT Trinh, AH Truong, WN Chin International Conference on Computer Aided Verification, 656-662, 2011 | 17 | 2011 |
Towards a unified proof framework for automated fixpoint reasoning using matching logic X Chen, MT Trinh, N Rodrigues, L Peña, G Roşu Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020 | 1 | 2020 |
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 |