FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

A graph-rewriting perspective of the beta-law

Dan R. Ghica, Koko Muroya and Todd Waugh Ambridge

Denotational Event structure for relaxed memory

Jade Alglave, Simon Castellan and Jean-Marie Madiot

A more precise, more correct stack and register model for CompCert

Gergö Barany
Total: 3 presentations.