FProPer 2025

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.

Rather than requiring all contributions to be finished work, the workshop aims to provide a forum where researchers and practitioners can discuss promising new directions and work in progress. The workshop solicits two kinds of submissions:

• Submissions for regular papers of up to 12 pages will be reviewed for publication by ACM as workshop proceedings.
• Submissions for stand-alone abstracts of up to 2 pages will be reviewed for suitability of presentation at FProPer, but will not be published.

Although FProPer’25 is in its second year, the workshop represents a new iteration of the FHPNC workshop. The primary change is a broadening of scope from high-performance and numerical computing to all kinds of performance aspects. Information on previous workshops can be found here:

https://fhpnc.github.io/

Call for Papers

Satellite event of the 30th ACM SIGPLAN International Conference on Functional Programming (ICFP 2025) held in the week of the 12th of October in Singapore.

Abstract for full papers deadline Saturday, May 31th.

Full Paper submission deadline Saturday, June 14th.

2-page stand-alone abstract only deadline Saturday, August 2rd.

The 2nd ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance (FProPer’25) 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’25 is in its second 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 stand-alone 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)
• Stand-alone 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. Stand-alone abstracts will be distributed to workshop attendees, but will not be included in the formal proceedings.

The goal of the stand-alone 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. Stand-alone 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!).

Stand-alone abstracts must be submitted with the label ‘Extended Abstract’ clearly in the title.

Submission Link

https://fproper2025.hotcrp.com

Publication

The proceedings of FProPer 2025 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/