Old Web
English
Sign In
Acemap
>
authorDetail
>
Ben Simner
Ben Simner
University of Cambridge
Concurrency
Programming language
Computer science
Donation
Government
5
Papers
4
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Relaxed virtual memory in Armv8-A (extended version).
2022
CoRR
Ben Simner
Alasdair Armstrong
Jean Pichon-Pharabod
Christopher Pulte
Richard Grisenthwaite
Peter Sewell
Show All
Source
Cite
Save
Citations (0)
Relaxed virtual memory in Armv8-A.
2022
ESOP | European Symposium on Programming
Ben Simner
Alasdair Armstrong
Jean Pichon-Pharabod
Christopher Pulte
Richard Grisenthwaite
Peter Sewell
Show All
Source
Cite
Save
Citations (0)
Isla: Integrating full-scale ISA semantics and axiomatic concurrency models.
2021
CAV | Computer Aided Verification
Alasdair Armstrong
Brian Campbell
Ben Simner
Christopher Pulte
Peter Sewell
Show All
Source
Cite
Save
Citations (0)
ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures
2020
ESOP | European Symposium on Programming
Ben Simner
Shaked Flur
Christopher Pulte
Alasdair Armstrong
Jean Pichon-Pharabod
Luc Maranget
Peter Sewell
Show All
Source
Cite
Save
Citations (0)
ARMv8-A system semantics: instruction fetch in relaxed architectures
2020
ESOP | European Symposium on Programming
Ben Simner
Shaked Flur
Christopher Pulte
Alasdair Armstrong
Jean Pichon-Pharabod
Luc Maranget
Peter Sewell
Show All
Source
Cite
Save
Citations (4)
1