Ian J. Hayes - FormaliSE 2023

Dates to be announced Melbourne, Australia

co-located with ICSE 2023

Registered user since Mon 12 Dec 2022

Name:Ian J. Hayes

Country:Australia

Affiliation:The University of Queensland

Personal website: https://staff.itee.uq.edu.au/ianh/

Research interests:Software verification, compiler optimization, concurrency

Contributions

2023

FormaliSE

Using cylindric algebra to support local variables in rely/guarantee concurrency
Differential Testing of a Verification Framework for Compiler Optimizations (Case Study)

Show activities from other conferences

ICSE 2023-profile
View general profile