• Sign in
  • Sign up
conf.researchr.org / Minh-Thai Trinh
  • APLAS 2024 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
  • SPLASH 2023 profile

Registered user since Wed 23 Oct 2024

Name:Minh-Thai Trinh
Country:Singapore
Affiliation:Illinois Advanced Research Center at Singapore Ltd.

Contributions

2024

APLAS

  • Author of Effective Search Space Pruning for Testing Deep Neural Networks within the Research Papers-track

2023

SPLASH

  • Author of Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier within the OOPSLA-track

2021

SPLASH

  • Author of Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic within the SIGPLAN Papers-track

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
Share
xWed 3 Sep 08:50
using conf.researchr.org (v1.70.0)
Support page
Sign Up