Collaborated with:M.O.Myreen R.Kumar O.Abrahamsson M.Norrish S.Owens B.Bohrer S.Mitsch A.Platzer S.Ho Andreas Lööw Anthony C. J. Fox
Talks about:verifi (4) function (2) processor (1) synthesi (1) control (1) system (1) semant (1) produc (1) physic (1) execut (1)
Person: Yong Kiam Tan
DBLP: Tan:Yong_Kiam
Contributed to:
2016
2018
20182019Wrote 4 papers:
- ESOP-2016-OwensMKT #functional #semantics
- Functional Big-Step Semantics (SO, MOM, RK, YKT), pp. 589–615.
- IJCAR-2018-HoAKMTN #monad #synthesis
- Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions (SH, OA, RK, MOM, YKT, MN), pp. 646–662.
- PLDI-2018-BohrerTMMP #bytecode #cyber-physical #modelling #named
- VeriPhy: verified controller executables from verified cyber-physical system models (BB, YKT, SM, MOM, AP), pp. 617–630.
- PLDI-2019-LoowKTMNAF #compilation
- Verified compilation on a verified processor (AL, RK, YKT, MOM, MN, OA, ACJF), pp. 1041–1053.