ISMM 2024
Tue 25 Jun 2024 Copenhagen, Denmark
co-located with PLDI 2024
PLDI 2024 (series) / ISMM 2024 (series) / Radisson Blu Scandinavia, Copenhagen /

Room information: Finland

VenueRadisson Blu Scandinavia, Copenhagen
Room nameFinland
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 24 Jun

Displayed time zone: Windhoek change

09:00 - 10:10
Welcome and KeynoteCP at Finland
Chair(s): Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna, Lindsey Kuper University of California, Santa Cruz, Marco Peressotti University of Southern Denmark
09:00
10m
Day opening
Opening
CP
Lindsey Kuper University of California, Santa Cruz, Marco Peressotti University of Southern Denmark, Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna
09:10
60m
Keynote
Choreographic Programming: its essence, beauty, and necessity
CP
K: Fabrizio Montesi University of Southern Denmark
10:40 - 12:20
Theory & VerificationCP at Finland
Chair(s): Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna
10:40
20m
Talk
A Propositional Dynamic Logic for Choreographies
CP
Matteo Acclavio University of Sussex, Fabrizio Montesi University of Southern Denmark, Marco Peressotti University of Southern Denmark
Pre-print
11:00
20m
Talk
Choreographic Programming in Modal Type Theory
CP
Maxim Urschumzew None, Miëtek Bak
11:20
20m
Talk
Choreographies meet Communication Failures
CP
Eva Graversen University of Southern Denmark, Fabrizio Montesi University of Southern Denmark, Marco Peressotti University of Southern Denmark
11:40
20m
Talk
Corps: A Core Calculus of Hierarchical Choreographic Programming
CP
Andrew K. Hirsch University at Buffalo, SUNY
12:00
20m
Talk
Masquerade: Information Flow Control for Choreographies
CP
Michael Piskozub University at Buffalo, SUNY, Ethan Cecchetti University of Wisconsin-Madison, Andrew K. Hirsch University at Buffalo, SUNY
13:40 - 15:20
Languages & VerificationCP at Finland
Chair(s): Lindsey Kuper University of California, Santa Cruz
13:40
20m
Talk
A Probabilistic Choreography Language for PRISM
CP
Marco Carbone IT University of Copenhagen, Adele Veschetti Technische Universität Darmstadt
14:00
20m
Talk
A Function-as-a-Service Choreographic Programming Language: Examples and Applications
CP
Giuseppe De Palma Department of Computer Science and Engineering - Università di Bologna, Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna, Jacopo Mauro University of Southern Denmark, Matteo Trentin Università di Bologna, Gianluigi Zavattaro Department of Computer Science and Engineering - Università di Bologna
14:20
20m
Talk
Exploring Algebraic Placement in Multiparty Languages
CP
George Zakhour University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen
14:40
20m
Talk
Poroutines: The Essence of Choreographic Programming?
CP
Dan Plyukhin University of Southern Denmark
15:00
20m
Talk
We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
CP
Mako P. Bates University of Vermont, Joseph P. Near University of Vermont
Pre-print
16:00 - 17:40
LibrariesCP at Finland
Chair(s): Marco Peressotti University of Southern Denmark
16:00
20m
Talk
ChoRus: Library-Level Choreographic Programming in Rust
CP
Shun Kashiwa University of California, Santa Cruz, Lindsey Kuper University of California, Santa Cruz
16:20
20m
Talk
Klor: Choreographies for the Working Clojurian
CP
Lovro Lugović University of Southern Denmark, Sung-Shik Jongmans Open University of the Netherlands; CWI
16:40
20m
Talk
Suki: Choreographed Distributed Dataflow in Rust
CP
Shadaj Laddad University of California at Berkeley, Alvin Cheung University of California at Berkeley, Joseph M. Hellerstein UC Berkeley
17:00
20m
Talk
Toward Verified Library-Level Choreographic Programming with Algebraic Effects
CP
Gan Shen University of California, Santa Cruz, USA, Lindsey Kuper University of California, Santa Cruz
17:20
20m
Day closing
Closing
CP
Lindsey Kuper University of California, Santa Cruz, Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna, Marco Peressotti University of Southern Denmark

Mon 24 Jun

Displayed time zone: Windhoek change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Finland

CP

Welcome and Keynote

CP

Theory & Verification

CP

Languages & Verification

CP

Libraries

Tue 25 Jun

Displayed time zone: Windhoek change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Finland

Sparse

Sparse

Sparse

Sparse

Mon 24 Jun

Displayed time zone: Windhoek change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Finland
CP
Opening
09:00 - 09:10
CP
Choreographic Programming: its essence, beauty, and necessity
09:10 - 10:10
CP
A Propositional Dynamic Logic for Choreographies
10:40 - 11:00
CP
Choreographic Programming in Modal Type Theory
11:00 - 11:20
CP
Choreographies meet Communication Failures
11:20 - 11:40
CP
Corps: A Core Calculus of Hierarchical Choreographic Programming
11:40 - 12:00
CP
Masquerade: Information Flow Control for Choreographies
12:00 - 12:20
CP
A Probabilistic Choreography Language for PRISM
13:40 - 14:00
CP
A Function-as-a-Service Choreographic Programming Language: Examples an ...
14:00 - 14:20
CP
Exploring Algebraic Placement in Multiparty Languages
14:20 - 14:40
CP
Poroutines: The Essence of Choreographic Programming?
14:40 - 15:00
CP
We Know I Know You Know; Choreographic Programming With Multicast and M ...
15:00 - 15:20
CP
ChoRus: Library-Level Choreographic Programming in Rust
16:00 - 16:20
CP
Klor: Choreographies for the Working Clojurian
16:20 - 16:40
CP
Suki: Choreographed Distributed Dataflow in Rust
16:40 - 17:00
CP
Toward Verified Library-Level Choreographic Programming with Algebraic ...
17:00 - 17:20
CP
Closing
17:20 - 17:40