Personal information

Activities

Employment (1)

Carnegie Mellon University: Pittsburgh, PA, US

Graduate Research Assistant (Computer Science Department)
Employment
Source: Self-asserted source
Yong Kiam Tan

Works (14)

Certified MaxSAT Preprocessing

2024 | Book chapter
Contributors: Hannes Ihalainen; Andy Oertel; Yong Kiam Tan; Jeremias Berg; Matti Järvisalo; Magnus O. Myreen; Jakob Nordström
Source: check_circle
Crossref

Formalizing Coppersmith’s Method in Isabelle/HOL

2024 | Book chapter
Contributors: Katherine Kosaian; Yong Kiam Tan; Kristin Yvonne Rozier
Source: check_circle
Crossref

Formally Certified Approximate Model Counting

2024 | Book chapter
Contributors: Yong Kiam Tan; Jiong Yang; Mate Soos; Magnus O. Myreen; Kuldeep S. Meel
Source: check_circle
Crossref

Cakes That Bake Cakes: Dynamic Computation in CakeML

Proceedings of the ACM on Programming Languages
2023-06-06 | Journal article
Contributors: Thomas Sewell; Magnus O. Myreen; Yong Kiam Tan; Ramana Kumar; Alexander Mihajlovic; Oskar Abrahamsson; Scott Owens
Source: check_circle
Crossref

Implicit Definitions with Differential Equations for KeYmaera X

2022 | Book chapter
Contributors: James Gallicchio; Yong Kiam Tan; Stefan Mitsch; André Platzer
Source: check_circle
Crossref

cake_lpr: Verified Propagation Redundancy Checking in CakeML

2021 | Book chapter
Contributors: Yong Kiam Tan; Marijn J. H. Heule; Magnus O. Myreen
Source: check_circle
Crossref

Deductive Stability Proofs for Ordinary Differential Equations

2021 | Book chapter
Contributors: Yong Kiam Tan; André Platzer
Source: check_circle
Crossref

Pegasus: sound continuous invariant generation

Formal Methods in System Design
2021-10 | Journal article
Contributors: Andrew Sogokon; Stefan Mitsch; Yong Kiam Tan; Katherine Cordwell; André Platzer
Source: check_circle
Crossref

An axiomatic approach to existence and liveness for differential equations

Formal Aspects of Computing
2021-08 | Journal article
Contributors: Yong Kiam Tan; André Platzer
Source: check_circle
Crossref

Differential Equation Invariance Axiomatization

Journal of the ACM
2020-02-29 | Journal article
Contributors: André Platzer; Yong Kiam Tan
Source: check_circle
Crossref

An Axiomatic Approach to Liveness for Differential Equations

2019 | Book chapter
Contributors: Yong Kiam Tan; André Platzer
Source: check_circle
Crossref

Pegasus: A Framework for Sound Continuous Invariant Generation

2019 | Book chapter
Contributors: Andrew Sogokon; Stefan Mitsch; Yong Kiam Tan; Katherine Cordwell; André Platzer
Source: check_circle
Crossref

A Formal Safety Net for Waypoint-Following in Ground Robots

IEEE Robotics and Automation Letters
2019-07 | Journal article
Contributors: Rose Bohrer; Yong Kiam Tan; Stefan Mitsch; Andrew Sogokon; Andre Platzer
Source: check_circle
Crossref

Vector Barrier Certificates and Comparison Systems

2018 | Book chapter
Contributors: Andrew Sogokon; Khalil Ghorbal; Yong Kiam Tan; André Platzer
Source: check_circle
Crossref