Zongyuan Liu

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.

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


An axiomatic basis for computer programming on the relaxed Arm-A architecture: The AxSL Logic
These authors contributed equally.
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A


A Separation Logic for Communicating Virtual Machines