Ben Simner

According to our database, Ben Simner authored at least 10 papers between 2017 and 2025.

Collaborative distances:

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

2025

Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production Hypervisor.

Kayvan Memarian, Ben Simner, David Kaloper-Mersinjak, Thibaut Pérami, Peter Sewell

Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles, 2025

Precise exceptions in relaxed architectures.

Ben Simner, Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Ohad Kammar, Jean Pichon-Pharabod, Peter Sewell

Proceedings of the 52nd Annual International Symposium on Computer Architecture, 2025

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

Relaxed exception semantics for Arm-A (extended version).

Ben Simner, Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Ohad Kammar, Jean Pichon-Pharabod, Peter Sewell

CoRR, 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