FUNARCH 2024 – Proceedings

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

Frontmatter

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.31