معرفی
Ian J. Hayes is affiliated with The University of Queensland in Australia. His research focuses on software verification, compiler optimization, and concurrency. At POPL 2023, he contributed to the FormaliSE and CPP tracks with work on formal methods in compiler verification.
Research Interests
- Software verification using formal logic
- Compiler optimization techniques
- Concurrency modeling and analysis
Conference Contributions
In 2023, Hayes presented three works: (1) a formal approach to local variables in concurrent systems using cylindric algebra; (2) a case study on differential testing of compiler optimization verification; and (3) term graph optimization verification via Isabelle/HOL. These contributions highlight his expertise in applying formal methods to compiler and concurrency challenges.
حوزههای پژوهشی
۰مقاله منتشرشده
