3 ms·Correctness of Speculative Optimizations with Dynamic Deoptimization [pdf]2 points by lainon 8y ago