Powered by
2nd ACM SIGPLAN International Workshop on Functional Software Architecture (FUNARCH 2024), September 6, 2024,
Milan, Italy
2nd ACM SIGPLAN International Workshop on Functional Software Architecture (FUNARCH 2024)
Frontmatter
Title Page
Article: icfpws24funarchforeword-fm000-p (type: Frontmatter) doi:
Functional Architecture in Practice
Architecting Functional Programs (Keynote)
Marco Sampellegrini
(Independent, Milan, Italy)
@InProceedings{FUNARCH24p1,
author = {Marco Sampellegrini},
title = {Architecting Functional Programs (Keynote)},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3677998.3678219},
year = {2024},
}
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)
@InProceedings{FUNARCH24p15,
author = {Weixi Ma and Siyu Wang and Arnaud Venet and Junhua Gu and Subbu Subramanian and Rocky Liu and Yafei Yang and Daniel P. Friedman},
title = {F3: A Compiler for Feature Engineering},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3677998.3678220},
year = {2024},
}
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)
@InProceedings{FUNARCH24p29,
author = {Matthew Sottile and Mohit Tekriwal},
title = {Design and Implementation of a Verified Interpreter for Additive Manufacturing Programs (Experience Report)},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3677998.3678221},
year = {2024},
}
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)
@InProceedings{FUNARCH24p43,
author = {James Chapman and Arnaud Bailly and Polina Vinogradova},
title = {Applying Continuous Formal Methods to Cardano (Experience Report)},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3677998.3678222},
year = {2024},
}
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)
@InProceedings{FUNARCH24p57,
author = {Marc Kaufmann and Bogdan Popa},
title = {Continuations: What Have They Ever Done for Us? (Experience Report)},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {57-56},
doi = {10.1145/3677998.3678223},
year = {2024},
}
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)
@InProceedings{FUNARCH24p71,
author = {Marcus Crestani and Markus Schlegel and Marco Schneider},
title = {Bidirectional Data Transformations},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3677998.3678224},
year = {2024},
}
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.02