Ian J. Hayes

1. A Formal Semantics of the GraalVM Intermediate Representation
   2021/01/01 by Brae J. Webb, Mark Utting, Ian J. Hayes · 1 voice
   Computer Science · #Embedded Systems Design Techniques #Formal Methods in Verification #Logic, programming, and type systems #cs.LO #cs.PL
2. Generalised rely-guarantee concurrency: An algebraic foundation
   2016/03/06 by Ian J. Hayes, Hayes, Ian J. · 1 citation
   Computer Science · #D.1.3 #D.2.4 #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
3. Possible values: exploring a concept for concurrency
   2016/01/09 by Cliff B. Jones, Jones, Cliff B., Ian J. Hayes +1 · 1 citation
   Computer Science · #Distributed systems and fault tolerance #Logic, programming, and type systems #Formal Methods in Verification
4. Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures
   2024/07/30 by Robert J. Colvin, Ian J. Hayes, Colvin, Robert J. +9 · 2 citations
   Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Network Time Synchronization Technologies #Parallel Computing and Optimization Techniques
5. A synchronous program algebra: a basis for reasoning about shared-memory\n and event-based concurrency
   2017/10/09 by Ian J. Hayes, Hayes, Ian J., Larissa Meinicke +5 · 1 citation
   Computer Science · #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #Formal Methods in Verification
6. Encoding fairness in a synchronous concurrent program algebra: extended version with proofs
   2018/05/04 by Ian J. Hayes, Larissa Meinicke, Hayes, Ian J. +1 · 1 citation
   Computer Science · #68Q60 #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Parallel #and Cluster Computing (cs.DC)
7. Distributive Laws for Parallel Composition in Rely-Guarantee Concurrency
   2026/07/20 by Ian J. Hayes, Larissa A. Meinicke
   #cs.PL #cs.LO