FixBag: A Fixpoint Calculator for Quantified Bag Constraints. - Tuan-Hung Pham; Minh-Thai Trinh; Anh-Hoang Truong; Wei-Ngan Chin (CAV, 2011)

Bi-Abduction with Pure Properties for Specification Inference. - Minh-Thai Trinh; Quang Loc Le; Cristina David; Wei-Ngan Chin (APLAS, 2013)

S3: A Symbolic String Solver for Vulnerability Detection in Web Applications. - Minh-Thai Trinh; Duc-Hiep Chu; Joxan Jaffar (CCS, 2014)

Automating Proofs of Data-Structure Properties in Imperative Programs. - Duc-Hiep Chu; Joxan Jaffar; Minh-Thai Trinh (CoRR, 2014)

Automatic induction proofs of data-structures in imperative programs. - Duc-Hiep Chu; Joxan Jaffar; Minh-Thai Trinh (PLDI, 2015)

Progressive Reasoning over Recursively-Defined Strings. - Minh-Thai Trinh; Duc-Hiep Chu; Joxan Jaffar (CAV (1), 2016)

Model Counting for Recursively-Defined Strings. - Minh-Thai Trinh; Duc-Hiep Chu; Joxan Jaffar (CAV (2), 2017)

Towards a unified proof framework for automated fixpoint reasoning using matching logic. - Xiaohong Chen 002; Minh-Thai Trinh; Nishant Rodrigues; Lucas Peña; Grigore Rosu (Proc. ACM Program. Lang., 2020)

Inter-theory dependency analysis for SMT string solvers. - Minh-Thai Trinh; Duc-Hiep Chu; Joxan Jaffar (Proc. ACM Program. Lang., 2020)

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation. - Xiaohong Chen 002; Zhengyao Lin; Minh-Thai Trinh; Grigore Rosu (CAV (2), 2021)

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation. - Xiaohong Chen 002; Zhengyao Lin; Minh-Thai Trinh; Grigore Rosu (Zenodo, 2021)

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation. - Xiaohong Chen 002; Zhengyao Lin; Minh-Thai Trinh; Grigore Rosu (Zenodo, 2021)

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation. - Xiaohong Chen 002; Zhengyao Lin; Minh-Thai Trinh; Grigore Rosu (Zenodo, 2021)

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier. - Zhengyao Lin; Xiaohong Chen 002; Minh-Thai Trinh; John Wang; Grigore Rosu (Zenodo, 2022)

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier. - Zhengyao Lin; Xiaohong Chen 002; Minh-Thai Trinh; John Wang; Grigore Rosu (Zenodo, 2022)

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier. - Zhengyao Lin; Xiaohong Chen 002; Minh-Thai Trinh; John Wang; Grigore Rosu (Zenodo, 2022)

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier. - Zhengyao Lin; Xiaohong Chen 002; Minh-Thai Trinh; John Wang; Grigore Rosu (Zenodo, 2022)

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier. - Zhengyao Lin; Xiaohong Chen 002; Minh-Thai Trinh; John Wang; Grigore Rosu (Proc. ACM Program. Lang., 2023)

Effective Search Space Pruning for Testing Deep Neural Networks. - Bala Rangayah; Eugene Sng; Minh-Thai Trinh (APLAS, 2024)