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
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15: Invited TalkFHPC at Conference Room 2
Chair(s): Yukiyoshi KameyamaUniversity of Tsukuba
09:15 - 10:15
From Identification of Parallelizability to Derivation of Parallelizable Codes
Akimasa MorihataUniversity of Tokyo, Japan
10:35 - 11:25: Domain Specific LanguagesFHPC at Conference Room 2
Chair(s): Zhenjiang HuNational Institute of Informatics, Japan
10:35 - 11:00
Icicle: Write Once, Run Once
Amos RobinsonAmbiata (Australia), Ben LippmeierUniversity of New South Wales
11:00 - 11:25
Using Fusion to Enable Late Design Decisions for Pipelined Computations
Mate KaracsonyEötvös Loránd University, Koen ClaessenChalmers University of Technology
11:45 - 12:35: Code GenerationFHPC at Conference Room 2
Chair(s): Jost BertholdCommonwealth Bank, Australia
11:45 - 12:10
Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation
Takayuki MuranushiRIKEN, Seiya NishizawaRIKEN, Hirofumi TomitaRIKEN, Keigo NitadoriRIKEN, Masaki IwasawaRIKEN, Yutaka Maruyama, Hisashi YashiroRIKEN, Yoshifumi NakamuraRIKEN, Hideyuki HottaUniversity of Chile, Chile, Junichiro MakinoKobe University, Natsuki HosonoKyoto University, Hikaru InoueFujitsu Limited
12:10 - 12:35
JIT Costing Adaptive Skeletons for Performance Portability
Patrick MaierUniversity of Glasgow, John Magnus MotronUniversity of Glasgow, Phil TrinderUniversity of Glasgow
14:00 - 14:50: GPUsFHPC at Conference Room 2
Chair(s): Ben LippmeierUniversity of New South Wales
14:00 - 14:25
Low-Level Functional GPU Programming for Parallel Algorithms
Martin Dybdal, Martin ElsmanDepartment of Computer Science, University of Copenhagen, Bo Joel SvenssonChalmers University of Technology, Sweden, Mary SheeranChalmers University of Technology
14:25 - 14:50
APL on GPUs: A TAIL from the Past, Scribbled in Futhark
Troels HenriksenDIKU, University of Copenhagen, Martin Dybdal, Henrik UrmsDIKU, University of Copenhagen, Anna Sofie KiehnDIKU, University of Copenhagen, Daniel GavinDIKU, University of Copenhagen, Hjalte AbelskovDIKU, University of Copenhagen, Martin ElsmanDepartment of Computer Science, University of Copenhagen, Cosmin OanceaDIKU, University of Copenhagen
15:20 - 16:10: Streaming and DataflowFHPC at Conference Room 2
Chair(s): Hai LiuIntel Labs
15:20 - 15:45
Streaming Nested Data Parallelism on Multicores
Frederik M. MadsenDIKU, University of Copenhagen, Andrzej FilinskiDIKU, University of Copenhagen
15:45 - 16:10
Polarized Data Parallel Data Flow
Ben LippmeierUniversity of New South Wales, Fil MackayVertigo Technology (Australia), Amos RobinsonAmbiata (Australia)
16:40 - 17:05: Graph ProcessingFHPC at Conference Room 2
Chair(s): Yukiyoshi KameyamaUniversity of Tsukuba
16:40 - 17:05
s6raph: Vertex-Centric Graph Processing Framework with Functional Interface
Onofre Coll RuizKochi University of Technology, Kiminori MatsuzakiKochi University of Technology, Japan, Shigeyuki SatoKochi University of Technology
17:05 - 18:00: DIscussionFHPC at Conference Room 2
Chair(s): David DukeUniversity of Leeds
17:05 - 18:00

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


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