Brae J. Webb

According to our database, Brae J. Webb authored at least 5 papers between 2021 and 2023.

Collaborative distances:

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

2023

Differential Testing of a Verification Framework for Compiler Optimizations (Case Study).

Mark Utting, Brae J. Webb, Ian J. Hayes

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

Verifying Compiler Optimisations - (Invited Paper).

Ian J. Hayes, Mark Utting, Brae J. Webb

Proceedings of the Formal Methods and Software Engineering, 2023

Verifying Term Graph Optimizations using Isabelle/HOL.

Brae J. Webb, Ian J. Hayes, Mark Utting

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper).

Mark Utting, Brae J. Webb, Ian J. Hayes

CoRR, 2022

2021

A Formal Semantics of the GraalVM Intermediate Representation.

Brae J. Webb, Mark Utting, Ian J. Hayes

Proceedings of the Automated Technology for Verification and Analysis, 2021