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

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

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