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

FormaliSE 2023	Author of Differential Testing of a Verification Framework for Compiler Optimizations (Case Study) within the FormaliSE 2023-track
CPP 2023	Author of Verifying term graph optimizations using Isabelle/HOL within the CPP 2023-track