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
8202016
Functional big-step semantics
S Owens, MO Myreen, R Kumar, YK Tan
Programming Languages and Systems: 25th European Symposium on Programming …, 2016
1192016
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
1002018
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
972016
The verified CakeML compiler backend
YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish
Journal of Functional Programming 29, e2, 2019
882019
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
512018
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
462019
Differential equation invariance axiomatization
A Platzer, YK Tan
Journal of the ACM (JACM) 67 (1), 1-66, 2020
452020
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
332021
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
332018
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
322019
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
322017
Vector barrier certificates and comparison systems
A Sogokon, K Ghorbal, YK Tan, A Platzer
International Symposium on Formal Methods, 418-437, 2018
312018
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
252020
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
182021
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
172019
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
A verified type system for CakeML
YK Tan, S Owens, R Kumar
Proceedings of the 27th Symposium on the Implementation and Application of …, 2015
162015
Deductive stability proofs for ordinary differential equations
YK Tan, A Platzer
International Conference on Tools and Algorithms for the Construction and …, 2021
152021
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
152020
The system can't perform the operation now. Try again later.
Articles 1–20