News

Seminario di Informatica: “Invariance proof methods for weakly consistent parallelism”

Giovedì 21 Luglio 2016, ore 10:00 - Aula 2AB45 - Patrick Cousot

ARGOMENTI: Seminari

Giovedì 21 Luglio 2016 alle ore 10:00 in Aula 2AB45, Patrick Cousot (New York University, USA) terrà un seminario dal titolo “Invariance proof methods for weakly consistent parallelism”.

Abstract
We design an invariance proof method for concurrent programs parameterised by a weak consistency model. This generalises Lamport/Owicki-Gries method for sequential consistency. We use the cat language to write specifications of consistency models as well as concurrent program specifications.

Download Seminari di Informatica

NEWS: Sciopero dei docenti e svolgimento degli esami - L'eventuale astensione riguardera' il primo appello d'esame programmato nel periodo 28 agosto - 31 ottobre 2017. X