Concepedia

Yong Kiam Tan

YK

14

Publications

338

Citations

12

H-Index

2006

Active since

Affiliations

Chalmers University of Technology(Current)

Carnegie Mellon University

Commonwealth Scientific and Industrial Research Organisation

University of Cambridge

Yong Kiam Tan is an author at Chalmers University of Technology specializing in program analysis, formal methods, and verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationCompilersComputer EngineeringSoftware Verification

Publications per year

2006–2023

14

Publications

14

VeriPhy: verified controller executables from verified cyber-physical system models

Rose Bohrer, Yong Kiam Tan, Stefan Mitsch et al. · 2018 · 59 citations · Full text

Engineering, Verification, Present Veriphy +18

A new verified compiler backend for CakeML

Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar et al. · 2016 · 49 citations · Full text

The verified CakeML compiler backend

Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar et al. · Journal of Functional Programming · 2019 · 47 citations

Engineering, Compiler Technology, Verification +21

Global exponential stability of periodic solution of neural network with variable coefficients and time-varying delays

Tan Ming-jia, Yong Kiam Tan · Applied Mathematical Modelling · 2007 · 28 citations

Stability Analysis, Nonlinear Control, Time Delay System +6

Differential Equation Axiomatization

André Platzer, Yong Kiam Tan · 2018 · 26 citations · Full text

Rows per page

1–5 of 14