A. C. J. Fox

From MaRDI portal
Person:172359

Available identifiers

zbMath Open fox.anthony-c-jMaRDI QIDQ172359

List of research outcomes





PublicationDate of PublicationType
Taming an authoritative armv8 ISA specification: L3 validation and cakeml compiler verification2024-07-15Paper
CHERI Concentrate: Practical Compressed Capabilities2020-01-28Paper
The verified CakeML compiler backend2019-11-22Paper
Improved Tool Support for Machine-Code Decompilation in HOL42015-09-14Paper
Reconstruction of Z3's bit-vector proofs in HOL4 and Isabelle/HOL2011-11-22Paper
LCF-style bit-blasting in HOL42011-08-17Paper
A trustworthy monadic formalization of the ARMv7 instruction set architecture2010-09-14Paper
Hoare Logic for ARM Machine Code2008-07-01Paper
Algebra and Coalgebra in Computer Science2006-10-20Paper
Algebraic models of correctness for microprocessors2001-04-17Paper

Research outcomes over time

This page was built for person: A. C. J. Fox

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:172359&oldid=6564366"
Powered by MediaWiki