• Sign in
  • Sign up
conf.researchr.org / Brae J. Webb
  • ICSE 2023 profile
  • POPL 2023 profile
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

Share
xSat 1 Apr 09:50
using conf.researchr.org (v1.60.0)
Support page
Sign Up