Yong Kiam Tan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
30
Venues
17
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
30 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables. | Markus Anders, Bart Bogaerts, Benjamin Bog, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordstrm, Andy Oertel, Adrian Rebola-Pardo, Yong Kiam Tan |
| 2026 | CP | End-to-End Certified Graph Colouring. | Simon Dold, George Katsirelos, Wietze Koops, Magnus O. Myreen, Jakob Nordstrm, Andy Oertel, Yong Kiam Tan |
| 2026 | CP | Proof Logging for Projected Enumeration (and Counting?) Problems in VeriPB. | Ciaran McCreesh, Jakob Nordstrm, Andy Oertel, Yong Kiam Tan |
| 2026 | CPP | Verified VCG and Verified Compiler for Dafny. | Daniel Nezamabadi, Magnus O. Myreen, Yong Kiam Tan |
| 2025 | CP | Practically Feasible Proof Logging for Pseudo-Boolean Optimization. | Wietze Koops, Daniel Le Berre, Magnus O. Myreen, Jakob Nordstrm, Andy Oertel, Yong Kiam Tan, Marc Vinyals |
| 2025 | ITP | Verification of the CVM Algorithm with a Functional Probabilistic Invariant. | Emin Karayel, Seng Joe Watt, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan |
| 2025 | SAT | Efficient Certified Reasoning for Binarized Neural Networks. | Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel |
| 2025 | SAT | Certifying Projected Knowledge Compilation. | Randal E. Bryant, Yong Kiam Tan, Marijn J. H. Heule |
| 2024 | AAAI | End-to-End Verification for Subgraph Solving. | Stephan Gocht, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordstrm, Andy Oertel, Yong Kiam Tan |
| 2024 | CAV | Formally Certified Approximate Model Counting. | Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel |
| 2024 | IJCAR | Certified MaxSAT Preprocessing. | Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Jrvisalo, Magnus O. Myreen, Jakob Nordstrm |
| 2024 | SP | Scores Tell Everything about Bob: Non-adaptive Face Reconstruction on Face Recognition Systems. | Sunpill Kim, Yong Kiam Tan, Bora Jeong, Soumik Mondal, Khin Mi Mi Aung, Jae Hong Seo |
| 2023 | CPP | A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. | Katherine Kosaian, Yong Kiam Tan, Andr Platzer |
| 2022 | CADE | Implicit Definitions with Differential Equations for KeYmaera X - (System Description). | James Gallicchio, Yong Kiam Tan, Stefan Mitsch, Andr Platzer |
| 2022 | ECOOP | 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 |
| 2021 | ITP | A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm. | Katherine Cordwell, Yong Kiam Tan, Andr Platzer |
| 2021 | TACAS | cake_lpr: Verified Propagation Redundancy Checking in CakeML. | Yong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen |
| 2021 | TACAS | Deductive Stability Proofs for Ordinary Differential Equations. | Yong Kiam Tan, Andr Platzer |
| 2020 | CPP | The Poincar-Bendixson theorem in Isabelle/HOL. | Fabian Immler, Yong Kiam Tan |
| 2019 | FM | Pegasus: A Framework for Sound Continuous Invariant Generation. | Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, Andr Platzer |
| 2019 | FM | An Axiomatic Approach to Liveness for Differential Equations. | Yong Kiam Tan, Andr Platzer |
| 2019 | PLDI | Verified compilation on a verified processor. | Andreas Lw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, Anthony C. J. Fox |
| 2018 | CADE | 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 |
| 2018 | FM | Vector Barrier Certificates and Comparison Systems. | Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, Andr Platzer |
| 2018 | LICS | Differential Equation Axiomatization: The Impressive Power of Differential Ghosts. | Andr Platzer, Yong Kiam Tan |
| 2018 | PLDI | VeriPhy: verified controller executables from verified cyber-physical system models. | Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, Andr Platzer |
| 2017 | CPP | Verified compilation of CakeML to multiple machine-code targets. | Anthony C. J. Fox, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar |
| 2016 | ESOP | Functional Big-Step Semantics. | Scott Owens, Magnus O. Myreen, Ramana Kumar, Yong Kiam Tan |
| 2016 | ICFP | A new verified compiler backend for CakeML. | Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish |
| 2016 | RecSys | Improved Recurrent Neural Networks for Session-based Recommendations. | Yong Kiam Tan, Xinxing Xu, Yong Liu |