Minh-Thai Trinh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2011–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | APLAS | Effective Search Space Pruning for Testing Deep Neural Networks. | Bala Rangayah, Eugene Sng, Minh-Thai Trinh |
| 2021 | CAV | Towards a Trustworthy Semantics-Based Language Framework via Proof Generation. | Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, Grigore Rosu |
| 2017 | CAV | Model Counting for Recursively-Defined Strings. | Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar |
| 2016 | CAV | Progressive Reasoning over Recursively-Defined Strings. | Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar |
| 2015 | PLDI | Automatic induction proofs of data-structures in imperative programs. | Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh |
| 2014 | CCS | S3: A Symbolic String Solver for Vulnerability Detection in Web Applications. | Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar |
| 2013 | APLAS | Bi-Abduction with Pure Properties for Specification Inference. | Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin |
| 2011 | CAV | FixBag: A Fixpoint Calculator for Quantified Bag Constraints. | Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin |