Thai TRINH

Research Scientist

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

Research Interests


Publications (Disclaimer: copyrights belong to the publishers)

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 [Extended] [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 [Extended] [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 [Extended] [Tool]
Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, and Wei-Ngan Chin
23th International Conference on Computer Aided Verification (CAV'11).