Programming Research Laboratory
Programming language design and implementation, security, scientific computing.
MIT Lincoln Laboratory
Summer Research Intern, 2014
Project: "Toward Knowledge-Based Security for Concurrent Programs"
Graduate Research Assistant, 2012-2014
DARPA CRASH program, SAFE team. Information-flow security
University of Colorado
Undergraduate Research, 2009-2011
Build to Order BLAS project, a high-performance compiler for
basic linear algebra
Software Development Intern, 2008
Well-typed Islands Parse Faster.
Erik Silkensen and Jeremy Siek.
Lecture Notes in Computer Science Volume 7892, 2013. Revised Selected Papers from the Trends in Functional Programming 13th International Symposium, June 12-14, 2012.
Paper [bib, pdf].
A Survey of Dynamical Systems Models for Language Change.
Projects in Chaotic Dynamics,
University of Colorado Department of Computer Science Technical Report CU-CS 1095-12, June 2012.
Modeling the Memory and Performance Impacts of Loop Fusion.
Ian Karlin, Elizabeth Jessup, and Erik Silkensen.
Journal of Computational Science, March 2011.
A Statistical Approach to Reducing an Optimization Search Space.
Ian Karlin, Erik Silkensen, Elizabeth Jessup, Geoff Belter, Thomas Nelson, Pavel Zelinsky, and Jeremy Siek.
Colorado Celebration of Women in Computing (CCWIC),
Golden, CO, November 2010.
Understanding the Memory Effects in the Automated Generation of Optimized Matrix Algebra Kernels.
Elizabeth Jessup, Ian Karlin, Erik Silkensen, Geoff Belter, and Jeremy Siek.
Proceedings of the International Conference on Computational Science (ICCS), May 2010.
Understanding Memory Effects of Loop Fusion for Linear Algebra Operations.
Erik Silkensen, Ian Karlin, Elizabeth Jessup, Geoff Belter, Thomas Nelson, and Jeremy Siek.
SIAM Conference on Computational Science and Engineering (CSE11), Reno, NV, March 2011.
Enhancing the Automatic Generation of Fused Linear Algebra Kernels.
Erik Silkensen, Geoff Belter, Elizabeth Jessup, and Jeremy Siek.
International Conference for High Performance Computing, Networking, Storage and Analysis (SC09),
Portland, OR, November 2009.