Séminaire des équipes de recherche
Weak memory models using event structures
- Date : 25/03/2016
- Lieu : 2 rue Simone Iff, 75012 Paris (ou: 41 rue du Charolais) - Salle Jacques-Louis Lions 1, bâtiment C
- Intervenant(s) : Simon Castellan, ENS Lyon
In this talk, I will start by quickly introducing the problem of weak memory models: giving semantics to a simple concurrent programming language that takes into account out-of-order executions and caching mechanisms.
I will then present a new model based on event structures (denotations are small) which is denotational (ie. the semantics will be compositional) and based on game semantics (the semantics scales to higher-order, control, ...).
No knowledge of game semantics will be assumed.