4 citations · 8 across the 6 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★ 1 cited
Verification of a Smart Contract for a Simple Casino
Mark Utting, Liam Kent
We describe the verification of an existing smart contract for a simple casino application, using the Whiley specification and programming language, with a fully automated verifica…