| 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 | 527 | 2016 |
| Functional big-step semantics S Owens, MO Myreen, R Kumar, YK Tan European Symposium on Programming, 589-615, 2016 | 91 | 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 | 86 | 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 | 64 | 2018 |
| The verified CakeML compiler backend YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish Journal of Functional Programming 29, 2019 | 44 | 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 | 40 | 2018 |
| 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 | 23 | 2018 |
| Differential equation invariance axiomatization A Platzer, YK Tan Journal of the ACM (JACM) 67 (1), 1-66, 2020 | 22 | 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 | 21 | 2019 |
| Vector barrier certificates and comparison systems A Sogokon, K Ghorbal, YK Tan, A Platzer International Symposium on Formal Methods, 418-437, 2018 | 19 | 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 | 18 | 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 | 17 | 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 | 14 | 2017 |
| 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 | 13 | 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 | 12 | 2015 |
| Deductive stability proofs for ordinary differential equations YK Tan, A Platzer International Conference on Tools and Algorithms for the Construction and …, 2021 | 9 | 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 | 9 | 2020 |
| An axiomatic approach to existence and liveness for differential equations YK Tan, A Platzer Formal Aspects of Computing 33 (4), 461-518, 2021 | 8 | 2021 |
| An axiomatic approach to liveness for differential equations YK Tan, A Platzer International Symposium on Formal Methods, 371-388, 2019 | 8 | 2019 |
| ARCH-COMP20 category report: Hybrid systems theorem proving S Mitsch, JJ Huerta y Munive, X Jin, B Zhan, S Wang, N Zhan ARCH20, 141-161, 2019 | 7 | 2019 |
André PlatzerProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
