Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Brae J. Webb
conf.researchr.org general profile
ICSE 2023 profile
POPL 2023 profile
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
x
Sat 1 Apr 09:50