[TYPES/announce] Call for Participation: Functional High-Performance Computing (FHPC 2013)

[Jost Berthold]

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

                                FHPC 2013

                     The 2nd ACM SIGPLAN Workshop on
                  Functional High-Performance Computing

                           Boston, Massachusetts
                            September 23, 2013

                    http://www.hiperfit.dk/fhpc13.html

Early Registration Deadline: August 22, 2013
Registration: https://regmaster3.com/2013conf/ICFP13/register.php

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

=====================================================================

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 large-scale
computations arise naturally and high performance is essential.
Modern highly parallel systems, such as manycore multi-processor
systems, large-scale compute clusters, and graphics accelerators
(GPGPUs) as well as reconfigurable hardware (FPGAs), are complex to
program, and declarative languages present a nice sweet spot between
expressiveness and efficiency when programming such systems, to
address their inherent complexity and to reconcile execution
performance with programming productivity.
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 highly transparent,
maintainable, and portable code that approaches (or even exceeds) the
performance of machine-oriented imperative implementations.

Papers and Invited Talks:
=========================
The accepted papers cover different topics related to FHPC:
declarative parallel programming models, optimising compilation of
declarative languages, libraries and bespoke runtime management which
take advantage of declarative constructs for better performance and
productivity.
FHPC'13 features two invited talks and one panel discussion.
In the morning session, Matthew Fluet from Rochester Institute of
Technology will provide an overview of the Manticore project.
In the late afternoon session, Manuel Chakravarty from the University
of New South Wales will present his work in data-parallel computing,
Data-Parallel Haskell and Accelerate. The topic of data-parallelism
and GPU computing will be further deepened in a panel discussion.

Schedule:
=========

9:00
RUNTIME TECHNIQUES FOR PARALLEL FUNCTIONAL PROGRAMMING
o Chairs' welcome
o Matthew Fluet.
   The Manticore Project (invited talk)
o Sylvain Henry.
   ViperVM: a Runtime System for Parallel Functional High-Performance
   Computing on Heterogeneous Architectures

11:00
PARALLEL PROGRAMMING MODELS AND APPLICATION CLASSES
o Frederik M. Madsen and Andrzej Filinski.
   Towards a Streaming Model for Nested Data Parallelism
o Qi Wang, Meixian Chen, Yu Liu and Zhenjiang Hu.
   Towards Systematic Parallel Programming of Graph Problems via Tree
   Decomposition and Tree Parallelism
o Josef Svenningsson, Joel Svensson and Mary Sheeran.
   Counting and Occurrence sort for GPUs using an Embedded Language

13:30
OPTIMIZING COMPILATION OF FUNCTIONAL PROGRAMS
o Troels Henriksen and Cosmin E. Oancea.
   A T2 Graph-Reduction Approach To Fusion
o Artjoms Sinkarovs and Sven-Bodo Scholz.
   Sematics-Preserving Data Layout Transformations for Improved
   Vectorisation
14:30
LIBRARIES AND RUNTIME TECHNIQUES FOR PARALLEL FUNCTIONAL PROGRAMMING
o Lindsey Kuper and Ryan R. Newton.
   LVars: Lattice-based Data Structures for Deterministic Parallelism

o Mauro Blanco, Pablo Perdomo, Pablo Ezzatti, Alberto Pardo and Marcos
   Viera. Towards a functional run-time for dense NLA domain

16:00
FUNCTIONAL DATA PARALLELISM
o Manuel Chakravarty.
   Data Parallelism in Haskell (invited talk)
o Panel discussion: Data Parallelism and GPU Computing

Workshop organisation
=====================

Programme Committee:

Umut Acar (co-chair), Carnegie Mellon U., PA, USA
Arvind, MIT, MA, USA
Jost Berthold (co-chair), U. of Copenhagen, Denmark
Guy Blelloch, Carnegie Mellon U., PA, USA
Hassan Chafi, Oracle Labs, CA, USA
Dan Spoonhower, Google, CA, USA
Sergei Gorlatch, U. Münster, Germany
Clemens Grelck, U.  of Amsterdam, Netherlands
Vinod Grover, NVidia, USA
Torsten Grust, U.Tübingen, Germany
Zhenjiang Hu, National Inst. of Informatics, Tokyo, Japan
Gabriele Keller, U.New South Wales, Sydney, Australia
Jens Palsberg, U.California, CA, USA
Leaf Peterson, Intel, USA
Mike Rainey, MPI-SWS,Kaiserslautern, Germany
Suresh Jaganathan, Purdue U., USA
Sven-Bodo Scholz, Heriot-Watt U., Edinburgh, UK
Guy Steele, Oracle Labs, Burlington, MA, USA
Yaron Minsky, Jane Street Capital, NY, USA

General Chairs:

Clemens Grelck, University of Amsterdam, NL
Fritz Henglein, University of Copenhagen, DK