Follow
Yong Kiam Tan
Yong Kiam Tan
Graduate Research Assistant, CMU
Verified email at cs.cmu.edu
Title
Cited by
Cited by
Year
Improved recurrent neural networks for session-based recommendations
YK Tan, X Xu, Y Liu
Proceedings of the 1st workshop on deep learning for recommender systems, 17-22, 2016
5272016
Functional big-step semantics
S Owens, MO Myreen, R Kumar, YK Tan
European Symposium on Programming, 589-615, 2016
912016
A new verified compiler backend for CakeML
YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
862016
VeriPhy: Verified controller executables from verified cyber-physical system models
R Bohrer, YK Tan, S Mitsch, MO Myreen, A Platzer
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
642018
The verified CakeML compiler backend
YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish
Journal of Functional Programming 29, 2019
442019
Differential equation axiomatization: The impressive power of differential ghosts
A Platzer, YK Tan
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
402018
Proof-producing synthesis of CakeML with I/O and local state from monadic HOL functions
S Ho, O Abrahamsson, R Kumar, MO Myreen, YK Tan, M Norrish
International Joint Conference on Automated Reasoning, 646-662, 2018
232018
Differential equation invariance axiomatization
A Platzer, YK Tan
Journal of the ACM (JACM) 67 (1), 1-66, 2020
222020
Verified compilation on a verified processor
A Lööw, R Kumar, YK Tan, MO Myreen, M Norrish, O Abrahamsson, A Fox
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
212019
Vector barrier certificates and comparison systems
A Sogokon, K Ghorbal, YK Tan, A Platzer
International Symposium on Formal Methods, 418-437, 2018
192018
A formal safety net for waypoint-following in ground robots
R Bohrer, YK Tan, S Mitsch, A Sogokon, A Platzer
IEEE Robotics and Automation Letters 4 (3), 2910-2917, 2019
182019
Verified compilation of CakeML to multiple machine-code targets
A Fox, MO Myreen, YK Tan, R Kumar
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
172017
Verifying efficient function calls in CakeML
S Owens, M Norrish, R Kumar, MO Myreen, YK Tan
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-27, 2017
142017
Pegasus: A framework for sound continuous invariant generation
A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer
International Symposium on Formal Methods, 138-157, 2019
132019
A verified type system for CakeML
YK Tan, S Owens, R Kumar
Proceedings of the 27th Symposium on the Implementation and Application of …, 2015
122015
Deductive stability proofs for ordinary differential equations
YK Tan, A Platzer
International Conference on Tools and Algorithms for the Construction and …, 2021
92021
Do you have space for dessert? a verified space cost semantics for CakeML programs
A Gómez-Londoño, J Åman Pohjola, HT Syeda, MO Myreen, YK Tan
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
92020
An axiomatic approach to existence and liveness for differential equations
YK Tan, A Platzer
Formal Aspects of Computing 33 (4), 461-518, 2021
82021
An axiomatic approach to liveness for differential equations
YK Tan, A Platzer
International Symposium on Formal Methods, 371-388, 2019
82019
ARCH-COMP20 category report: Hybrid systems theorem proving
S Mitsch, JJ Huerta y Munive, X Jin, B Zhan, S Wang, N Zhan
ARCH20, 141-161, 2019
72019
The system can't perform the operation now. Try again later.
Articles 1–20