"Building a Compiler for Quantum Computers" - Matthew Treinish (LCA 2020)