Zongyuan Liu

According to our database, Zongyuan Liu authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

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, Jean Pichon-Pharabod

Proc. ACM Program. Lang., January, 2024

2023

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, Lars Birkedal

Proc. ACM Program. Lang., 2023