Zongyuan Liu – Research output — Aarhus University

Emailzy.liucs.audk

Åbogade 34
8200 Aarhus N
Denmark

Research activity per year

2 Journal article

2 results

2024
An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic
Hammond, A., Liu, Z., Pérami, T., Sewell, P., Birkedal, L. & Pichon-Pharabod, J., 5 Jan 2024, In: Proceedings of the ACM on Programming Languages . 8, p. 604-637 34 p., 21.
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

Open Access
2023
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A
Liu, Z., Stepanenko, S., Pichon-Pharabod, J., Timany, A., Askarov, A. & Birkedal, L., Jun 2023, In: Proceedings of the ACM on Programming Languages . 7, p. 1438-1462
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

Open Access