My thesis contains substantial completed yet unpublished work. It can be separated into the following three papers.
- M. Rocklin, Static Scheduling of Array Operations onto Heterogeneous Architectures
- M. Rocklin, Automated Reasoning on Matrix Expressions for LAPACK Code Generation
- M. Rocklin, Declarative Ordering Policies with Applications to Asynchronous Communication
I publish my work at a finer, and more frequent scale at my technical blog. Additionally the source code for many projects is released long before written works are published.