Ben Simner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2017–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ISCA | Precise exceptions in relaxed architectures. | Ben Simner, Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Ohad Kammar, Jean Pichon-Pharabod, Peter Sewell |
| 2025 | SOSP | Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production Hypervisor. | Kayvan Memarian, Ben Simner, David Kaloper-Mersinjak, Thibaut Prami, Peter Sewell |
| 2022 | ESOP | Relaxed virtual memory in Armv8-A. | Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell |
| 2021 | CAV | Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models. | Alasdair Armstrong, Brian Campbell, Ben Simner, Christopher Pulte, Peter Sewell |
| 2020 | ESOP | ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures. | Ben Simner, Shaked Flur, Christopher Pulte, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget, Peter Sewell |
| 2017 | CAV | Starling: Lightweight Concurrency Verification with Views. | Matt Windsor, Mike Dodds, Ben Simner, Matthew J. Parkinson |