Scaling Quantum Compilation with Graph Rewriting

Introduction
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
- Pattern matching engine
- 02 Parallel
Appendix
Unrolled thesis