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)


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

  • Andrzej Filinski, Dept. of Computer Science (DIKU), University of Copenhagen, Denmark; andrzej (at)
  • Clemens Grelck, Informatics Instititute, University of Amsterdam, Netherlands; c.grelck (at)
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