POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Christopher Pulte

Registered user since Thu 5 Nov 2015

Name: Christopher Pulte

Affiliation: University of Cambridge

Contributions

POPL 2018Author of Simplifying ARM Concurrency: Multicopy-Atomic Axiomatic and Operational Models for ARMv8 within the Research Papers-track
Author of Simplifying ARM Concurrency: Multicopy-atomic Axiomatic and Operational Models for ARMv8 within the Artifact Evaluation-track
Show activities from other conferences

POPL 2018-profile
View general profile