Ian J. Hayes - POPL 2023 (original) (raw)
Registered user since Mon 12 Dec 2022
Name:Ian J. Hayes
Country:Australia
Affiliation:The University of Queensland
Research interests:Software verification, compiler optimization, concurrency
Contributions
Registered user since Mon 12 Dec 2022
Name:Ian J. Hayes
Country:Australia
Affiliation:The University of Queensland
Research interests:Software verification, compiler optimization, concurrency
Contributions