Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany

The ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing aims to bring together researchers and practitioners exploring or employing the use of functional or declarative programming languages or techniques in scientific computing, and specifically in the domains of high-performance computing and numerical programming.

The purpose of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative techniques can help make high-performance, distributed/parallel, or numerically-intensive code dealing with computationally challenging problems easier to write, read, maintain, or portable to new architectures. Areas of interest include, but are not limited to, relevant compiler technologies, runtime systems (including fault tolerance mechanisms and those supporting distributed or parallel computation), domain-specific languages (embedded or otherwise), type systems, formal methods, and libraries (e.g. for exact or interval arithmetic).

This event is a merge of two workshops that took place during previous editions of ICFP : FHPC (Functional High-Performance Computing) and NPFL (Numerical Programming in Functional Languages), and as such it aims to foster the exchange of ideas between the two communities.

Keynote Speaker

Trevor L. McDonell is a Junior Assistant Professor at Utrecht University, The Netherlands. His work focuses on the design and implementation of functional programming languages for parallel computing, in particular the use of graphics processors and other compute accelerators for high-performance computing applications. He is the main author of the embedded language Accelerate, for GPU programming in Haskell.

Invited Speaker

Micaela Mayero received her PhD degree and Habilitation in computer science from the University Paris 6 and Paris 13, France, in 2001 and 2012, respectively. She is a senior lecturer for the University Paris 13 in the LIPN laboratory (France) in the LoVe (Logic and Verification) team, whose research focuses on formal certification of programs. Her main research interests are formal methods for critical problems, including formal verification of numerical programs.

Plenary
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Sun 18 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:20
AccelerateFHPNC at Reindeer
Chair(s): Dominic SteinitzTweag I/O
09:00
60m
Talk
Keynote
FHPNC
Trevor L. McDonellUtrecht University
10:00
10m
Talk
GSoC Student Report 1
FHPNC
10:10
10m
Talk
GSoC Student Report 2
FHPNC
Jesse SigalUniversity of Edinburgh
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

13:40 - 14:50
Machine LearningFHPNC at Reindeer
Chair(s): Dominic SteinitzTweag I/O
13:40
23m
Talk
Compositional Deep Learning in Futhark
FHPNC
Duc Minh TranDIKU, University of Copenhagen, Troels HenriksenUniversity of Copenhagen, Denmark, Martin ElsmanUniversity of Copenhagen, Denmark
Link to publication
14:03
23m
Talk
Towards Hasktorch 1.0: Automated Generation of C++ Libtorch Bindings (extended abstract)
FHPNC
14:26
23m
Talk
Hailstorm : A statically typed functional language for systems programming (extended abstract)
FHPNC
Abhiroop SarkarChalmers University of Technology, Mary Sheeran
15:20 - 16:40
ArraysFHPNC at Reindeer
Chair(s): Fritz HengleinDepartment of Computer Science, University of Copenhagen (DIKU) and Deon Digital
15:20
25m
Talk
Compiling Generalised Histograms for GPU (extended abstract)
FHPNC
Sune HellfritzschUniversity of Copenhagen, Niels G. W. SerupDIKU, University of Copenhagen, Troels HenriksenUniversity of Copenhagen, Denmark, Cosmin OanceaUniversity of Copenhagen, Denmark
15:46
26m
Talk
Position-Dependent Arrays and Their Applicationfor High Performance Code Generation
FHPNC
Federico PizzutiUniversity of Edinburgh, Michel SteuwerUniversity of Glasgow, Christophe DubachUniversity of Edinburgh
Link to publication DOI Pre-print File Attached
16:14
26m
Talk
Safety at speed: In-place array algorithms from pure functional programs by safely re-using storage
FHPNC
Markus Aronsson, Koen ClaessenChalmers University of Technology, Mary Sheeran, Nicholas SmallboneChalmers University of Technology, Sweden
17:10 - 18:10
VerificationFHPNC at Reindeer
Chair(s): Gabriele KellerUtrecht University
17:10
60m
Talk
Formal Verification of Scientific Computing Programs
FHPNC
Micaela MayeroLIPN, Université Paris 13
18:10 - 19:10
Happy HourCatering at Restaurant
18:10
60m
Social Event
Happy Hour
Catering

Call for Papers

Berlin, Germany, 18 August 2019

Satellite event of the 24th ACM SIGPLAN International Conference on Functional Programming (ICFP 2019) 18 - 23 August, 2019

The ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing aims to bring together researchers and practitioners exploring or employing the use of functional or declarative programming languages or techniques in scientific computing, and specifically in the domains of high-performance computing and numerical programming.

The purpose of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative techniques can help make high-performance, distributed/parallel, or numerically-intensive code dealing with computationally challenging problems easier to write, read, maintain, or portable to new hardware architectures. Areas of interest include, but are not limited to:

  • relevant compiler technologies
  • runtime systems (including fault tolerance mechanisms and those supporting distributed or parallel computation)
  • domain-specific languages (embedded or standalone)
  • type systems
  • formal methods
  • software libraries (e.g. for exact or interval arithmetic).

Submission details

Submissions should fall into one of two categories:

  • Regular research papers (up to 12 pages)
  • Extended abstracts (1 - 2 pages)

The bibliography will not be counted against the page limits for either category.

Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop; they will be evaluated primarily for relevance and interest. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings.

We welcome submissions from PC members (with the exception of the PC Chair), but these submissions will be held to a higher standard.

Submission is handled through the HotCRP site. All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines. Submissions written with LaTeX are required to use the ‘acmart’ format and the two-column ‘sigplan’ subformat (not to be confused with the one-column ‘acmlarge’ subformat!).

Extended abstracts must be submitted with the label ‘Extended abstract’ clearly in the title.

Publication

The proceedings of FHPNC 2019 will be published in the ACM Digital Library.

Related links

Accepted Papers

Title
Compiling Generalised Histograms for GPU (extended abstract)
FHPNC
Compositional Deep Learning in Futhark
FHPNC
Link to publication
Formal Verification of Scientific Computing Programs
FHPNC
Functional Approach to Acceleration of Monte Carlo Simulation for American Option Pricing (extended abstract)
FHPNC
Link to publication
GSoC Student Report 1
FHPNC
GSoC Student Report 2
FHPNC
Generating Efficient FFT GPU Code with Lift
FHPNC
Link to publication DOI Pre-print File Attached
Hailstorm : A statically typed functional language for systems programming (extended abstract)
FHPNC
Keynote
FHPNC
Lazy Evaluation in Infinite-Dimensional Function Spaces with Wavelet Basis
FHPNC
Link to publication Pre-print
Position-Dependent Arrays and Their Applicationfor High Performance Code Generation
FHPNC
Link to publication DOI Pre-print File Attached
Safety at speed: In-place array algorithms from pure functional programs by safely re-using storage
FHPNC
Towards Hasktorch 1.0: Automated Generation of C++ Libtorch Bindings (extended abstract)
FHPNC