weakmemory.github.io

Research Projects

Pomsets with Transformers

Student Projects and Theses

List of ongoing projects and completed theses

Courses and Classes

Coq materials for Verification School @ Sirius’21

Semantics class @ Neapolis’23

Semantics class @ Constructor’23

Weak memory models course @ Constructor’23

Semantics class @ Constructor and Neapolis’24