• Sign in
  • Sign up
conf.researchr.org / Yong Kiam Tan
  • APLAS 2023 profile
  • APLAS 2024 profile
  • ICFP/SPLASH 2025 profile
  • POPL 2024 profile

Not registered as user

Name:Yong Kiam Tan
Affiliation:Institute for Infocomm Research, A*STAR

Contributions

2025

ML

  • Committee Member in Program Committee within the ML Family Workshop 2025-track
  • Author of From CakeML to Proof Checking, and Back Again within the ML Family Workshop 2025-track

2024

APLAS

  • Committee Member in Program Committee within the Research Papers-track

CPP

  • PC Member in Program Committee within the CPP 2024-track

2023

APLAS

  • Author of Covering the Last Mile in Trustworthy Automated Reasoning with CakeML within the APLAS 2023-track
Share
xMon 22 Sep 20:08
using conf.researchr.org (v1.71.1)
Support page
Sign Up