| 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 | 818 | 2016 |
| Functional big-step semantics S Owens, MO Myreen, R Kumar, YK Tan Programming Languages and Systems: 25th European Symposium on Programming …, 2016 | 119 | 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 | 100 | 2018 |
| 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 | 97 | 2016 |
| The verified CakeML compiler backend YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish Journal of Functional Programming 29, e2, 2019 | 87 | 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 | 51 | 2018 |
| Differential equation invariance axiomatization A Platzer, YK Tan Journal of the ACM (JACM) 67 (1), 1-66, 2020 | 45 | 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 | 44 | 2019 |
| 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 | 33 | 2021 |
| 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 | 33 | 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 | 32 | 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 | 32 | 2017 |
| Vector barrier certificates and comparison systems A Sogokon, K Ghorbal, YK Tan, A Platzer International Symposium on Formal Methods, 418-437, 2018 | 31 | 2018 |
| 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 | 25 | 2020 |
| Pegasus: Sound continuous invariant generation A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer Formal Methods in System Design 58 (1), 5-41, 2021 | 18 | 2021 |
| 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 | 17 | 2019 |
| 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 | 17 | 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 | 16 | 2015 |
| Proof-producing synthesis of CakeML from monadic HOL functions O Abrahamsson, S Ho, H Kanabar, R Kumar, MO Myreen, M Norrish, ... Journal of Automated Reasoning 64, 1287-1306, 2020 | 15 | 2020 |
| Deductive stability proofs for ordinary differential equations YK Tan, A Platzer International Conference on Tools and Algorithms for the Construction and …, 2021 | 14 | 2021 |
Magnus MyreenChalmers University of TechnologyVerified email at cl.cam.ac.uk
