Minh-Thai Trinh

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 7

Top Topics

Imperative Programs

Top Venues

Proc. ACM Program. Lang.

Publications

Zhengyao Lin, Xiaohong Chen, Minh-Thai Trinh, John Wang, Grigore Rosu
Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, Grigore Rosu
Towards a Trustworthy Semantics-Based Language Framework via Proof Generation. CAV (2) (2021)
Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar
Inter-theory dependency analysis for SMT string solvers. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, Grigore Rosu
Towards a unified proof framework for automated fixpoint reasoning using matching logic. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar
Model Counting for Recursively-Defined Strings. CAV (2) (2017)
Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar
Progressive Reasoning over Recursively-Defined Strings. CAV (1) (2016)
Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh
Automatic induction proofs of data-structures in imperative programs. PLDI (2015)
Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh
Automating Proofs of Data-Structure Properties in Imperative Programs. CoRR (2014)
Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar
S3: A Symbolic String Solver for Vulnerability Detection in Web Applications. CCS (2014)
Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin
Bi-Abduction with Pure Properties for Specification Inference. APLAS (2013)
Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin
FixBag: A Fixpoint Calculator for Quantified Bag Constraints. CAV (2011)