Yong Kiam Tan

According to our database, Yong Kiam Tan authored at least 29 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm.

Katherine Cordwell, Yong Kiam Tan, André Platzer

CoRR, 2021

Switched Systems as Hybrid Programs.

Yong Kiam Tan, André Platzer

CoRR, 2021

2020

Do you have space for dessert? a verified space cost semantics for CakeML programs.

Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Taqdees Syeda, Magnus O. Myreen, Yong Kiam Tan

Proc. ACM Program. Lang., 2020

Proof-Producing Synthesis of CakeML from Monadic HOL Functions.

Oskar Abrahamsson, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus O. Myreen, Michael Norrish, Yong Kiam Tan

J. Autom. Reason., 2020

Differential Equation Invariance Axiomatization.

André Platzer, Yong Kiam Tan

J. ACM, 2020

Deductive Stability Proofs for Ordinary Differential Equations.

Yong Kiam Tan, André Platzer

CoRR, 2020

Pegasus: Sound Continuous Invariant Generation.

Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer

CoRR, 2020

An Axiomatic Approach to Existence and Liveness for Differential Equations.

Yong Kiam Tan, André Platzer

CoRR, 2020

The Poincaré-Bendixson theorem in Isabelle/HOL.

Fabian Immler, Yong Kiam Tan

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019

A Formal Safety Net for Waypoint-Following in Ground Robots.

Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer

IEEE Robotics Autom. Lett., 2019

The verified CakeML compiler backend.

Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish

J. Funct. Program., 2019

The Poincaré-Bendixson Theorem.

Fabian Immler, Yong Kiam Tan

Arch. Formal Proofs, 2019

Verified compilation on a verified processor.

Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, Anthony C. J. Fox

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

An Axiomatic Approach to Liveness for Differential Equations.

Yong Kiam Tan, André Platzer

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Pegasus: A Framework for Sound Continuous Invariant Generation.

Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

VeriPhy: verified controller executables from verified cyber-physical system models.

Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Differential Equation Axiomatization: The Impressive Power of Differential Ghosts.

André Platzer, Yong Kiam Tan

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Vector Barrier Certificates and Comparison Systems.

Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions.

Son Ho, Oskar Abrahamsson, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan, Michael Norrish

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Verifying efficient function calls in CakeML.

Scott Owens, Michael Norrish, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan

Proc. ACM Program. Lang., 2017

Verified compilation of CakeML to multiple machine-code targets.

Anthony C. J. Fox, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

2016

Multi-Modal Hybrid Deep Neural Network for Speech Enhancement.

Zhenzhou Wu, Sunil Sivadas, Yong Kiam Tan, Ma Bin, Rick Siow Mong Goh

CoRR, 2016

Improved Recurrent Neural Networks for Session-based Recommendations.

Yong Kiam Tan, Xinxing Xu, Yong Liu

Proceedings of the 1st Workshop on Deep Learning for Recommender Systems, 2016

A new verified compiler backend for CakeML.

Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Functional Big-Step Semantics.

Scott Owens, Magnus O. Myreen, Ramana Kumar, Yong Kiam Tan

Proceedings of the Programming Languages and Systems, 2016

2015

A verified type system for CakeML.

Yong Kiam Tan, Scott Owens, Ramana Kumar

Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, 2015

2014

Towards building and evaluating a personalized location-based recommender system.

Rubing Duan, Rick Siow Mong Goh, Feng Yang, Yong Kiam Tan, Jesus F. B. Valenzuela

Proceedings of the 2014 IEEE International Conference on Big Data, 2014