Ian J. Hayes

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

Show activities from other conferences

POPL 2023-profile
View general profile