@misc{indiciaedd94fef2f7c6,
  title = {A Formal Semantics of the GraalVM Intermediate Representation},
  author = {Brae J. Webb and Mark Utting and Ian J. Hayes},
  year = {2021},
  doi = {10.1007/978-3-030-88885-5\_8},
  url = {https://arxiv.org/abs/2107.01815},
  note = {Source identifier: 2107.01815}
}