conf.researchr.org / Minh-Thai Trinh
Not registered as user yet
Name:Minh-Thai Trinh
Country:Singapore
Affiliation:Advanced Digital Sciences Center
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