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 Article: icfpws24funarchmain-key1-p doi:10.1145/3677998.3678219

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 Article: icfpws24funarchmain-id2-p doi:10.1145/3677998.3678220

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 Article: icfpws24funarchmain-id3-p doi:10.1145/3677998.3678221

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 Article: icfpws24funarchmain-id5-p doi:10.1145/3677998.3678222

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 Article: icfpws24funarchmain-id1-p doi:10.1145/3677998.3678223

Bidirectional Data Transformations
Marcus Crestani, Markus Schlegel, and Marco Schneider
(Active Group, Germany)

Publisher's Version Article: icfpws24funarchmain-id4-p doi:10.1145/3677998.3678224

proc time: 0.01