ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Fri 8 Sep 2023 14:45 - 15:30 at Vashon 1 - FUNARCH Talks #3 Chair(s): Michael Sperber

The large-scale structure of executing a computation can often be thought of as being separated into distinct phases. But the most natural form in which to specify that computation may well have a different and conflicting structure. For example, the computation might consist of gathering data from some locations, processing it, then distributing the results back to the same locations; it may be executed in three phases—gather, process, distribute—but mostly conveniently specified orthogonally—by location. We have recently shown that this multi-phase structure can be expressed as a novel applicative functor (also known as an idiom, or lax monoidal functor). Here we summarize the idea from the perspective of software architecture. At the end, we speculate about applications to choreography and multi-tier architecture.

Fri 8 Sep

Displayed time zone: Pacific Time (US & Canada) change

14:00 - 15:30
FUNARCH Talks #3FUNARCH at Vashon 1
Chair(s): Michael Sperber Active Group GmbH
14:00
45m
Talk
A Software Architecture Based on Coarse-Grained Self-Adjusting Computations
FUNARCH
A: Stefan Wehr Offenburg University of Applied Sciences
DOI
14:45
45m
Talk
Phases in Software Architecture
FUNARCH
A: Jeremy Gibbons Department of Computer Science, University of Oxford, A: Donnacha Oisín Kidney Imperial College London, A: Tom Schrijvers KU Leuven, A: Nicolas Wu Imperial College London
DOI Pre-print