Seguir
Zongyuan Liu
Zongyuan Liu
Dirección de correo verificada de cs.au.dk
Título
Citado por
Citado por
Año
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
72024
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
22023
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
12023
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–5