Eric Holk

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 0

Top Topics

Functional Programs

Declarative Knowledge

Programming Language

Straight Forward

Top Venues

Publications

Nilesh Mahajan, Eric Holk, Arun Chauhan, Andrew Lumsdaine
An Embedded DSL for High Performance Declarative Communication with Correctness Guarantees in C++. LCPC (2015)
Bo Joel Svensson, Michael Vollmer, Eric Holk, Trevor L. McDonell, Ryan R. Newton
Converting data-parallelism to task-parallelism by rewrites: purely functional programs across multiple GPUs. FHPC@ICFP (2015)
Peter Zhang, Eric Holk, John Matty, Samantha Misurda, Marcin Zalewski, Jonathan Chu, Scott McMillan, Andrew Lumsdaine
Dynamic parallelism for simple and efficient GPU graph algorithms. IA3@SC (2015)
Michael Vollmer, Bo Joel Svensson, Eric Holk, Ryan R. Newton
Meta-programming and auto-tuning in the search for high performance GPU code. FHPC@ICFP (2015)
Eric Holk, Ryan Newton, Jeremy G. Siek, Andrew Lumsdaine
Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host. OOPSLA (2014)
Eric Holk, Milinda Pathirage, Arun Chauhan, Andrew Lumsdaine, Nicholas D. Matsakis
GPU Programming in Rust: Implementing High-Level Abstractions in a Systems-Level Language. IPDPS Workshops (2013)
Jason Hemann, Eric Holk
Visualizing the turing tarpit. FARM@ICFP (2013)
William E. Byrd, Eric Holk, Daniel P. Friedman
miniKanren, live and untagged: quine generation via relational interpreters (programming pearl). Scheme@ICFP (2012)
Eric Holk, William E. Byrd, Nilesh Mahajan, Jeremiah Willcock, Arun Chauhan, Andrew Lumsdaine
Declarative Parallel Programming for GPUs. PARCO (2011)
Eric Holk, William E. Byrd, Jeremiah Willcock, Torsten Hoefler, Arun Chauhan, Andrew Lumsdaine
Kanor - A Declarative Language for Explicit Communication. PADL (2011)