Yong Kiam Tan
Yong Kiam Tan
Graduate Research Assistant, CMU
Geverifieerd e-mailadres voor cs.cmu.edu
Titel
Geciteerd door
Geciteerd door
Jaar
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
3502016
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
782016
Functional big-step semantics
S Owens, MO Myreen, R Kumar, YK Tan
European Symposium on Programming, 589-615, 2016
772016
VeriPhy: verified controller executables from verified cyber-physical system models
B Bohrer, YK Tan, S Mitsch, MO Myreen, A Platzer
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
522018
The verified CakeML compiler backend
YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish
Journal of Functional Programming 29, 2019
332019
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
292018
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
172018
A formal safety net for waypoint-following in ground robots
B Bohrer, YK Tan, S Mitsch, A Sogokon, A Platzer
IEEE Robotics and Automation Letters 4 (3), 2910-2917, 2019
122019
Vector barrier certificates and comparison systems
A Sogokon, K Ghorbal, YK Tan, A Platzer
International Symposium on Formal Methods, 418-437, 2018
122018
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
102017
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
102017
Differential equation invariance axiomatization
A Platzer, YK Tan
Journal of the ACM (JACM) 67 (1), 1-66, 2020
92020
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
92019
An axiomatic approach to existence and liveness for differential equations
YK Tan, A Platzer
arXiv preprint arXiv:2004.14561, 2020
52020
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
52019
A verified type system for CakeML
YK Tan, S Owens, R Kumar
Proceedings of the 27th Symposium on the Implementation and Application of …, 2015
52015
An axiomatic approach to liveness for differential equations
YK Tan, A Platzer
International Symposium on Formal Methods, 371-388, 2019
42019
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving.
S Mitsch, A Sogokon, YK Tan, A Platzer, H Zhao, X Jin, S Wang, N Zhan
ARCH@ ADHS, 110-127, 2018
22018
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
12021
Deductive Stability Proofs for Ordinary Differential Equations
YK Tan, A Platzer
arXiv preprint arXiv:2010.13096, 2020
12020
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20