ICFP 2021
Sun 22 - Sat 28 August 2021

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, algebraic differentiation, formal methods, and libraries (e.g. for exact or interval arithmetic).

This event, now in its second year, is originally a merger 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.

Planned program

FHPNC will contain three kinds of content:

  1. Presentations of peer-reviewed papers that will be published as part of the workshop proceedings.
  2. Presentations of extended abstracts that are not part of the proceedings. This means they can be submitted elsewhere later. Such extended abstracts are a good way to get feedback on in-progress work, or the presentation of work ultimately intended for publication elsewhere.
  3. A session with updates from research groups in our community about their status, future plans, dreams, or anything of the sort. This is intended to facilitate informal networking, without being connected to any specific research contribution.

Invited talk

The invited talk will be given by Sven-Bodo Scholz, creator of the Single-Assignment C programming language.

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

Sun 22 Aug

Displayed time zone: Seoul change

18:00 - 19:30
Session 1FHPNC at FHPNC
18:00
15m
Day opening
Welcome to FHPNC 2021
FHPNC
Troels Henriksen University of Copenhagen, Denmark, Gabriele Keller Utrecht University
18:15
30m
Talk
Generating High Performance Code for Irregular Data Structures using Dependent Types
FHPNC
Federico Pizzuti University of Edinburgh, Michel Steuwer University of Edinburgh, Christophe Dubach McGill University
18:45
30m
Talk
Improving GHC Haskell NUMA Profiling
FHPNC
Ruairidh Macgregor University of Glasgow, Phil Trinder University of Glasgow, Hans-Wolfgang Loidl Heriot-Watt University, UK
22:00 - 23:00
Invited talk by Sven-Bodo ScholzFHPNC at FHPNC
22:00
60m
Talk
Is Functional HPC the Key to Low Carbon Computing? by Sven-Bodo Scholz
FHPNC

23:30 - 01:00
Session 2FHPNC at FHPNC
23:30
30m
Talk
Parallelism-preserving automatic differentiation for second-order array languages
FHPNC
Adam Paszke Google Research, Matthew J. Johnson Google Research, Roy Frostig Google Research, Dougal Maclaurin Google Research
00:00
30m
Talk
Reverse Automatic Differentiation for Accelerate (Extended Abstract)
FHPNC
Tom Smeding Utrecht University, Matthijs Vákár Utrecht University, Trevor L. McDonell Utrecht University
00:30
30m
Talk
Computing Persistent Homology in Futhark
FHPNC
Erik von Brömssen Chalmers University of Technology

Mon 23 Aug

Displayed time zone: Seoul change

01:30 - 03:00
Community update and discussionFHPNC at FHPNC

45 min community update: brief summary (about 5-7 mins) of current work and future plans from

  • Abhiroop Sarkar (Chalmers)
  • Adam Pazke (JAX, Google Research)
  • Michel Steuwer (University of Edinburgh)
  • Hand-Wolfgang Loidl (Dependable Systems Group, Heriot-Watt University) and Phil Trinder (Glasgow Parallelism Group, Glasgow University)
  • Sven-Bodo Scholz (Radboud University)
  • Martin Elsman (DIKU, Futhark)
  • Trevor McDonell (Utrecht University, Accelerate)
45 min discussion: future of FHPNC

Call for Papers

The ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing is a Satellite event of the 26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021), held on the 22nd of August.

TL;DR: Paper/abstract deadline May 21st.

Scope

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. This means they can be submitted elsewhere later.

We welcome submissions from PC members (with the exception of the PC Chair(s)), 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.

Submission link: https://fhpnc2021.hotcrp.com/

Publication

The proceedings of FHPNC 2021 will be published in the ACM Digital Library. Related links

Author Information and LaTeX templates : http://www.sigplan.org/Resources/Author/
Attendee Code of Conduct: http://www.sigplan.org/Resources/Policies/CodeOfConduct/