| 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 | 286 | 2016 |
| 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 | 69 | 2016 |
| Functional big-step semantics S Owens, MO Myreen, R Kumar, YK Tan European Symposium on Programming, 589-615, 2016 | 68 | 2016 |
| 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 | 48 | 2018 |
| 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 | 26 | 2018 |
| The verified CakeML compiler backend YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish Journal of Functional Programming 29, 2019 | 17 | 2019 |
| 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 | 14 | 2018 |
| 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 | 11 | 2019 |
| Vector barrier certificates and comparison systems A Sogokon, K Ghorbal, YK Tan, A Platzer International Symposium on Formal Methods, 418-437, 2018 | 10 | 2018 |
| 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 | 10 | 2017 |
| 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 | 7 | 2017 |
| Differential equation invariance axiomatization A Platzer, YK Tan Journal of the ACM (JACM) 67 (1), 1-66, 2020 | 5 | 2020 |
| 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 | 5 | 2019 |
| A verified type system for CakeML YK Tan, S Owens, R Kumar Proceedings of the 27th Symposium on the Implementation and Application of …, 2015 | 5 | 2015 |
| 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 | 4 | 2019 |
| An axiomatic approach to liveness for differential equations YK Tan, A Platzer International Symposium on Formal Methods, 371-388, 2019 | 3 | 2019 |
| 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 | 2 | 2018 |
| 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 | 1 | 2019 |
| 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 |
Magnus MyreenChalmers University of TechnologyGeverifieerd e-mailadres voor cl.cam.ac.uk
