A Formal Semantics of the GraalVM Intermediate Representation.

Brae J. Webb, Mark Utting, Ian J. Hayes

Browse the full ATVA paper archive.