conf.researchr.org / Minh-Thai Trinh
Registered user since Wed 23 Oct 2024
Name:Minh-Thai Trinh
Country:Singapore
Affiliation:Illinois Advanced Research Center at Singapore Ltd.
Contributions
2020
SPLASH
- Author of Inter-theory Dependency Analysis for SMT String Solvers within the OOPSLA-track
- Author of Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic within the OOPSLA-track
- Author of Inter-Theory Dependency Analysis for SMT String Solvers within the OOPSLA Artifacts-track