Brae J. Webb - POPL 2023

Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States

Registered user since Mon 12 Dec 2022

Name:Brae J. Webb

Country:Australia

Affiliation:The University of Queensland

GitHub: https://github.com/BraeWebb

Contributions

2023

CPP

Verifying term graph optimizations using Isabelle/HOL

Show activities from other conferences

POPL 2023-profile
View general profile