Yong Kiam Tan

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 60

Top Topics

Theorem Proving

Brownian Motion

Top Venues

Arch. Formal Proofs

Publications

Stephan Gocht, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan
End-to-End Verification for Subgraph Solving. AAAI (2024)
Yong Kiam Tan, Jiong Yang
Approximate Model Counting. Arch. Formal Proofs 2024 (2024)
Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
Formally Certified Approximate Model Counting. CoRR (2024)
Katherine Kosaian, Yong Kiam Tan, Kristin Yvonne Rozier
Formalizing Coppersmith's Method in Isabelle/HOL. CICM (2024)
Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
Formally Certified Approximate Model Counting. CAV (1) (2024)
Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Magnus O. Myreen, Jakob Nordström
Certified MaxSAT Preprocessing. IJCAR (1) (2024)
Katherine Kosaian, Yong Kiam Tan
Formalizing Coppersmith's Method. Arch. Formal Proofs 2024 (2024)
Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Jakob Nordström
Certified MaxSAT Preprocessing. CoRR (2024)
Sunpill Kim, Yong Kiam Tan
The Schwartz-Zippel Lemma. Arch. Formal Proofs 2023 (2023)
Katherine Kosaian, Yong Kiam Tan, André Platzer
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. CPP (2023)
Yong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML. Int. J. Softw. Tools Technol. Transf. 25 (2) (2023)
Thomas Sewell, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar, Alexander Mihajlovic, Oskar Abrahamsson, Scott Owens
Cakes That Bake Cakes: Dynamic Computation in CakeML. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Emin Karayel, Yong Kiam Tan
Concentration Inequalities. Arch. Formal Proofs 2023 (2023)
Katherine Cordwell, Yong Kiam Tan, André Platzer
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. Arch. Formal Proofs 2022 (2022)
Katherine Kosaian, Yong Kiam Tan, André Platzer
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. CoRR (2022)
James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer
Implicit Definitions with Differential Equations for KeYmaera X (System Description). CoRR (2022)
Yong Kiam Tan, Stefan Mitsch, André Platzer
Verifying Switched System Stability With Logic. HSCC (2022)
Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox
Verified Compilation and Optimization of Floating-Point Programs in CakeML. ECOOP (2022)
Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox
Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer
Implicit Definitions with Differential Equations for KeYmaera X - (System Description). IJCAR (2022)
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
Pegasus: sound continuous invariant generation. Formal Methods Syst. Des. 58 (1-2) (2021)
Katherine Cordwell, Yong Kiam Tan, André Platzer
The BKR Decision Procedure for Univariate Real Arithmetic. Arch. Formal Proofs 2021 (2021)
Yong Kiam Tan, André Platzer
Switched Systems as Hybrid Programs. ADHS (2021)
Yong Kiam Tan, André Platzer
An axiomatic approach to existence and liveness for differential equations. Formal Aspects Comput. 33 (4-5) (2021)
Yong Kiam Tan, André Platzer
Deductive Stability Proofs for Ordinary Differential Equations. TACAS (2) (2021)
Yong Kiam Tan, André Platzer
Switched Systems as Hybrid Programs. CoRR (2021)
Katherine Cordwell, Yong Kiam Tan, André Platzer
A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm. ITP (2021)
Yong Kiam Tan, Stefan Mitsch, André Platzer
Verifying Switched System Stability With Logic. CoRR (2021)
Katherine Cordwell, Yong Kiam Tan, André Platzer
A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm. CoRR (2021)
Yong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen
cake_lpr: Verified Propagation Redundancy Checking in CakeML. TACAS (2) (2021)
André Platzer, Yong Kiam Tan
Differential Equation Invariance Axiomatization. J. ACM 67 (1) (2020)
Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Taqdees Syeda, Magnus O. Myreen, Yong Kiam Tan
Do you have space for dessert? a verified space cost semantics for CakeML programs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Fabian Immler, Yong Kiam Tan
The Poincaré-Bendixson theorem in Isabelle/HOL. CPP (2020)
Yong Kiam Tan, André Platzer
Deductive Stability Proofs for Ordinary Differential Equations. CoRR (2020)
Yong Kiam Tan, André Platzer
An Axiomatic Approach to Existence and Liveness for Differential Equations. CoRR (2020)
Oskar Abrahamsson, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus O. Myreen, Michael Norrish, Yong Kiam Tan
Proof-Producing Synthesis of CakeML from Monadic HOL Functions. J. Autom. Reason. 64 (7) (2020)
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
Pegasus: Sound Continuous Invariant Generation. CoRR (2020)
Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer
A Formal Safety Net for Waypoint-Following in Ground Robots. IEEE Robotics Autom. Lett. 4 (3) (2019)
Fabian Immler, Yong Kiam Tan
The Poincaré-Bendixson Theorem. Arch. Formal Proofs 2019 (2019)
Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish
The verified CakeML compiler backend. J. Funct. Program. 29 (2019)
Yong Kiam Tan, André Platzer
An Axiomatic Approach to Liveness for Differential Equations. CoRR (2019)
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving. ARCH@CPSIoTWeek (2019)
Yong Kiam Tan, André Platzer
An Axiomatic Approach to Liveness for Differential Equations. FM (2019)
Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer
A Formal Safety Net for Waypoint Following in Ground Robots. CoRR (2019)
Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, Anthony C. J. Fox
Verified compilation on a verified processor. PLDI (2019)
André Platzer, Yong Kiam Tan
Differential Equation Invariance Axiomatization. CoRR (2019)
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
Pegasus: A Framework for Sound Continuous Invariant Generation. FM (2019)
Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer
VeriPhy: verified controller executables from verified cyber-physical system models. PLDI (2018)
Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer
Vector Barrier Certificates and Comparison Systems. FM (2018)
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving. ARCH@ADHS (2018)
Son Ho, Oskar Abrahamsson, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan, Michael Norrish
Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions. IJCAR (2018)
André Platzer, Yong Kiam Tan
Differential Equation Axiomatization: The Impressive Power of Differential Ghosts. LICS (2018)
André Platzer, Yong Kiam Tan
Differential Equation Axiomatization: The Impressive Power of Differential Ghosts. CoRR (2018)
Anthony C. J. Fox, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar
Verified compilation of CakeML to multiple machine-code targets. CPP (2017)
Scott Owens, Michael Norrish, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan
Verifying efficient function calls in CakeML. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Yong Kiam Tan, Xinxing Xu, Yong Liu
Improved Recurrent Neural Networks for Session-based Recommendations. CoRR (2016)
Zhenzhou Wu, Sunil Sivadas, Yong Kiam Tan, Ma Bin, Rick Siow Mong Goh
Multi-Modal Hybrid Deep Neural Network for Speech Enhancement. CoRR (2016)
Yong Kiam Tan, Xinxing Xu, Yong Liu
Improved Recurrent Neural Networks for Session-based Recommendations. DLRS@RecSys (2016)
Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish
A new verified compiler backend for CakeML. ICFP (2016)
Scott Owens, Magnus O. Myreen, Ramana Kumar, Yong Kiam Tan
Functional Big-Step Semantics. ESOP (2016)
Yong Kiam Tan, Scott Owens, Ramana Kumar
A verified type system for CakeML. IFL (2015)
Rubing Duan, Rick Siow Mong Goh, Feng Yang, Yong Kiam Tan, Jesus F. B. Valenzuela
Towards building and evaluating a personalized location-based recommender system. IEEE BigData (2014)