Ben Simner

According to our database, Ben Simner authored at least 7 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version).

Alasdair Armstrong, Brian Campbell, Ben Simner, Christopher Pulte, Peter Sewell

Formal Methods Syst. Des., October, 2024

2023

Wait-Free Weak Reference Counting.

Matthew J. Parkinson, Sylvan Clebsch, Ben Simner

Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management, 2023

2022

Relaxed virtual memory in Armv8-A (extended version).

Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell

CoRR, 2022

Relaxed virtual memory in Armv8-A.

Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell

Proceedings of the Programming Languages and Systems, 2022

2021

Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models.

Alasdair Armstrong, Brian Campbell, Ben Simner, Christopher Pulte, Peter Sewell

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures.

Ben Simner, Shaked Flur, Christopher Pulte, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget, Peter Sewell

Proceedings of the Programming Languages and Systems, 2020

2017

Starling: Lightweight Concurrency Verification with Views.

Matt Windsor, Mike Dodds, Ben Simner, Matthew J. Parkinson

Proceedings of the Computer Aided Verification - 29th International Conference, 2017