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

CPP 2023 Verifying term graph optimizations using Isabelle/HOL
Show activities from other conferences

Using general profile