Overview
Availability
- Mr Brae Webb is:
- Available for supervision
Qualifications
- Bachelor of Science in Computer Science, The University of Queensland
- Bachelor (Honours) of Science in Computer Science, The University of Queensland
Works
Search Professor Brae Webb’s works on UQ eSpace
2024
Other Outputs
Software Architecture (3rd Edition)
Thomas, Richard, Webb. Brae and Hughes, Evan (2024). Software Architecture (3rd Edition). Brisbane, QLD, Australia: GitHub; The University of Queensland.
2023
Conference Publication
Differential testing of a verification framework for compiler optimizations (Case study)
Utting, Mark, Webb, Brae J. and Hayes, Ian J. (2023). Differential testing of a verification framework for compiler optimizations (Case study). IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), Melbourne, VIC Australia, 14-15 May 2023. Piscataway, NJ United States: Institute of Electrical and Electronics Engineers.. doi: 10.1109/formalise58978.2023.00015
2023
Other Outputs
Software Architecture (2nd Edition)
Thomas, Richard, Webb, Brae and Hughes, Evan (2023). Software Architecture (2nd Edition). Brisbane, Qld, Australia: GitHub; The University of Queensland.
2023
Conference Publication
Verifying term graph optimizations using Isabelle/HOL
Webb, Brae J., Hayes, Ian J. and Utting, Mark (2023). Verifying term graph optimizations using Isabelle/HOL. 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP'23), Boston, MA, United States, 16-17 January 2023. New York, NY, United States: ACM. doi: 10.1145/3573105.3575673
2023
Conference Publication
Verifying compiler optimisations (invited paper)
Hayes, Ian J., Utting, Mark and Webb, Brae J. (2023). Verifying compiler optimisations (invited paper). 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, 21–24 November 2023. Singapore, Singapore: Springer Nature Singapore. doi: 10.1007/978-981-99-7584-6_1
2022
Other Outputs
Software Architecture
Thomas, Richard and Webb, Brae (2022). Software Architecture. Brisbane, QLD, Australia: GitHub; The University of Queensland.
2021
Conference Publication
A formal semantics of the GraalVM intermediate representation
Webb, Brae J., Utting, Mark and Hayes, Ian J. (2021). A formal semantics of the GraalVM intermediate representation. 19th International Symposium, ATVA 2021, Gold Coast, QLD Australia, 18-22 October 2021. Cham, Switzerland: Springer International Publishing. doi: 10.1007/978-3-030-88885-5_8
Supervision
Availability
- Mr Brae Webb is:
- Available for supervision
Before you email them, read our advice on how to contact a supervisor.
Media
Enquiries
For media enquiries about Mr Brae Webb's areas of expertise, story ideas and help finding experts, contact our Media team: