Scaling Quantum Compilation with Graph Rewriting

Introduction
- A new compilation regime
- Contributions and thesis outline
Quantum Computing: a Computer Scientist's Perspective
Quantum Compilation as a Graph Transformation Problem
Pattern Matching in large Graph Transformation Systems
Fully and Confluently Persistent Graph Rewriting
Future Work and Conclusions
- More expressive pattern matching
- Massively parallel graph rewriting
Appendix
- Prefix trees
- 02 Ellbound
Unrolled thesis