Anthony C. J. Fox

7 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Taming an Authoritative Armv8 ISA Specification: L3 Validation and CakeML Compiler Verification

Hrutvik Kanabar and others (2022) · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · Schloss Dagstuhl – Leibniz Center for Informatics

Verified compilation on a verified processor

Andreas Lööw and others (2019) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

The verified CakeML compiler backend

Yong Kiam Tan and others (2019) · Cambridge University Press (CUP)

Verified compilation of CakeML to multiple machine-code targets

Anthony C. J. Fox and others (2016)

A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture

Anthony C. J. Fox and others (2010) · Springer Berlin Heidelberg

The semantics of power and ARM multiprocessor machine code

Jade Alglave and others (2009)

Formal Specification and Verification of ARM6

Anthony C. J. Fox (2003) · Lecture notes in computer science · Springer Science+Business Media