Olivier Melançon's PhD defense slides, on static basic block versioning: https://olimel.net/static/share/defense_slides.html