Ben Simner

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 6

Top Topics

Top Venues

Publications

Matthew J. Parkinson, Sylvan Clebsch, Ben Simner
Wait-Free Weak Reference Counting. ISMM (2023)
Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell
Relaxed virtual memory in Armv8-A. ESOP (2022)
Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell
Relaxed virtual memory in Armv8-A (extended version). CoRR (2022)
Alasdair Armstrong, Brian Campbell, Ben Simner, Christopher Pulte, Peter Sewell
Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models. CAV (1) (2021)
Ben Simner, Shaked Flur, Christopher Pulte, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget, Peter Sewell
ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures. ESOP (2020)
Matt Windsor, Mike Dodds, Ben Simner, Matthew J. Parkinson
Starling: Lightweight Concurrency Verification with Views. CAV (1) (2017)