ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy

The 1st ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance (FProPer’24) follows up on the workshops Functional High-Performance computing (FHPC 2012-2018) and Functional High-Performance and Numerical Computing (FHPNC 2019-2023). While still aiming at high levels of performance, FProPer tries to incorporate the aspect of programmer productivity into the picture.

Consequently, FProPer aims to bring together researchers and practitioners that strive to use or develop declarative languages for combining programmer productivity with the highest levels of runtime performance. The performance aspects are not limited to sequential or parallel runtime performance but encompass all kinds of performance aspects, such as memory footprint or energy consumption as well. Application areas of interest include, but are not limited to, high-performance scientific computing and numerical programming.

We hope to create a very interactive workshop that offers a mix of presentations and discussions. We invite two kinds of presentations: presentations of polished work as well as position statements that present new aspects or work in progress.

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

Fri 6 Sep

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

09:00 - 10:30
Welcome and KeynoteFProPer at Meeting 4
09:00
90m
Keynote
From C to Comonads to Climate: A Functional Programmer's Journey in Array Programming for Good
FProPer
Dominic Orchard University of Kent; University of Cambridge
10:30 - 11:00
Coffee breakCatering at Catering Area
11:00 - 12:30
Algebraic Data Types and PerformanceFProPer at Meeting 4
11:00
45m
Talk
Tail Modulo Async/Await
FProPer
Vivien GACHET LIP, Lyon, France, Gabriel Radanne Inria, Ludovic Henrio University of Lyon - ENS Lyon - UCBL - CNRS - Inria - LIP
File Attached
11:45
45m
Talk
Ribbit with Memory Morphisms
FProPer
Thaïs Baudon ENS de Lyon & LIP, Gabriel Radanne Inria, Laure Gonnord Université Grenoble-Alpes - Grenoble INP - LCIS
Pre-print Media Attached File Attached
12:30 - 14:00
14:00 - 15:30
Performance and OptimisationFProPer at Meeting 4
14:00
45m
Talk
A comparison of OpenCL, CUDA, and HIP as compilation targets for a functional array language
FProPer
Troels Henriksen University of Copenhagen
14:45
45m
Talk
Fusing Gathers with Integer Linear Programming
FProPer
David van Balen , Gabriele Keller Utrecht University, Trevor L. McDonell Utrecht University, Ivo Gabe de Wolff Utrecht University
15:30 - 16:00
Coffee breakCatering at Catering Area
16:00 - 17:30
Compilation TechniquesFProPer at Meeting 4
16:00
45m
Talk
Functional Sparse Tensor Compilation
FProPer
Shideh Hashemian University of Edinburgh, Amir Shaikhha University of Edinburgh
16:45
45m
Talk
HVM2: Iteraction Combinator Evaluator
FProPer
Victor Taelin Higher Order Company, Francisco Javier Grecco Carman , Nicolas Abril Higher Order Company, Enrico Zandomeni Borba Higher Order Company

Call for Papers

Satellite event of the 29th ACM SIGPLAN International Conference on Functional Programming (ICFP 2024) held in the week of the 2nd of September in Milan, Italy.

Paper deadline Saturday, June 15th.

Abstract deadline Monday, July 1st.

The 1st ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance (FProPer’24) aims to bring together researchers and practitioners that strive to use or develop declarative languages for combining programmer productivity with the highest levels of runtime performance. The performance aspects are not limited to sequential or parallel runtime performance but encompass all kinds of performance aspects, such as memory footprint or energy consumption as well. Application areas of interest include, but are not limited to, high-performance scientific computing and numerical programming.

Although FProPer’24 is in its first year, the workshop builds on the tradition of the FHPC and FHPNC workshops. The primary change is a broadening of scope from high-performance and numerical computing to a wider range of applications where programmer productivity and performance are both being considered essential.

Information on previous workshops can be found here:

https://fhpnc.github.io/

Scope

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 for performance
  • application studies / use case experiences.

Rather than requiring finished work typical for a conference, the workshop aims to provide a forum where researchers and practitioners may report promising new directions and work in progress. The workshop will accept two kinds of submissions. Submissions for regular papers of up to 12 pages will be solicited and reviewed by an international committee. Accepted regular papers are expected to be published by ACM as a workshop proceedings. Submissions for extended abstracts of up to 2 pages will be solicited and reviewed, but will not be published.

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 will be distributed to workshop attendees, but will not be included in the formal proceedings. The goal of the extended abstracts is to generate discussion; examples could include works-in-progress, surveys of current research areas, reflections on past research, “position” papers (advocating for specific research directions), or more generally any topic that the authors believe would be valuable for the community. Extended abstracts will be evaluated primarily for relevance and interest.

We welcome submissions from PC members (with the exception of the PC Chairs), 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://fproper2024.hotcrp.com

Publication

The proceedings of FProPer 2024 will be published in the ACM Digital Library.

Related links:

AUTHORS TAKE NOTE:

The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work.