POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Sun 14 Jan 2024 12:08 - 12:30 at Lovelace Room - Session 2 Chair(s): Nikos Tzevelekos

I propose an axiomatization of dynamically created, Unix-like threads using parameterized algebraic theories, an extension of algebraic theories that allows for binding. I will discuss a tentative operational semantics for threads, highlighting some directions for future work which include studying trace equivalence and normal form bisimulation.

Sun 14 Jan

Displayed time zone: London change

11:00 - 12:30
Session 2GALOP at Lovelace Room
Chair(s): Nikos Tzevelekos Queen Mary University of London
11:00
22m
Talk
Operational game semantics for generative algebraic effects and handlers
GALOP
Hamza Jaâfar Inria, Guilhem Jaber Nantes Université
11:23
22m
Talk
An abstract, certified account of Operational Game Semantics
GALOP
Peio Borthelle Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, LAMA, 73000 Chambéry, Tom Hirschowitz Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry, Guilhem Jaber Nantes Université, Yannick Zakowski Inria
11:45
22m
Talk
Operational Algorithmic Game Semantics
GALOP
Benedict Bunting University of Oxford, Andrzej Murawski University of Oxford
12:08
22m
Talk
An algebraic theory of named threads (work in progress)
GALOP
Cristina Matache University of Edinburgh