ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
Thu 9 Jun 2022 11:00 - 11:30 at Aurora Borealis 1 - Session Types 1 Chair(s): Dominic Orchard

Thu 9 Jun

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

11:00 - 12:30
Session Types 1Research Papers / Expert Discussion at Aurora Borealis 1
Chair(s): Dominic Orchard University of Kent, UK
11:00
30m
Panel
Concurrent and distributed programmingExpert Discussion
Expert Discussion
P: Annette Bieniusa Technische Universität Kaiserslautern, P: Andrew K. Hirsch MPI-SWS
11:30
20m
Talk
Ferrite: A Judgmental Embedding of Session Types in RustArtifacts Evaluated - ReusableDistinguished Paper AwardArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Ruo Fei Chen Independent Researcher, Stephanie Balzer Carnegie Mellon University, Bernardo Toninho Nova University of Lisbon / NOVA-LINCS
Pre-print
11:50
20m
Talk
API Generation for Multiparty Session Types, Revisited and Revised using Scala 3 (Pearl)Artifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Guillermina Cledou HASLab, INESC TEC; University of Minho, Luc Edixhoven Open University of the Netherlands; CWI, Sung-Shik Jongmans Open University of the Netherlands; CWI, José Proença ISEP P.PORTO & INESC TEC