Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Christopher Pulte
conf.researchr.org general profile
PLDI 2019 profile
PLDI 2020 profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2022 profile
POPL 2023 profile
Registered user since Thu 5 Nov 2015
Name:
Christopher Pulte
Country:
United Kingdom
Affiliation:
University of Cambridge
Contributions
POPL 2023
Author of CN: Verifying Systems C Code with Separation-Logic Refinement Types within the POPL-track
Committee Member in Program Committee within the POPL-track
WITS 2022
Author of CN: A Refinement Type System for C within the WITS 2022-track
PLDI 2020
Author of Repairing and Mechanising the JavaScript Relaxed Memory Model within the PLDI Research Papers-track
REMS-DeepSpec 2020
Author of WebAssembly: sequential and concurrent semantics within the REMS-DeepSpec 2020-track
Author of Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V within the REMS-DeepSpec 2020-track
Presenter of ARMv8 and RISC-V relaxed memory concurrency within the REMS-DeepSpec 2020-track
PLDI 2019
Author of Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model within the PLDI Research Papers-track
POPL 2019
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track
POPL 2018
Author 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
POPL 2017
Author of Mixed-size Concurrency: ARM, POWER, C/C++11, and SC within the POPL-track
POPL 2016
Author of Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA within the Research Papers-track
Share
x
Fri 27 Jan 15:33