Formally Verified Speculation and Deoptimization


Article by Aurèle Barrière, Sandrine Blazy, Olivier Flückiger, David Pichardie, Jan Vitek, published at POPL ‘21