Minh-Thai Trinh

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