We stand with Ukraine  

Zongyuan Liu

Orcid: 0000-0001-9652-4869

Affiliations:
  • Aarhus University, Aarhus, Denmark


According to our database1, Zongyuan Liu authored at least 4 papers between 2023 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
An Axiomatic Basis for Computer Programming on Relaxed Hardware Architectures: The AxSL Logics.
[BibTeX]
[DOI]
Zongyuan Liu
,
Angus Hammond
,
Thibaut Pérami
,
Peter Sewell
,
Lars Birkedal
,
Jean Pichon-Pharabod
ACM Trans. Program. Lang. Syst., March, 2026

ArchSem: Reusable Rigorous Semantics of Relaxed Architectures.
[BibTeX]
[DOI]
Thibaut Pérami
,
Thomas Bauereiss
,
Brian Campbell
,
Zongyuan Liu
,
Nils Lauermann
,
Alasdair Armstrong
,
Peter Sewell
Proc. ACM Program. Lang., 2026

2024
An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Zongyuan Liu
,
Sergei Stepanenko
,
Jean Pichon-Pharabod
,
Amin Timany
,
Aslan Askarov
,
Lars Birkedal
Proc. ACM Program. Lang., 2023


  Loading...