Zongyuan Liu | 刘宗源

As of 18 November 2024
A photo of Zongyuan Liu

I’m a fourth-year Ph.D student in the Logic and Semantics group at Department of Computer Science, Aarhus University, advised by Lars Birkedal. My research area is program verification. I am interested in developing tools for improving correctness and security of system software. Currently, I'm working with Jean Pichon-Pharabod on building advanced program logics for very relaxed memory models, like Arm-A. I will hand in my thesis in Feburary 2025.

I can be reached at zy dot liu at cs dot au dot dk.

Publications

An Axiomatic Basis for Computer Programming on Relaxed Hardware Architectures: The AxSL Logics
Zongyuan Liu, Angus Hammond, Thibaut Pérami, Peter Sewell, Lars Birkedal, and Jean Pichon Pharabod
Under SubmissionPre-print
Extended Version of POPL’24 paper
An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic
Angus Hammond, Zongyuan Liu, Thibaut Pérami, Peter Sewell, Lars Birkedal, and Jean Pichon Pharabod
POPL’24Pre-printSlides
These authors contributed equally.
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A
Zongyuan Liu, Sergei Stepanenko, Jean Pichon Pharabod, Amin Timany, Aslan Askarov, and Lars Birkedal
PLDI’23Pre-printSlides

Manuscripts

An Axiomatic Basis for Computer Programming on Relaxed Hardware Architectures: The AxSL Logics
Zongyuan Liu, Angus Hammond, Thibaut Pérami, Peter Sewell, Lars Birkedal, and Jean Pichon Pharabod
Under submissionPre-print
An extended version of POPL’24 paper

Talks

A Separation Logic for Communicating Virtual Machines
Zongyuan Liu, Sergei Stepanenko, Jean Pichon Pharabod, Amin Timany, Aslan Askarov, and Lars Birkedal
Iris Workshop 2022Slides