Koh Chuen Hoa

According to our database, Koh Chuen Hoa authored at least 2 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model.

Zhé Hóu, David Sanán, Alwen Tiu, Yang Liu, Koh Chuen Hoa, Jin Song Dong

J. Autom. Reason., 2021

2016

An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor.

Zhe Hou, David Sanán, Alwen Tiu, Yang Liu, Koh Chuen Hoa

Proceedings of the FM 2016: Formal Methods, 2016