FHPC 2016 – Proceedings

5th International Workshop on Functional High-Performance Computing (FHPC 2016), September 22, 2016, Nara, Japan

5th International Workshop on Functional High-Performance Computing (FHPC 2016)

Frontmatter

Keynote

Domain-Specific Languages

Icicle: Write Once, Run Once
Amos Robinson and Ben Lippmeier
(UNSW, Australia; Ambiata, Australia; Vertigo Technology, Australia)
Article: icfpws16fhpcmain-fhpcmainid1-p doi:

Using Fusion to Enable Late Design Decisions for Pipelined Computations
Máté Karácsony and Koen Claessen
(Eötvös Loránd University, Hungary; Chalmers University of Technology, Sweden)
Article: icfpws16fhpcmain-fhpcmainid2-p doi:

Code Generation

Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation
Takayuki Muranushi, Seiya Nishizawa, Hirofumi Tomita, Keigo Nitadori, Masaki Iwasawa, Yutaka Maruyama, Hisashi Yashiro, Yoshifumi Nakamura, Hideyuki Hotta, Junichiro Makino, Natsuki Hosono, and Hikaru Inoue
(RIKEN AICS, Japan; Chiba University, Japan; Kobe University, Japan; Kyoto University, Japan; Fujitsu, Japan)
Article: icfpws16fhpcmain-fhpcmainid4-p doi:

JIT Costing Adaptive Skeletons for Performance Portability
Patrick Maier, John Magnus Morton, and Phil Trinder
(University of Glasgow, UK)
Article: icfpws16fhpcmain-fhpcmainid7-p doi:

GPUs

Low-Level Functional GPU Programming for Parallel Algorithms
Martin Dybdal, Martin Elsman, Bo Joel Svensson, and Mary Sheeran
(University of Copenhagen, Denmark; Chalmers University of Technology, Sweden)
Article: icfpws16fhpcmain-fhpcmainid5-p doi:

APL on GPUs: A TAIL from the Past, Scribbled in Futhark
Troels Henriksen, Martin Dybdal, Henrik Urms, Anna Sofie Kiehn, Daniel Gavin, Hjalte Abelskov, Martin Elsman, and Cosmin Oancea
(University of Copenhagen, Denmark)
Article: icfpws16fhpcmain-fhpcmainid8-p doi:

Streaming and Dataflow

Streaming Nested Data Parallelism on Multicores
Frederik M. Madsen and Andrzej Filinski
(University of Copenhagen, Denmark)
Article: icfpws16fhpcmain-fhpcmainid13-p doi:

Polarized Data Parallel Data Flow
Ben Lippmeier, Fil Mackay, and Amos Robinson
(Vertigo Technology, Australia; UNSW, Australia; Ambiata, Australia)
Article: icfpws16fhpcmain-fhpcmainid3-p doi:

Graph Processing

s6raph: Vertex-Centric Graph Processing Framework with Functional Interface
Onofre Coll Ruiz, Kiminori Matsuzaki, and Shigeyuki Sato
(Kochi University of Technology, Japan)
Article: icfpws16fhpcmain-fhpcmainid10-p doi: