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 | 25 | 2020 |
Starling: lightweight concurrency verification with views M Windsor, M Dodds, B Simner, MJ Parkinson Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 23 | 2017 |
Relaxed virtual memory in Armv8-A B Simner, A Armstrong, J Pichon-Pharabod, C Pulte, R Grisenthwaite, ... European Symposium on Programming, 143-173, 2022 | 22 | 2022 |
Wait-Free Weak Reference Counting MJ Parkinson, S Clebsch, B Simner Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory …, 2023 | 2 | 2023 |