Workshop on Functional High-Performance Computing (FHPC'12)

ACM SIGPLAN Workshop on
Functional High-Performance Computing, FHPC'12

Copenhagen, Denmark
15 September 2012

Co-located with the
17th ACM SIGPLAN International Conference on Functional Programming (ICFP 2012)

Background

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. Such computations would typically -- but not necessarily -- involve execution on highly parallel systems ranging from multi-core multi-processor systems to graphics accelerators (GPGPUs), reconfigurable hardware (FPGAs), large-scale compute clusters or any combination thereof. It is becoming apparent that radically new and well founded methodologies for programming such systems are required 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.

The 2012 FHPC workshop comes with a particular theme motivated by geographic co-location with the newly established HIPERFIT Research Centre for Functional High-Performance Computing for Financial Information Technology at the University of Copenhagen. Hence, we particularly encourage submissions with a background in computational finance. Notwithstanding, the workshop welcomes submissions from other application domains as much as general-purpose work on the theory and practice of declarative approaches to high-performance computing.

Submission and publication

Submitted papers must be in portable document format (PDF), formatted according to the ACM SIGPLAN style guidelines (double column, 9pt format). See the SIGPLAN Author Information page for more information and style files. The page limit is 12 pages. Any paper submitted must adhere to ACM SIGPLAN's republication policy. Submission deadlines and page limit are firm.

Accepted papers have been published by the ACM in the ACM Digital Library.

Important dates

Submission deadline: 10 June 2012 (anywhere on Earth)
Author notification: 27 June 2012
Final papers due: 10 July 2012
Workshop: 15 September 2012

Workshop organization

Organizers

Andrzej Filinski, Dept. of Computer Science (DIKU), University of Copenhagen, Denmark; andrzej (at) diku.dk
Clemens Grelck, Informatics Instititute, University of Amsterdam, Netherlands; c.grelck (at) uva.nl

Programme committee

Marco Aldinucci, University of Torino, Italy
Manuel Chakravarty, University of New South Wales, Australia
Andrzej Filinski, University of Copenhagen, Denmark
Clemens Grelck, University of Amsterdam, Netherlands
Gaétan Hains, University of Paris-Est, France
Zhenjiang Hu, National Institute of Informatics, Japan
Mike Giles, University of Oxford, UK
Neal Glew, Intel, USA
Ryan Newton, Indiana University, USA
Satnam Singh, Google, USA
Phil Trinder, Heriot-Watt University, UK
Viktória Zsók, Eötvös Loránd University, Hungary

Workshop programme

The detailed programme is now also available.

Keynote: Using Domain-Specific Languages and Access-Execute Descriptors to Expand the Parallel Code Synthesis Design Space: Paul Kelly
Parallel Programming in Haskell Almost for Free: Joel Svensson; Mary Sheeran
Avalanche: A Fine-Grained Flow Graph Model for Irregular Applications on Distributed-Memory Systems: Jeremiah Willcock; Ryan Newton; Andrew Lumsdaine
Harnessing Massive Parallelism in FPGAs Using the Hume Language: Jocelyn Serot; Greg Michaelson
Usage of Petri Nets for High Performance Computing: Stanislav Böhm; Marek Běhálek
Haskell vs. F# vs. Scala: A High-level Language Features and Parallelism Support Comparison: Prabhat Totoo; Pantazis Deligiannis; Hans-Wolfgang Loidl
Financial Software on GPUs: Between Haskell and Fortran: Cosmin Oancea; Christian Andreetta; Jost Berthold; Alain Frisch; Fritz Henglein
Seeing the Futures: Profiling Shared-Memory Parallel Racket: James Swaine; Burke Fetscher; Vincent St-Amour; Robert Bruce Findler; Matthew Flatt
Parallel Discrete Event Simulation with Erlang: Luca Toscano; Gabriele D'Angelo; Moreno Marzolla
An Embedded DSL for Stochastic Processes: Michael Werk; Joakim Ahnfelt-Rønne; Ken Friis Larsen