Thai TRINH

Research Scientist

Illinois Advanced Research Center at Singapore
1 Create Way, #14-02, Create Tower, Singapore 138602
Email: trinhmt at illinois.edu or minhthai.t at iarcs-create.edu.sg

Research Interests

Publications (Disclaimer: copyrights belong to the publishers)

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier [Paper] [Tool]
Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, John Wang, and Grigore Rosu
Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA1, 2023.

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation [Paper] [Tool]
Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, and Grigore Rosu
33th International Conference on Computer Aided Verification (CAV'21).

Inter-theory Dependency Analysis for SMT String Solvers [Paper] [Tool]
Minh-Thai Trinh, Duc-Hiep Chu, and Joxan Jaffar
Proceedings of the ACM on Programming Languages, Volume 4, Issue OOPSLA, 2020.

Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic [Paper] [Tool]
Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Pena, and Grigore Rosu
Proceedings of the ACM on Programming Languages, Volume 4, Issue OOPSLA, 2020.

Model Counting for Recursively-Defined Strings [Paper] [Tool]
Minh-Thai Trinh, Duc-Hiep Chu, and Joxan Jaffar
29th International Conference on Computer Aided Verification (CAV'17).

Progressive Reasoning over Recursively-Defined Strings [Paper] [Slide] [Tool]
Minh-Thai Trinh, Duc-Hiep Chu, and Joxan Jaffar
28th International Conference on Computer Aided Verification (CAV'16).

Automatic Induction Proofs of Data-Structures in Imperative Programs [Paper]
Duc-Hiep Chu, Joxan Jaffar, and Minh-Thai Trinh
36th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI'15).

S3: A Symbolic String Solver for Vulnerability Detection in Web Applications [Paper] [Slide] [Tool]
Minh-Thai Trinh, Duc-Hiep Chu, and Joxan Jaffar
21st ACM Conference on Computer and Communications Security (CCS'14).

Bi-Abduction with Pure Properties for Specification Inference [Paper] [Tool]
Minh-Thai Trinh, Quang Loc Le, Cristina David, and Wei-Ngan Chin
11th Asian Symposium on Programming Languages and Systems (APLAS'13).

FixBag: A Fixpoint Calculator for Quantified Bag Constraints [Paper] [Tool]
Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, and Wei-Ngan Chin
23th International Conference on Computer Aided Verification (CAV'11).