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
2462016
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
672016
Functional big-step semantics
S Owens, MO Myreen, R Kumar, YK Tan
European Symposium on Programming, 589-615, 2016
622016
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
422018
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
252018
The verified CakeML compiler backend
YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish
Journal of Functional Programming 29, 2019
142019
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
122018
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
92017
Vector barrier certificates and comparison systems
A Sogokon, K Ghorbal, YK Tan, A Platzer
International Symposium on Formal Methods, 418-437, 2018
72018
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
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
62019
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
Differential equation invariance axiomatization
A Platzer, YK Tan
Journal of the ACM (JACM) 67 (1), 1-66, 2020
42020
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
22019
An axiomatic approach to liveness for differential equations
YK Tan, A Platzer
International Symposium on Formal Methods, 371-388, 2019
22019
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
12018
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
The Poincaré-Bendixson Theorem in Isabelle/HOL
F Immler, YK Tan
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
2020
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20