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
2862016
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
692016
Functional big-step semantics
S Owens, MO Myreen, R Kumar, YK Tan
European Symposium on Programming, 589-615, 2016
682016
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
482018
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
262018
The verified CakeML compiler backend
YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish
Journal of Functional Programming 29, 2019
172019
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
142018
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
112019
Vector barrier certificates and comparison systems
A Sogokon, K Ghorbal, YK Tan, A Platzer
International Symposium on Formal Methods, 418-437, 2018
102018
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
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
72017
Differential equation invariance axiomatization
A Platzer, YK Tan
Journal of the ACM (JACM) 67 (1), 1-66, 2020
52020
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
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
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
42019
An axiomatic approach to liveness for differential equations
YK Tan, A Platzer
International Symposium on Formal Methods, 371-388, 2019
32019
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
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving.
S Mitsch, A Sogokon, YK Tan, X Jin, B Zhan, S Wang, N Zhan
ARCH@ CPSIoTWeek, 141-161, 2019
12019
Pegasus: Sound Continuous Invariant Generation
A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer
arXiv preprint arXiv:2005.09348, 2020
2020
An Axiomatic Approach to Existence and Liveness for Differential Equations
YK Tan, A Platzer
arXiv preprint arXiv:2004.14561, 2020
2020
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20