Brae J. Webb -

Registered user since Mon 12 Dec 2022

Name:Brae J. Webb

Country:Australia

Affiliation:The University of Queensland

GitHub: https://github.com/BraeWebb

Contributions

2023

FormaliSE

Author of Differential Testing of a Verification Framework for Compiler Optimizations (Case Study) within the FormaliSE 2023-track

CPP

Author of Verifying term graph optimizations using Isabelle/HOL within the CPP 2023-track