22 citations · 40 across the 16 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 4 cited
A Formal Semantics of the GraalVM Intermediate Representation
Brae J. Webb, Mark Utting, Ian J. Hayes
The optimization phase of a compiler is responsible for transforming an intermediate representation (IR) of a program into a more efficient form. Modern optimizers, such as that us…
cs.LO2021
Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style
Ian J. Hayes, Larissa A. Meinicke, Patrick A. Meiring
This paper presents a theory for the refinement of shared-memory concurrent algorithms from specifications. We augment pre and post condition specifications with Jones' rely and gu…