Automatically Eliminating Speculative Leaks with Blade

POPL 2020