The Wayback Machine - https://web.archive.org/web/20210511230541/https://www.usenix.org/system/files/conference/foci17/foci17-paper-espinoza.pdf