Minh-Thai Trinh -

Not registered as user yet

Name: Minh-Thai Trinh

Affiliation: Advanced Digital Sciences Center

Contributions

SPLASH 2020	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