I am supported by a National Science Scholarship (PhD) from A*STAR, Singapore.
I am a member of the Logical Systems Lab, where I am fortunate to be advised by Prof. André Platzer.
In particular, I am studying the continuous fragment of dL, which allows users to syntactically reason about (systems of) ordinary differential equations.
I contribute regularly to the KeYmaera X theorem prover.
I am also a developer of the CakeML compiler, which is formally verified in the HOL4 theorem prover.
Preprints are made available below for your personal use. Please use the DOI links for the official publications.
Please let me know if you find any broken links or errors.
(*) indicates alphabetical author order.
Yong Kiam Tan, André Platzer
Formal Aspects of Computing (FAOC). Extended version of our FM'19 paper. (arXiv,doi)
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
Formal Methods in System Design (FMSD). Extended version of our FM'19 paper. (tool,arXiv,doi)
Oskar Abrahamsson, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus O. Myreen, Michael Norrish, Yong Kiam Tan
Journal of Automated Reasoning (JAR). Extended version of our IJCAR'18 paper. (link,doi)
André Platzer, Yong Kiam Tan (*)
Journal of the ACM (JACM). Extended version of our LICS'18 paper. (preprint,arXiv,doi)
Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer
Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony Fox, Scott Owens, Michael Norrish
Journal of Functional Programming (JFP). Extended version of our ICFP'16 paper. (preprint,doi)
James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer
IJCAR 2022. (arXiv, to appear)
Yong Kiam Tan, Stefan Mitsch, André Platzer
HSCC 2022. Best Paper Award and Best Repeatability Evaluation Award. (arXiv,doi,slides)
Katherine Cordwell, Yong Kiam Tan, André Platzer
Yong Kiam Tan, André Platzer
Yong Kiam Tan, André Platzer
Yong Kiam Tan, Marijn Heule, Magnus O. Myreen
Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Taqdees Syeda, Magnus O. Myreen, Yong Kiam Tan
Fabian Immler, Yong Kiam Tan (*)
Certified Programs and Proofs (CPP'20). (AFP entry,preprint,doi,slides)
Yong Kiam Tan, André Platzer
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
Formal Methods (FM'19). Best Tool Paper Award. (tool,preprint,doi,slides)
Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, Anthony Fox
Programming Language Design and Implementation (PLDI'19). (preprint,doi)
Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer
André Platzer, Yong Kiam Tan (*)
Logic in Computer Science (LICS'18). (preprint (with appendix),arXiv,doi,slides, minor appendix corrections: 10 Jun 2019)
Son Ho, Oskar Abrahamsson, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan, Michael Norrish
International Joint Conference on Automated Reasoning (IJCAR'18). (preprint,doi,slides)
Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer
Programming Language Design and Implementation (PLDI'18). (preprint,doi)
Scott Owens, Michael Norrish, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan
International Conference on Functional Programming (PACMPL ICFP'17). (preprint,doi)
Anthony Fox, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar
Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony Fox, Scott Owens, Michael Norrish
International Conference on Functional Programming (ICFP'16). (preprint,doi,slides)
Scott Owens, Magnus O. Myreen, Ramana Kumar, Yong Kiam Tan
Yong Kiam Tan, Xinxing Xu, Yong Liu
Yong Kiam Tan, Scott Owens, Ramana Kumar
André Platzer, Yong Kiam Tan (*)
CMU-CS-17-117. (link, superseded by arXiv version and LICS'18 paper)
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan (doi)
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan. (doi)
My undergraduate dissertation supervised by Ramana Kumar and Magnus Myreen. (link)
Email: yongkiat (AT) cs.cmu.edu
Github: https://github.com/tanyongkiam
ORCiD: https://orcid.org/0000-0001-7033-2463
Phone: +1 (412) ( 2 x 2 x 2 x 2 x 3 x 7 x 8269 )