ECOOP 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
co-located with ISSTA/ECOOP 2024

This program is tentative and subject to change.

Tue 17 Sep 2024 11:15 - 11:30 at EI 7 - Design

Join patterns provide a promising approach to the development of concurrent and distributed message-passing applications. Several variations and implementations have been presented in literature — but various aspects remain under-explored: in particular, how to specify a suitable notion of message matching, how to implement it correctly and efficiently, and how to systematically evaluate the implementation performance. In this work we focus on actor-based programming, and study the application of join patterns with conditional guards (i.e., the most expressive and challenging version of join patterns in literature). We formalise a novel specification of fair and deterministic join pattern matching, ensuring that older messages are always consumed if they can be matched. We present a stateful, tree-based join pattern matching algorithm and prove that it correctly implements our fair and deterministic matching specification. We present a novel Scala 3 actor library that implements our join pattern formalisation, leveraging macros to provide an intuitive API. Finally, we evaluate the performance of our implementation, by introducing a systematic benchmarking approach that takes into account the nuances of join pattern matching (in particular, its sensitivity to input traffic and complexity of patterns and guards).

This program is tentative and subject to change.

Tue 17 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
10:30
15m
Talk
Defining Name Accessibility using Scope Graphs
Technical Papers
Aron Zwaan Delft University of Technology, Casper Bach Poulsen Delft University of Technology
Link to publication Pre-print
10:45
15m
Talk
Rose: Composable Autodiff for the Interactive Web
Technical Papers
Sam Estep Carnegie Mellon University, Wode Ni Carnegie Mellon University, Raven Rothkopf Barnard College, Joshua Sunshine Carnegie Mellon University
11:00
15m
Talk
Failure Transparency in Stateful Dataflow Systems
Technical Papers
Aleksey Veresov KTH Royal Institute of Technology, Jonas Spenger KTH Royal Institute of Technology, Paris Carbone KTH Royal Institute of Technology, Philipp Haller KTH Royal Institute of Technology
Pre-print
11:15
15m
Talk
Fair join pattern matching for actors
Technical Papers
Philipp Haller KTH Royal Institute of Technology, Ayman Hussein Technical University of Denmark, Hernan Melgratti University of Buenos Aires, Argentina, Alceste Scalas Technical University of Denmark, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy
11:30
15m
Talk
Constrictor: Immutability as a Design Concept
Technical Papers
Elad Kinsbruner Technion, Shachar Itzhaky Technion, Hila Peleg Technion
Pre-print
11:45
15m
Talk
A Language-Based Version Control System for Python
Technical Papers
Luís Carvalho NOVA School of Science and Technology, João Costa Seco NOVA-LINCS; Nova University of Lisbon