| 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 | 629 | 2016 |
| Functional big-step semantics S Owens, MO Myreen, R Kumar, YK Tan Programming Languages and Systems: 25th European Symposium on Programming …, 2016 | 105 | 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 | 92 | 2016 |
| 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 | 67 | 2018 |
| The verified CakeML compiler backend YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish Journal of Functional Programming 29, e2, 2019 | 56 | 2019 |
| 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 | 41 | 2018 |
| 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 | 30 | 2019 |
| Differential equation invariance axiomatization A Platzer, YK Tan Journal of the ACM (JACM) 67 (1), 1-66, 2020 | 28 | 2020 |
| 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 | 27 | 2018 |
| Vector barrier certificates and comparison systems A Sogokon, K Ghorbal, YK Tan, A Platzer Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018 | 22 | 2018 |
| 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 | 20 | 2019 |
| 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 | 20 | 2017 |
| 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 | 17 | 2021 |
| 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 | 15 | 2020 |
| 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 | 15 | 2017 |
| A verified type system for CakeML YK Tan, S Owens, R Kumar Proceedings of the 27th Symposium on the Implementation and Application of …, 2015 | 14 | 2015 |
| Pegasus: A framework for sound continuous invariant generation A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019 | 13 | 2019 |
| Pegasus: Sound continuous invariant generation A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer Formal Methods in System Design 58 (1-2), 5-41, 2021 | 10 | 2021 |
| An axiomatic approach to existence and liveness for differential equations YK Tan, A Platzer Formal Aspects of Computing 33 (4-5), 461-518, 2021 | 10 | 2021 |
| Deductive stability proofs for ordinary differential equations YK Tan, A Platzer Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021 | 10 | 2021 |
Magnus MyreenChalmers University of TechnologyVerified email at cl.cam.ac.uk
