Yong Kiam Tan - ECOOP 2022

Mon 6 June - Thu 7 July 2022 Berlin, Germany

Registered user since Sat 21 Dec 2019

Name:Yong Kiam Tan

Affiliation:Carnegie Mellon University

Personal website: https://www.cs.cmu.edu/~yongkiat/

Contributions

2022

ECOOP

Verified Compilation and Optimization of Floating-Point Programs in CakeML

Show activities from other conferences

ECOOP 2022-profile
View general profile