A Formal Semantics of the GraalVM Intermediate Representation. - Brae J. Webb; Mark Utting; Ian J. Hayes (ATVA, 2021)

Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper). - Mark Utting; Brae J. Webb; Ian J. Hayes (CoRR, 2022)

Verifying Term Graph Optimizations using Isabelle/HOL. - Brae J. Webb; Ian J. Hayes; Mark Utting (CPP, 2023)

Verifying Compiler Optimisations - (Invited Paper). - Ian J. Hayes; Mark Utting; Brae J. Webb (ICFEM, 2023)

Differential Testing of a Verification Framework for Compiler Optimizations (Case Study). - Mark Utting; Brae J. Webb; Ian J. Hayes (FormaliSE, 2023)