Graph Rewriting-based Superoptimisation | DPhil Thesis

DPhil Thesis

DPhil Thesis
- Introduction
- Quantum Computing: a Computer Scientist's Perspective
- Challenges in Compiling Hybrid Programs
- Graph Rewriting-based Superoptimisation
  - Structure
- Fast Pattern Matching
- Parallel Rewriting
- Conclusion

Graph Rewriting-based Superoptimisation

Present the architecture that we propose.