[Caml-list] FHPC 2016: Call for Participation

======================================================================
CALL FOR PARTICIPATION

FHPC 2016

The 5th ACM SIGPLAN Workshop on
Functional High-Performance Computing
Nara, Japan
September 22, 2016

https://sites.google.com/site/fhpcworkshops/

Co-located with the International Conference on Functional Programming
(ICFP 2016)
======================================================================

The FHPC 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.

Registration:
=============

Registration for FHPC should be done using the ICFP 2016 page at:
http://conf.researchr.org/attending/icfp-2016/Registration
Click the button for FHPC in the Thursday (Sep. 22) activities. Early
registration deadline is August 17.

Invited Speaker:
================

Akimasa Morihata University of Tokyo, Japan

Workshop Program (tentative)
============================

THURSDAY September 22, 2016

9:15--10:15 Invited Talk

From identification of parallelizability to derivation of
parallelizable codes
Akimasa Morihata

10:35--11:25 DSLs

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

11:45--12:35 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

14:00--14:50 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

15:20--16:10 Streaming and Dataflow

Streaming Nested Data Parallelism on Multicores
Frederik Meisner Madsen, Andrzej Filinski

Polarised Data Parallel Data Flow
Ben Lippmeier, Fil Mackay, Amos Robinson

16:40--17:05 Graph processing

s6raph: Vertex-centric Graph Processing Framework with Functional Interface
Onofre Coll Ruiz, Kiminori Matsuzaki, Shigeyuki Sato

17:05--17:30 Discussion


Program Committee
==================

David Duke (co-chair) University of Leeds, UK
Yukiyoshi Kameyama (co-chair) University of Tsukuba, Japan

Baris Aktemur Özyeğin University, Turkey
Marco Aldinucci University of Touring, Italy
Jost Berthold Commonwealth Bank, Australia
Kei Davis Los Alamos National Laboratory, USA
Kento Emoto Kyushu Institute of Technology, Japan
Zhenjiang Hu National Institute of Informatics, Japan
Ben Lippmeier University of New South Wales, Australia
Rita Loogen University of Marburg, Germany
Geoffrey Mainland Drexel University, USA
Mike Rainey INRIA, France
Mary Sheeran Chalmers University of Technology, Sweden
Satnam Singh Facebook, UK

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs