Travelled to:2 × USA
Collaborated with:D.Chu J.Jaffar T.Pham A.Truong W.Chin
Talks about:string (2) recurs (2) defin (2) bag (2) constraint (1) structur (1) quantifi (1) progress (1) fixpoint (1) program (1)
Person: Minh-Thai Trinh
DBLP: Trinh:Minh=Thai
Contributed to:
2015
201120162017Wrote 4 papers:
- PLDI-2015-ChuJT #automation #imperative #induction #proving #source code
- Automatic induction proofs of data-structures in imperative programs (DHC, JJ, MTT), pp. 457–466.
- CAV-2011-PhamTTC #constraints #fixpoint #named #quantifier
- FixBag: A Fixpoint Calculator for Quantified Bag Constraints (THP, MTT, AHT, WNC), pp. 656–662.
- CAV-2016-TrinhCJ #reasoning #recursion #string
- Progressive Reasoning over Recursively-Defined Strings (MTT, DHC, JJ), pp. 218–240.
- CAV-2017-TrinhCJ #recursion #string
- Model Counting for Recursively-Defined Strings (MTT, DHC, JJ), pp. 399–418.