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

Thu 22 Sep

09:15 - 10:15: FHPC - Invited Talk at Conference Room 2
Chair(s): Yukiyoshi KameyamaUniversity of Tsukuba
FHPC-2016-papers147452850000009:15 - 10:15
Akimasa MorihataUniversity of Tokyo, Japan
10:35 - 11:25: FHPC - Domain Specific Languages at Conference Room 2
Chair(s): Zhenjiang HuNational Institute of Informatics, Japan
FHPC-2016-papers147453330000010:35 - 11:00
Amos RobinsonAmbiata (Australia), Ben LippmeierUniversity of New South Wales
FHPC-2016-papers147453480000011:00 - 11:25
Mate KaracsonyEötvös Loránd University, Koen ClaessenChalmers University of Technology
11:45 - 12:35: FHPC - Code Generation at Conference Room 2
Chair(s): Jost BertholdCommonwealth Bank, Australia
FHPC-2016-papers147453750000011:45 - 12:10
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
FHPC-2016-papers147453900000012:10 - 12:35
Patrick MaierUniversity of Glasgow, John Magnus MotronUniversity of Glasgow, Phil TrinderUniversity of Glasgow
14:00 - 14:50: FHPC - GPUs at Conference Room 2
Chair(s): Ben LippmeierUniversity of New South Wales
FHPC-2016-papers147454560000014:00 - 14:25
Martin Dybdal, Martin ElsmanDepartment of Computer Science, University of Copenhagen, Bo Joel SvenssonChalmers University of Technology, Sweden, Mary SheeranChalmers University of Technology
FHPC-2016-papers147454710000014:25 - 14:50
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: FHPC - Streaming and Dataflow at Conference Room 2
Chair(s): Hai LiuIntel Labs
FHPC-2016-papers147455040000015:20 - 15:45
Frederik M. MadsenDIKU, University of Copenhagen, Andrzej FilinskiDIKU, University of Copenhagen
FHPC-2016-papers147455190000015:45 - 16:10
Ben LippmeierUniversity of New South Wales, Fil MackayVertigo Technology (Australia), Amos RobinsonAmbiata (Australia)
16:40 - 17:05: FHPC - Graph Processing at Conference Room 2
Chair(s): Yukiyoshi KameyamaUniversity of Tsukuba
FHPC-2016-papers147455520000016:40 - 17:05
Onofre Coll RuizKochi University of Technology, Kiminori MatsuzakiKochi University of Technology, Japan, Shigeyuki SatoKochi University of Technology
17:05 - 18:00: FHPC - DIscussion at Conference Room 2
Chair(s): David DukeUniversity of Leeds
FHPC-2016-papers147455670000017: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