|
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/HOLWebb, 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 ArchitectureThomas, 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 representationWebb, 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 |
