Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yong Kiam Tan
conf.researchr.org general profile
ECOOP 2022 profile
ICFP 2016 profile
ICFP 2017 profile
ICSE 2023 profile
PLDI 2018 profile
PLDI 2019 profile
PLDI 2020 profile
POPL 2017 profile
POPL 2020 profile
POPL 2023 profile
SPLASH 2020 profile
Registered user since Sat 21 Dec 2019
Name:
Yong Kiam Tan
Affiliation:
Carnegie Mellon University
Personal website:
https://www.cs.cmu.edu/~yongkiat/
Contributions
2023
ICSE
Author of Pegasus: A Framework for Sound Continuous Invariant Generation within the Showcase-track
CPP
Author of A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL within the CPP 2023-track
2022
ECOOP
Author of Verified Compilation and Optimization of Floating-Point Programs in CakeML within the Research Papers-track
2020
SPLASH
Author of Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs within the OOPSLA Artifacts-track
Author of Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs within the OOPSLA-track
PLDI
Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
CPP
Author of The Poincaré-Bendixson Theorem in Isabelle/HOL within the CPP 2020-track
2019
PLDI
Author of Verified Compilation on a Verified Processor within the PLDI Research Papers-track
2018
PLDI
Author of VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models within the PLDI Research Papers-track
2017
ICFP
Author of Verifying Efficient Function Calls in CakeML within the Research Papers-track
CPP
Author of Verified compilation of CakeML to multiple machine-code targets within the CPP-track
2016
ICFP
Author of A New Verified Compiler Backend for CakeML within the Research Papers-track
Share
x
Mon 2 Dec 20:30