Minh-Thai Trinh
Minh-Thai Trinh
Research Scientist, ADSC, Illinois at Singapore
Verified email at illinois.edu - Homepage
Title
Cited by
Cited by
Year
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
1342014
Progressive reasoning over recursively-defined strings
MT Trinh, DH Chu, J Jaffar
International Conference on Computer Aided Verification, 218-240, 2016
602016
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
412015
Model counting for recursively-defined strings
MT Trinh, DH Chu, J Jaffar
International Conference on Computer Aided Verification, 399-418, 2017
222017
Bi-Abduction with Pure Properties for Specification Inference
MT Trinh, QL Le, C David, WN Chin
Programming Languages and Systems, 107-123, 2013
212013
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
172011
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
92020
Towards a Trustworthy Semantics-Based Language Framework via Proof Generation
X Chen, Z Lin, MT Trinh, G Rosu
62021
Trustworthy program verification via proof generation
Z Lin, X Chen, MT Trinh, J Wang, G Rosu
12021
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
12020
Making Formal Verification Trustworthy via Proof Generation
Z Lin, X Chen, MT Trinh, J Wang, G Rosu
2021
The system can't perform the operation now. Try again later.
Articles 1–11