The subgraph isomorphism problem involves deciding whether a copy of a pattern graph
occurs inside a larger target graph. The non-induced version allows extra edges in the …

Specialized hardware accelerators continue to be a source of performance improvement.
However, such specialization comes at a programming price. The fundamental issue is that …

Dedicated tensor accelerators demonstrate the importance of linear algebra in modern
applications. Such accelerators have the potential for impressive performance gains, but …

Like most doctoral students, I started my studies by reviewing the existing, most prominent
approaches in the field. A couple of months later I thought I had acquired a sufficient …

This thesis improves the state of the art in exact, practical algorithms for finding subgraphs.
We study maximum clique, subgraph isomorphism, and maximum common subgraph …

Specialized hardware accelerators continue to be a source of performance improvement.
However, such specialization comes at a programming price. The fundamental issue is that …

Although specialized hardware promises orders of magnitude performance gains, their
uptake has been limited by how challenging it is to program them. Hardware accelerators …

In code generation, instruction selection chooses instructions to implement a given program
under compilation, global code motion moves computations from one part of the program to …

This is probably the hardest part of the writing process, as there is so many important people
that has influenced the journey to the completion of this document, and remembering each …