Rastislav Bodik

• Compiler Construction
• POPL '16
• SIGPLAN 2016 Compilation CD-ROM