Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan

The 5th ACM SIGPLAN Workshop on Functional High-Performance Computing workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative or high-level) programming technology in application domains where high performance is essential. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as maintainable and portable code that approaches (or even exceeds) the performance of machine-oriented imperative implementations.

All aspects of performance critical programming and parallel programming are in-scope for the workshop, irrespective of hardware target. This includes both traditional large-scale scientific computing (HPC), as well as work targeting single node systems with SMPs, GPUs, FPGAs, or embedded processors. FHPC 2016 seeks to encourage a range of submissions, focussing on work in progress and facilitating early exchange of ideas and open discussion on innovative and/or emerging results. Experience reports are also welcome.

More information at the external website: FHPC 2016

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15
Invited TalkFHPC at Conference Room 2
Chair(s): Yukiyoshi Kameyama University of Tsukuba
09:15
60m
Talk
From Identification of Parallelizability to Derivation of Parallelizable Codes
FHPC
Akimasa Morihata University of Tokyo, Japan
10:35 - 11:25
Domain Specific LanguagesFHPC at Conference Room 2
Chair(s): Zhenjiang Hu National Institute of Informatics, Japan
10:35
25m
Talk
Icicle: Write Once, Run Once
FHPC
Amos Robinson Ambiata (Australia), Ben Lippmeier University of New South Wales
11:00
25m
Talk
Using Fusion to Enable Late Design Decisions for Pipelined Computations
FHPC
Mate Karacsony Eötvös Loránd University, Koen Claessen Chalmers University of Technology
11:45 - 12:35
Code GenerationFHPC at Conference Room 2
Chair(s): Jost Berthold Commonwealth Bank, Australia
11:45
25m
Talk
Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation
FHPC
Takayuki Muranushi RIKEN, Seiya Nishizawa RIKEN, Hirofumi Tomita RIKEN, Keigo Nitadori RIKEN, Masaki Iwasawa RIKEN, Yutaka Maruyama , Hisashi Yashiro RIKEN, Yoshifumi Nakamura RIKEN, Hideyuki Hotta University of Chile, Chile, Junichiro Makino Kobe University, Natsuki Hosono Kyoto University, Hikaru Inoue Fujitsu Limited
12:10
25m
Talk
JIT Costing Adaptive Skeletons for Performance Portability
FHPC
Patrick Maier University of Glasgow, John Magnus Motron University of Glasgow, Phil Trinder University of Glasgow
14:00 - 14:50
GPUsFHPC at Conference Room 2
Chair(s): Ben Lippmeier University of New South Wales
14:00
25m
Talk
Low-Level Functional GPU Programming for Parallel Algorithms
FHPC
Martin Dybdal , Martin Elsman Department of Computer Science, University of Copenhagen, Bo Joel Svensson Chalmers University of Technology, Sweden, Mary Sheeran Chalmers University of Technology
14:25
25m
Talk
APL on GPUs: A TAIL from the Past, Scribbled in Futhark
FHPC
Troels Henriksen DIKU, University of Copenhagen, Martin Dybdal , Henrik Urms DIKU, University of Copenhagen, Anna Sofie Kiehn DIKU, University of Copenhagen, Daniel Gavin DIKU, University of Copenhagen, Hjalte Abelskov DIKU, University of Copenhagen, Martin Elsman Department of Computer Science, University of Copenhagen, Cosmin Oancea DIKU, University of Copenhagen
15:20 - 16:10
Streaming and DataflowFHPC at Conference Room 2
Chair(s): Hai Liu Intel Labs
15:20
25m
Talk
Streaming Nested Data Parallelism on Multicores
FHPC
Frederik M. Madsen DIKU, University of Copenhagen, Andrzej Filinski DIKU, University of Copenhagen
15:45
25m
Talk
Polarized Data Parallel Data Flow
FHPC
Ben Lippmeier University of New South Wales, Fil Mackay Vertigo Technology (Australia), Amos Robinson Ambiata (Australia)
16:40 - 17:05
Graph ProcessingFHPC at Conference Room 2
Chair(s): Yukiyoshi Kameyama University of Tsukuba
16:40
25m
Talk
s6raph: Vertex-Centric Graph Processing Framework with Functional Interface
FHPC
Onofre Coll Ruiz Kochi University of Technology, Kiminori Matsuzaki Kochi University of Technology, Japan, Shigeyuki Sato Kochi University of Technology
17:05 - 18:00
DIscussionFHPC at Conference Room 2
Chair(s): David Duke University of Leeds
17:05
55m
Talk
Discussion
FHPC

Call for Papers

Please see FHPC website

FHPC 2016- Proceedings of the 5th International Workshop on Functional High-Performance Computing

FHPC 2016- Proceedings of the 5th International Workshop on Functional High-Performance Computing

Full Citation in the ACM Digital Library

SESSION: Keynote

From identification of parallelizability to derivation of parallelizable codes

  • Akimasa Morihata

SESSION: Domain-Specific Languages

Icicle: write once, run once

  • Amos Robinson
  • Ben Lippmeier

Using fusion to enable late design decisions for pipelined computations

  • Máté Karácsony
  • Koen Claessen

SESSION: 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
  • Hikaru Inoue

JIT costing adaptive skeletons for performance portability

  • Patrick Maier
  • John Magnus Morton
  • Phil Trinder

SESSION: GPUs

Low-level functional GPU programming for parallel algorithms

  • Martin Dybdal
  • Martin Elsman
  • Bo Joel Svensson
  • Mary Sheeran

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
  • Cosmin Oancea

SESSION: Streaming and Dataflow

Streaming nested data parallelism on multicores

  • Frederik M. Madsen
  • Andrzej Filinski

Polarized data parallel data flow

  • Ben Lippmeier
  • Fil Mackay
  • Amos Robinson

SESSION: Graph Processing

s6raph: vertex-centric graph processing framework with functional interface

  • Onofre Coll Ruiz
  • Kiminori Matsuzaki
  • Shigeyuki Sato