Sign in
Zongyuan Liu
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 3
Top Topics
Cloud Computing Environment
Denoising
Reasoning Engine
Computer Programming
Top Venues
Proc. ACM Program. Lang.
Neurocomputing
</>
Publications
</>
Angus Hammond
,
Zongyuan Liu
,
Thibaut Pérami
,
Peter Sewell
,
Lars Birkedal
,
Jean Pichon-Pharabod
An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic.
Proc. ACM Program. Lang.
8 (POPL) (2024)
Zongyuan Liu
,
Sergei Stepanenko
,
Jean Pichon-Pharabod
,
Amin Timany
,
Aslan Askarov
,
Lars Birkedal
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A.
Proc. ACM Program. Lang.
7 (PLDI) (2023)
Zhihao Li
,
Bing Han
,
Xinbo Gao
,
Biao Hou
,
Zongyuan Liu
Distance constraint between features for unsupervised domain adaptive person re-identification.
Neurocomputing
462 (2021)