Yong Kiam Tan

78 papers A* 6A 8B 10C 1Journal 41Unranked 11
YearRankTypeTitle / Venue / Authors
2026 A* conf
Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables.
AAAI
Markus Anders, Bart Bogaerts, Benjamin Bogø, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Adrian Rebola-Pardo, Yong Kiam Tan
2026 J jnl
Scores Know Bobs Voice: Speaker Impersonation Attack.
CoRR
Chanwoo Hwang, Sunpill Kim, Yong Kiam Tan, Tianchi Liu, Seunghun Paik, Dongsoo Kim, Soumik Mondal, Khin Mi Mi Aung, Jae Hong Seo
2026 B conf
Verified VCG and Verified Compiler for Dafny.
CPP
Daniel Nezamabadi, Magnus O. Myreen, Yong Kiam Tan
2025 A conf
Certifying Projected Knowledge Compilation.
SAT
Randal E. Bryant, Yong Kiam Tan, Marijn J. H. Heule
2025 A conf
Efficient Certified Reasoning for Binarized Neural Networks.
SAT
Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
2025 J jnl
Efficient Certified Reasoning for Binarized Neural Networks.
CoRR
Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
2025 J jnl
Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables.
CoRR
Markus Anders, Bart Bogaerts, Benjamin Bogø, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Adrian Rebola-Pardo, Yong Kiam Tan
2025 J jnl
I Can Find You in Seconds! Leveraging Large Language Models for Code Authorship Attribution.
CoRR
Soohyeon Choi, Yong Kiam Tan, Mark Huasong Meng, Mohamed Ragab, Soumik Mondal, David Mohaisen, Khin Mi Mi Aung
2025 A conf
Practically Feasible Proof Logging for Pseudo-Boolean Optimization.
CP
Wietze Koops, Daniel Le Berre, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan, Marc Vinyals
2025 B conf
Verification of the CVM Algorithm with a Functional Probabilistic Invariant.
ITP
Emin Karayel, Seng Joe Watt, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan
2025 J jnl
Verification of the CVM algorithm with a New Recursive Analysis Technique.
Arch. Formal Proofs
Emin Karayel, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan, Seng Joe Watt
2025 J jnl
Verified VCG and Verified Compiler for Dafny.
CoRR
Daniel Nezamabadi, Magnus O. Myreen, Yong Kiam Tan
2024 J jnl
Approximate Model Counting.
Arch. Formal Proofs
Yong Kiam Tan, Jiong Yang
2024 — conf
Certified MaxSAT Preprocessing.
IJCAR (1)
Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Magnus O. Myreen, Jakob Nordström
2024 J jnl
Certified MaxSAT Preprocessing.
CoRR
Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Jakob Nordström
2024 A* conf
End-to-End Verification for Subgraph Solving.
AAAI
Stephan Gocht, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan
2024 C conf
Formalizing Coppersmith's Method in Isabelle/HOL.
CICM
Katherine Kosaian, Yong Kiam Tan, Kristin Yvonne Rozier
2024 J jnl
Formalizing Coppersmith's Method.
Arch. Formal Proofs
Katherine Kosaian, Yong Kiam Tan
2024 — conf
Formally Certified Approximate Model Counting.
CAV (1)
Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
2024 J jnl
Formally Certified Approximate Model Counting.
CoRR
Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
2024 A* conf
Scores Tell Everything about Bob: Non-adaptive Face Reconstruction on Face Recognition Systems.
SP
Sunpill Kim, Yong Kiam Tan, Bora Jeong, Soumik Mondal, Khin Mi Mi Aung, Jae Hong Seo
2024 B conf
Unsupervised Fingerphoto Presentation Attack Detection With Diffusion Models.
IJCB
Hailin Li, Raghavendra Ramachandra, Mohamed Ragab, Soumik Mondal, Yong Kiam Tan, Khin Mi Mi Aung
2024 J jnl
Unsupervised Fingerphoto Presentation Attack Detection With Diffusion Models.
CoRR
Hailin Li, Raghavendra Ramachandra, Mohamed Ragab, Soumik Mondal, Yong Kiam Tan, Khin Mi Mi Aung
2023 B conf
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL.
CPP
Katherine Kosaian, Yong Kiam Tan, André Platzer
2023 J jnl
Cakes That Bake Cakes: Dynamic Computation in CakeML.
Proc. ACM Program. Lang.
Thomas Sewell, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar, Alexander Mihajlovic, Oskar Abrahamsson, Scott Owens
2023 J jnl
Concentration Inequalities.
Arch. Formal Proofs
Emin Karayel, Yong Kiam Tan
2023 J jnl
The Schwartz-Zippel Lemma.
Arch. Formal Proofs
Sunpill Kim, Yong Kiam Tan
2023 J jnl
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML.
Int. J. Softw. Tools Technol. Transf.
Yong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen
2022 J jnl
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL.
Arch. Formal Proofs
Katherine Cordwell, Yong Kiam Tan, André Platzer
2022 J jnl
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL.
CoRR
Katherine Kosaian, Yong Kiam Tan, André Platzer
2022 — —
Deductive Verification for Ordinary Differential Equations: Safety, Liveness, and Stability
Yong Kiam Tan
2022 J jnl
Implicit Definitions with Differential Equations for KeYmaera X (System Description).
CoRR
James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer
2022 A conf
Implicit Definitions with Differential Equations for KeYmaera X - (System Description).
IJCAR
James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer
2022 J jnl
Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact).
Dagstuhl Artifacts Ser.
Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox
2022 A conf
Verified Compilation and Optimization of Floating-Point Programs in CakeML.
ECOOP
Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox
2022 — conf
Verifying Switched System Stability With Logic.
HSCC
Yong Kiam Tan, Stefan Mitsch, André Platzer
2021 B conf
A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm.
ITP
Katherine Cordwell, Yong Kiam Tan, André Platzer
2021 J jnl
A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm.
CoRR
Katherine Cordwell, Yong Kiam Tan, André Platzer
2021 J jnl
An axiomatic approach to existence and liveness for differential equations.
Formal Aspects Comput.
Yong Kiam Tan, André Platzer
2021 — conf
Deductive Stability Proofs for Ordinary Differential Equations.
TACAS (2)
Yong Kiam Tan, André Platzer
2021 J jnl
Pegasus: sound continuous invariant generation.
Formal Methods Syst. Des.
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
2021 — conf
Switched Systems as Hybrid Programs.
ADHS
Yong Kiam Tan, André Platzer
2021 J jnl
Switched Systems as Hybrid Programs.
CoRR
Yong Kiam Tan, André Platzer
2021 J jnl
The BKR Decision Procedure for Univariate Real Arithmetic.
Arch. Formal Proofs
Katherine Cordwell, Yong Kiam Tan, André Platzer
2021 J jnl
Verifying Switched System Stability With Logic.
CoRR
Yong Kiam Tan, Stefan Mitsch, André Platzer
2021 — conf
cake_lpr: Verified Propagation Redundancy Checking in CakeML.
TACAS (2)
Yong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen
2020 J jnl
An Axiomatic Approach to Existence and Liveness for Differential Equations.
CoRR
Yong Kiam Tan, André Platzer
2020 J jnl
Deductive Stability Proofs for Ordinary Differential Equations.
CoRR
Yong Kiam Tan, André Platzer
2020 J jnl
Differential Equation Invariance Axiomatization.
J. ACM
André Platzer, Yong Kiam Tan
2020 J jnl
Do you have space for dessert? a verified space cost semantics for CakeML programs.
Proc. ACM Program. Lang.
Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Taqdees Syeda, Magnus O. Myreen, Yong Kiam Tan
2020 J jnl
Pegasus: Sound Continuous Invariant Generation.
CoRR
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
2020 J jnl
Proof-Producing Synthesis of CakeML from Monadic HOL Functions.
J. Autom. Reason.
Oskar Abrahamsson, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus O. Myreen, Michael Norrish, Yong Kiam Tan
2020 B conf
The Poincaré-Bendixson theorem in Isabelle/HOL.
CPP
Fabian Immler, Yong Kiam Tan
2019 J jnl
A Formal Safety Net for Waypoint Following in Ground Robots.
CoRR
Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer
2019 J jnl
A Formal Safety Net for Waypoint-Following in Ground Robots.
IEEE Robotics Autom. Lett.
Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer
2019 — conf
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving.
ARCH@CPSIoTWeek
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
2019 B conf
An Axiomatic Approach to Liveness for Differential Equations.
FM
Yong Kiam Tan, André Platzer
2019 J jnl
An Axiomatic Approach to Liveness for Differential Equations.
CoRR
Yong Kiam Tan, André Platzer
2019 J jnl
Differential Equation Invariance Axiomatization.
CoRR
André Platzer, Yong Kiam Tan
2019 B conf
Pegasus: A Framework for Sound Continuous Invariant Generation.
FM
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
2019 J jnl
The Poincaré-Bendixson Theorem.
Arch. Formal Proofs
Fabian Immler, Yong Kiam Tan
2019 J jnl
The verified CakeML compiler backend.
J. Funct. Program.
Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish
2019 A* conf
Verified compilation on a verified processor.
PLDI
Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, Anthony C. J. Fox
2018 — conf
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving.
ARCH@ADHS
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan
2018 A* conf
Differential Equation Axiomatization: The Impressive Power of Differential Ghosts.
LICS
André Platzer, Yong Kiam Tan
2018 J jnl
Differential Equation Axiomatization: The Impressive Power of Differential Ghosts.
CoRR
André Platzer, Yong Kiam Tan
2018 A conf
Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions.
IJCAR
Son Ho, Oskar Abrahamsson, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan, Michael Norrish
2018 B conf
Vector Barrier Certificates and Comparison Systems.
FM
Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer
2018 A* conf
VeriPhy: verified controller executables from verified cyber-physical system models.
PLDI
Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer
2017 B conf
Verified compilation of CakeML to multiple machine-code targets.
CPP
Anthony C. J. Fox, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar
2017 J jnl
Verifying efficient function calls in CakeML.
Proc. ACM Program. Lang.
Scott Owens, Michael Norrish, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan
2016 A conf
A new verified compiler backend for CakeML.
ICFP
Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish
2016 A conf
Functional Big-Step Semantics.
ESOP
Scott Owens, Magnus O. Myreen, Ramana Kumar, Yong Kiam Tan
2016 — conf
Improved Recurrent Neural Networks for Session-based Recommendations.
DLRS@RecSys
Yong Kiam Tan, Xinxing Xu, Yong Liu
2016 J jnl
Improved Recurrent Neural Networks for Session-based Recommendations.
CoRR
Yong Kiam Tan, Xinxing Xu, Yong Liu
2016 J jnl
Multi-Modal Hybrid Deep Neural Network for Speech Enhancement.
CoRR
Zhenzhou Wu, Sunil Sivadas, Yong Kiam Tan, Bin Ma, Rick Siow Mong Goh
2015 — conf
A verified type system for CakeML.
IFL
Yong Kiam Tan, Scott Owens, Ramana Kumar
2014 — conf
Towards building and evaluating a personalized location-based recommender system.
IEEE BigData
Rubing Duan, Rick Siow Mong Goh, Feng Yang, Yong Kiam Tan, Jesus F. B. Valenzuela