Follow
Yong Kiam Tan
Yong Kiam Tan
Institute for Infocomm Research, Singapore
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
7662016
Functional big-step semantics
S Owens, MO Myreen, R Kumar, YK Tan
Programming Languages and Systems: 25th European Symposium on Programming …, 2016
1172016
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
992016
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
922018
The verified CakeML compiler backend
YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish
Journal of Functional Programming 29, e2, 2019
782019
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
482018
Differential equation invariance axiomatization
A Platzer, YK Tan
Journal of the ACM (JACM) 67 (1), 1-66, 2020
392020
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
382019
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
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
312018
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
302019
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
292017
cake_lpr: Verified propagation redundancy checking in CakeML
YK Tan, MJH Heule, MO Myreen
Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2021
272021
Vector barrier certificates and comparison systems
A Sogokon, K Ghorbal, YK Tan, A Platzer
International Symposium on Formal Methods, 418-437, 2018
252018
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
212020
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
172017
Pegasus: Sound continuous invariant generation
A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer
Formal Methods in System Design 58 (1), 5-41, 2021
152021
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
152019
A verified type system for CakeML
YK Tan, S Owens, R Kumar
Proceedings of the 27th Symposium on the Implementation and Application of …, 2015
142015
Proof-producing synthesis of CakeML from monadic HOL functions
O Abrahamsson, S Ho, H Kanabar, R Kumar, MO Myreen, M Norrish, ...
Journal of Automated Reasoning 64, 1287-1306, 2020
132020
Deductive stability proofs for ordinary differential equations
YK Tan, A Platzer
International Conference on Tools and Algorithms for the Construction and …, 2021
122021
The system can't perform the operation now. Try again later.
Articles 1–20