Brae J. Webb

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 7

Top Topics

Tightly Coupled

Intermediate Representations

Formal Semantics

Top Venues

Publications

Brae J. Webb, Ian J. Hayes, Mark Utting
Verifying Term Graph Optimizations using Isabelle/HOL. CPP (2023)
Ian J. Hayes, Mark Utting, Brae J. Webb
Verifying Compiler Optimisations - (Invited Paper). ICFEM (2023)
Mark Utting, Brae J. Webb, Ian J. Hayes
Differential Testing of a Verification Framework for Compiler Optimizations (Case Study). FormaliSE (2023)
Brae J. Webb, Ian J. Hayes, Mark Utting
Verifying term graph optimizations using Isabelle/HOL. CoRR (2022)
Mark Utting, Brae J. Webb, Ian J. Hayes
Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper). CoRR (2022)
Brae J. Webb, Mark Utting, Ian J. Hayes
A Formal Semantics of the GraalVM Intermediate Representation. CoRR (2021)
Brae J. Webb, Mark Utting, Ian J. Hayes
A Formal Semantics of the GraalVM Intermediate Representation. ATVA (2021)