Erik Silkensen

Programming Languages and Verification, University of Colorado at Boulder

Research

I'm currently working with Professor Jeremy Siek on extensible syntax. We're developing a tool that provides a user-friendly method for specifying and parsing the syntax of domain-specific languages.

In the past, I worked with Professor Elizabeth Jessup and Dr. Ian Karlin on the Build to Order BLAS (BTO) project. BTO is a compiler for a DSL of matrix algebra operations similar to MATLAB.

Papers

Presentations

Projects