Conference: LOLA 2018 (Syntax and Semantics of Low-Level Languages 2018)

Conference: LOLA 2018 (Syntax and Semantics of Low-Level Languages 2018)

This page shows all presentations from this conference published in EasyChair Smart Slide.

A graph-rewriting perspective of the beta-law

A graph-rewriting perspective of the beta-law

Dan R. Ghica, Koko Muroya and Todd Waugh Ambridge

Denotational Event structure for relaxed memory

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

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

Presentations in this collection: 3