Justus Matthiesen -

Registered user since Wed 3 Jan 2024

Name:Justus Matthiesen

Affiliation:University of Edinburgh

Contributions

2020

DeepSpec

Author of Cerberus: executable reference semantics and memory object models for ISO and de facto C within the REMS-DeepSpec 2020-track

2016

PLDI

Author of Into the depths of C: elaborating the de facto standards within the Research Papers-track