An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic A Hammond, Z Liu, T Pérami, P Sewell, L Birkedal, J Pichon-Pharabod Proceedings of the ACM on Programming Languages 8 (POPL), 604-637, 2024 | 7 | 2024 |
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A Z Liu, S Stepanenko, J Pichon-Pharabod, A Timany, A Askarov, L Birkedal Proceedings of the ACM on Programming Languages 7 (PLDI), 1438-1462, 2023 | 2 | 2023 |
Research data for" An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic" A Hammond, Z Liu, T Pérami, P Sewell, L Birkedal, J Pichon-Pharabod | 1 | 2023 |
An Axiomatic Basis for Computer Programming on Relaxed Hardware Architectures: The AxSL Logics Z LIU, A HAMMOND, T PÉRAMI, P SEWELL, L BIRKEDAL, ... | | 2024 |
Mechanised Robust Safety for Virtual Machines Communicating above FF-A Z Liu, S Stepanenko, J Pichon-Pharabod, A Timany, A Askarov, L Birkedal | | |