Yong Kiam Tan

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

Collaborative distances:

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

2024

Certified MaxSAT Preprocessing.

Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Jakob Nordström

CoRR, 2024

Approximate Model Counting.

Yong Kiam Tan, Jiong Yang

Arch. Formal Proofs, 2024

End-to-End Verification for Subgraph Solving.

Stephan Gocht, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML.

Yong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen

Int. J. Softw. Tools Technol. Transf., April, 2023

Cakes That Bake Cakes: Dynamic Computation in CakeML.

Thomas Sewell, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar, Alexander Mihajlovic, Oskar Abrahamsson, Scott Owens

Proc. ACM Program. Lang., 2023

The Schwartz-Zippel Lemma.

Sunpill Kim, Yong Kiam Tan

Arch. Formal Proofs, 2023

Concentration Inequalities.

Emin Karayel, Yong Kiam Tan

Arch. Formal Proofs, 2023

2022

Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact).

Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox

Dagstuhl Artifacts Ser., 2022

A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL.

Katherine Cordwell, Yong Kiam Tan, André Platzer

Arch. Formal Proofs, 2022

Verifying Switched System Stability With Logic.

Yong Kiam Tan, Stefan Mitsch, André Platzer

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Verified Compilation and Optimization of Floating-Point Programs in CakeML.

Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Implicit Definitions with Differential Equations for KeYmaera X - (System Description).

James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Pegasus: sound continuous invariant generation.

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

Formal Methods Syst. Des., 2021

An axiomatic approach to existence and liveness for differential equations.

Yong Kiam Tan, André Platzer

Formal Aspects Comput., 2021

The BKR Decision Procedure for Univariate Real Arithmetic.

Katherine Cordwell, Yong Kiam Tan, André Platzer

Arch. Formal Proofs, 2021

Deductive Stability Proofs for Ordinary Differential Equations.

Yong Kiam Tan, André Platzer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

cake_lpr: Verified Propagation Redundancy Checking in CakeML.

Yong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

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

Katherine Cordwell, Yong Kiam Tan, André Platzer

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

Switched Systems as Hybrid Programs.

Yong Kiam Tan, André Platzer

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 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

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.

Rose 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.

Rose 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, Bin Ma, 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 (IEEE BigData 2014), 2014