Working titles

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

Journal Papers

Conference Proceedings

Magazine Style


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.


I often give talks at academic/programming conferences. Some of these are recorded and available online

Matthew Rocklin

Matthew Rocklin

Postdoctoral Researcher at Sandia National Labs