ICFP Workshops 2024
29th ACM SIGPLAN International Conference on Functional Programming (ICFP 2024)
Powered by
Conference Publishing Consulting

2nd ACM SIGPLAN International Workshop on Functional Software Architecture (FUNARCH 2024), September 6, 2024, Milan, Italy

FUNARCH 2024 – Proceedings

Contents - Abstracts - Authors

2nd ACM SIGPLAN International Workshop on Functional Software Architecture (FUNARCH 2024)

Frontmatter

Title Page
Welcome from the Chairs
FUNARCH 2024 Organization

Functional Architecture in Practice

Architecting Functional Programs (Keynote)
Marco Sampellegrini
(Independent, Milan, Italy)
Publisher's Version
F3: A Compiler for Feature Engineering
Weixi Ma, Siyu Wang, Arnaud Venet, Junhua Gu, Subbu Subramanian, Rocky Liu, Yafei Yang, and Daniel P. Friedman
(Meta, USA; Indiana University, USA)
Publisher's Version

Formal Methods

Design and Implementation of a Verified Interpreter for Additive Manufacturing Programs (Experience Report)
Matthew Sottile and Mohit Tekriwal
(Lawrence Livermore National Laboratory, USA)
Publisher's Version
Applying Continuous Formal Methods to Cardano (Experience Report)
James Chapman, Arnaud Bailly, and Polina Vinogradova
(IOHK, United Kingdom; IOHK, France; IOHK, Canada)
Publisher's Version

From Programming to Architecture

Continuations: What Have They Ever Done for Us? (Experience Report)
Marc Kaufmann and Bogdan Popa
(Central European University, Austria; Independent, Romania)
Publisher's Version
Bidirectional Data Transformations
Marcus Crestani, Markus Schlegel, and Marco Schneider
(Active Group, Germany)
Publisher's Version

proc time: 2.27