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 (type: Keynote (1 Page)) 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 (type: Full Paper (Research Paper, 12 pages + 2 pages of references)) 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 (type: Full Paper (Experience Report, 7 pages + references)) 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 (type: Full Paper (Experience Report, 6 pages + references)) 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 (type: Full Paper (Experience Report, 6 pages + references)) 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 (type: Full Paper (Research Paper, 12 pages + 2 pages of references)) doi:10.1145/3677998.3678224

proc time: 0.01