title | layout |
---|---|
Workshop on Functional High-Performance Computing (FHPC'12) |
page |
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.
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.
- Submission deadline: 10 June 2012 (anywhere on Earth)
- Author notification: 27 June 2012
- Final papers due: 10 July 2012
- Workshop: 15 September 2012
- 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
- 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
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