Promising Compilation to ARMv8 POP

A compilation correctness proof from the Promise machine to ARMv8.

Authors: Anton Podkopaev, Ori Lahav, Viktor Vafeiadis

[Full paper, PLC slides, ECOOP slides]

Back