3 ms·Formally Verified Speculation and Deoptimization in a JIT Compiler (POPL 2021)1 points by matt_d 5y ago