"CleanupSpec: An "Undo" Approach to Safe Speculation."

Gururaj Saileshwar, Moinuddin K. Qureshi (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics