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 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
09:15 - 10:15 | |||
09:15 60mTalk | 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 25mTalk | Icicle: Write Once, Run Once FHPC | ||
11:00 25mTalk | Using Fusion to Enable Late Design Decisions for Pipelined Computations FHPC | ||
11:45 - 12:35 | |||
11:45 25mTalk | 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 25mTalk | 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 | |||
14:00 25mTalk | 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 25mTalk | 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 | |||
15:20 25mTalk | Streaming Nested Data Parallelism on Multicores FHPC | ||
15:45 25mTalk | 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 | |||
16:40 25mTalk | 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 | |||
17:05 55mTalk | Discussion FHPC | ||
Call for Papers
Please see FHPC website
Accepted Papers
Paper Download
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
SESSION: Domain-Specific Languages
Icicle: write once, run once
Using fusion to enable late design decisions for pipelined computations
SESSION: Code Generation
Automatic generation of efficient codes from mathematical descriptions of stencil computation
JIT costing adaptive skeletons for performance portability
SESSION: GPUs
Low-level functional GPU programming for parallel algorithms
APL on GPUs: a TAIL from the past, scribbled in Futhark
SESSION: Streaming and Dataflow
Streaming nested data parallelism on multicores
Polarized data parallel data flow
SESSION: Graph Processing
s6raph: vertex-centric graph processing framework with functional interface
| Sun 31 Jul 2016 Final copy due |
| Fri 8 Jul 2016 Author notification |
| Fri 10 Jun 2016 Submission Deadline |
David DukeCo-chair
University of Leeds
Yukiyoshi KameyamaCo-chair
University of Tsukuba
Baris Aktemur
Ozyegin University
Marco Aldinucci
University of Torino
Jost Berthold
Commonwealth Bank, Australia
Kei Davis
Los Alamos National Laboratory
Kento Emoto
Kyushu Institute of Technology, Japan
Zhenjiang Hu
National Institute of Informatics, Japan
Japan
Ben Lippmeier
University of New South Wales
Rita Loogen
University of Marburg
Geoffrey Mainland
Drexel University
Mike Rainey
Inria, France
Mary Sheeran
Chalmers University of Technology
Satnam Singh
Facebook