Zongyuan Liu -

Registered user since Thu 30 Mar 2023

Name:Zongyuan Liu

Country:Denmark

Affiliation:Aarhus University

Personal website: https://cs.au.dk/~zyliu

Research interests:Program Verification

Contributions

2026

POPL

Author of ArchSem: Reusable Rigorous Semantics of Relaxed Architectures within the POPL-track

2024

POPL

Author of An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic within the POPL-track

2023

PLDI

Author of VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A within the PLDI Research Papers-track