FUNARCH 2024 - ICFP 2024 (original) (raw)

The Second ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large

“Functional Software Architecture” refers to methods of construction and structure of large and long-lived software projects that are implemented in functional languages and released to real users, typically in industry.

The goals for the workshop are:

FUNARCH 2024 will be co-colocated with ICFP 2024 in Milan in September 2024.

News is available on Mastodon, Bluesky, and Twitter.

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

-

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

Accepted Papers

Title
Applying Continuous Formal Methods to CardanoFUNARCHJames Chapman, Arnaud Bailly, Polina Vinogradova
Architecting Functional ProgramsFUNARCHMarco Sampellegrini
Bidirectional Data TransformationsFUNARCHMarcus Crestani, Markus Schlegel, Marco Schneider
Continuations: what have they ever done for us?FUNARCHMarc Kaufman, Bogdan Popa
Design and implementation of a verified interpreter for additive manufacturing programsFUNARCHMatthew Sottle, Mohit Tekriwal
F3: A Compiler For Feature EngineeringFUNARCHWeixi Ma, Arnaud Venet, Junhua Gu, Subbu Subramanian, Siyu Wang, Rocky Liu, Daniel Friedman, Yafei Yang
Future of FUNARCHFUNARCHMichael Sperber

FUNARCH 2024 - Call for Papers

FUNARCH 2024, 6th September 2024, Milan, Italy.

Co-located with ICFP 2024

Timeline

Paper submission: 3rd June 2024

Author notification: 30th June 2024

Camera ready copy: 18th July 2024

Workshop: 6th Sept 2024

Background

“Functional Software Architecture” refers to methods of construction and structure of large and long-lived software projects that are implemented in functional languages and released to real users, typically in industry.

The goals for the workshop are:

Scope

The workshop seeks submissions in a range of categories:

Great, submit a research paper!

Excellent, submit a research paper!

Wonderful, submit an experience report!

Fabulous, submit an architectural pearl!

Superb, submit to the open category!

Research papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate.

Experience reports and architectural pearls need not necessarily report original research results. The key criterion for such papers is that they make a contribution from which others can benefit. It is not enough simply to describe a large software system, or to present ideas that are specific to a particular system.

Open category submissions that are not intended for publication are not required to follow the formatting guidelines, and can submit in PDF, word or plain text format as preferred. Not knowing what kinds of submissions we will receive, we cannot be specific as to how they will be evaluated. However, submissions that seem likely to stimulate discussion around practices in functional architecture are encouraged.

If you are unsure whether your contribution is suitable, or if you need any kind of help with your submission, please email the program chairs at funarch2024@easychair.org.

Submission

Papers must be submitted by 3rd June 2024 using the EasyChair submission page.

Formatting: submissions intended for publication must be in PDF format and follow the ACM SIGPLAN style guidelines, using the acmart format and the sigplan sub-format. Please use the review option when submitting, as this enables line numbers for easy reference in reviews. For further details, see SIGPLAN’s author information.

If your submission is not a research paper, please mark this using a subtitle (Experience Report, Architectural Pearl, Open Category).

Length: submissions must adhere to the limits specified below. However, there is no requirement or expectation that all pages are used, and authors are encouraged to strive for brevity.

Research papers: 5 to 12+ pages

Architectural pearls: 5 to 12 pages

Experience reports: 3 to 6 pages

Open category: 1 to 6 pages

Publication: The proceedings of FUNARCH 2024 will be published in the ACM Digital Library, and authors of accepted papers are required to agree to one of the standard ACM licensing options. Accepted papers must be presented at the workshop by one of the authors, but in special cases we may consider remote presentation.

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

Program Chairs

Program Committee

Workshop Venue

The workshop will be co-located with the ICFP 2024 conference at the Fiera Milano Congressi, Milan, Italy.