Kanor - A Declarative Language for Explicit Communication. - Eric Holk; William E. Byrd; Jeremiah Willcock; Torsten Hoefler; Arun Chauhan 001; Andrew Lumsdaine (PADL, 2011)

Declarative Parallel Programming for GPUs. - Eric Holk; William E. Byrd; Nilesh Mahajan; Jeremiah Willcock; Arun Chauhan 001; Andrew Lumsdaine (PARCO, 2011)

miniKanren, live and untagged: quine generation via relational interpreters (programming pearl). - William E. Byrd; Eric Holk; Daniel P. Friedman (Scheme@ICFP, 2012)

Visualizing the turing tarpit. - Jason Hemann; Eric Holk (FARM@ICFP, 2013)

GPU Programming in Rust: Implementing High-Level Abstractions in a Systems-Level Language. - Eric Holk; Milinda Pathirage; Arun Chauhan 001; Andrew Lumsdaine; Nicholas D. Matsakis (IPDPS Workshops, 2013)

Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host. - Eric Holk; Ryan Newton; Jeremy G. Siek; Andrew Lumsdaine (OOPSLA, 2014)

Converting data-parallelism to task-parallelism by rewrites: purely functional programs across multiple GPUs. - Bo Joel Svensson; Michael Vollmer 003; Eric Holk; Trevor L. McDonell; Ryan R. Newton (FHPC@ICFP, 2015)

Meta-programming and auto-tuning in the search for high performance GPU code. - Michael Vollmer 003; Bo Joel Svensson; Eric Holk; Ryan R. Newton (FHPC@ICFP, 2015)

An Embedded DSL for High Performance Declarative Communication with Correctness Guarantees in C++. - Nilesh Mahajan; Eric Holk; Arun Chauhan 001; Andrew Lumsdaine (LCPC, 2015)

Dynamic parallelism for simple and efficient GPU graph algorithms. - Peter Zhang; Eric Holk; John Matty; Samantha Misurda; Marcin Zalewski; Jonathan Chu; Scott McMillan; Andrew Lumsdaine (IA3@SC, 2015)