Eric Holk

发表

Jason Hemann, Eric Holk, Eric Holk, 2013, FARM '13.

Schism: A Self-Hosting Scheme to WebAssembly Compiler

Eric Holk, Eric Holk, 2018, EasyChair Preprints.

Meta-programming and auto-tuning in the search for high performance GPU code

Bo Joel Svensson, Ryan Newton, Michael Vollmer, 2015, FHPC@ICFP.

GPU Programming in Rust: Implementing High-Level Abstractions in a Systems-Level Language

Andrew Lumsdaine, Milinda Pathirage, Arun Chauhan, 2013, 2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum.

An Embedded DSL for High Performance Declarative Communication with Correctness Guarantees in C++

Andrew Lumsdaine, Arun Chauhan, Nilesh Mahajan, 2015, LCPC.

Region-based memory management for expressive GPU programming

Eric Holk, Eric Holk, 2016 .

miniKanren, live and untagged: quine generation via relational interpreters (programming pearl)

William E. Byrd, Daniel P. Friedman, Eric Holk, 2012, Scheme '12.

Kanor - A Declarative Language for Explicit Communication

Torsten Hoefler, William E. Byrd, Andrew Lumsdaine, 2011, PADL.

Dynamic parallelism for simple and efficient GPU graph algorithms

Scott McMillan, Andrew Lumsdaine, Marcin Zalewski, 2015, IA3@SC.

Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host

Ryan Newton, Jeremy G. Siek, Andrew Lumsdaine, 2014, OOPSLA.

Converting data-parallelism to task-parallelism by rewrites: purely functional programs across multiple GPUs

Bo Joel Svensson, Ryan Newton, Michael Vollmer, 2015, FHPC@ICFP.

Declarative Parallel Programming for GPUs

William E. Byrd, Andrew Lumsdaine, Arun Chauhan, 2011, PARCO.

High-level Coordination Specification

Joseph A. Cottam, William E. Byrd, Arun Chauhan, 2012 .

Converting Data to Task-Parallelism by Rewrites

Trevor L. McDonell, Ryan R. Newton, Eric Holk, 2014 .