Yong Kiam Tan

According to our database1, Yong Kiam Tan authored at least 29 papers between 2014 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm.
CoRR, 2021

Switched Systems as Hybrid Programs.
CoRR, 2021

2020
Do you have space for dessert? a verified space cost semantics for CakeML programs.
Proc. ACM Program. Lang., 2020

Proof-Producing Synthesis of CakeML from Monadic HOL Functions.
J. Autom. Reason., 2020

Differential Equation Invariance Axiomatization.
J. ACM, 2020

Deductive Stability Proofs for Ordinary Differential Equations.
CoRR, 2020

Pegasus: Sound Continuous Invariant Generation.
CoRR, 2020

An Axiomatic Approach to Existence and Liveness for Differential Equations.
CoRR, 2020

The Poincaré-Bendixson theorem in Isabelle/HOL.
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019
A Formal Safety Net for Waypoint-Following in Ground Robots.
IEEE Robotics Autom. Lett., 2019

The verified CakeML compiler backend.
J. Funct. Program., 2019

The Poincaré-Bendixson Theorem.
Arch. Formal Proofs, 2019

Verified compilation on a verified processor.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

An Axiomatic Approach to Liveness for Differential Equations.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Pegasus: A Framework for Sound Continuous Invariant Generation.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018
VeriPhy: verified controller executables from verified cyber-physical system models.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Differential Equation Axiomatization: The Impressive Power of Differential Ghosts.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Vector Barrier Certificates and Comparison Systems.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017
Verifying efficient function calls in CakeML.
Proc. ACM Program. Lang., 2017

Verified compilation of CakeML to multiple machine-code targets.
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

2016
Multi-Modal Hybrid Deep Neural Network for Speech Enhancement.
CoRR, 2016

Improved Recurrent Neural Networks for Session-based Recommendations.
Proceedings of the 1st Workshop on Deep Learning for Recommender Systems, 2016

A new verified compiler backend for CakeML.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Functional Big-Step Semantics.
Proceedings of the Programming Languages and Systems, 2016

2015
A verified type system for CakeML.
Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, 2015

2014
Towards building and evaluating a personalized location-based recommender system.
Proceedings of the 2014 IEEE International Conference on Big Data, 2014


  Loading...