Minh-Thai Trinh

According to our database, Minh-Thai Trinh authored at least 11 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier.

Zhengyao Lin, Xiaohong Chen, Minh-Thai Trinh, John Wang, Grigore Rosu

Proc. ACM Program. Lang., April, 2023

2021

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation.

Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, Grigore Rosu

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Inter-theory dependency analysis for SMT string solvers.

Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar

Proc. ACM Program. Lang., 2020

Towards a unified proof framework for automated fixpoint reasoning using matching logic.

Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, Grigore Rosu

Proc. ACM Program. Lang., 2020

2017

Model Counting for Recursively-Defined Strings.

Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Progressive Reasoning over Recursively-Defined Strings.

Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Automatic induction proofs of data-structures in imperative programs.

Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Automating Proofs of Data-Structure Properties in Imperative Programs.

Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh

CoRR, 2014

S3: A Symbolic String Solver for Vulnerability Detection in Web Applications.

Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

Bi-Abduction with Pure Properties for Specification Inference.

Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2011

FixBag: A Fixpoint Calculator for Quantified Bag Constraints.

Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011