Seguir
Ben Simner
Ben Simner
Dirección de correo verificada de cam.ac.uk - Página principal
Título
Citado por
Citado por
Año
Isla: Integrating full-scale ISA semantics and axiomatic concurrency models
A Armstrong, B Campbell, B Simner, C Pulte, P Sewell
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
31*2021
ARMv8-A system semantics: instruction fetch in relaxed architectures
B Simner, S Flur, C Pulte, A Armstrong, J Pichon-Pharabod, L Maranget, ...
Programming Languages and Systems: 29th European Symposium on Programming …, 2020
252020
Starling: lightweight concurrency verification with views
M Windsor, M Dodds, B Simner, MJ Parkinson
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
232017
Relaxed virtual memory in Armv8-A
B Simner, A Armstrong, J Pichon-Pharabod, C Pulte, R Grisenthwaite, ...
European Symposium on Programming, 143-173, 2022
222022
Wait-Free Weak Reference Counting
MJ Parkinson, S Clebsch, B Simner
Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory …, 2023
22023
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–5