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.
Fri 6 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 90mKeynote | 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 | |||
11:00 - 12:30 | |||
11:00 45mTalk | 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 45mTalk | 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 | |||
14:00 45mTalk | A comparison of OpenCL, CUDA, and HIP as compilation targets for a functional array language FProPer Troels Henriksen University of Copenhagen | ||
14:45 45mTalk | 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 | |||
16:00 - 17:30 | |||
16:00 45mTalk | Functional Sparse Tensor Compilation FProPer | ||
16:45 45mTalk | 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 |
Accepted Papers
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:
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:
- Author Information and LaTeX templates: http://www.sigplan.org/Resources/Author/
- Attendee Code of Conduct: http://www.sigplan.org/Resources/Policies/CodeOfConduct/
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.