Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Justus Matthiesen
conf.researchr.org general profile
PLDI 2016 profile
PLDI 2020 profile
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
Share
x
Fri 8 Nov 22:46