Zongyuan Liu
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2024–2026
on a stage with
all 12 in the filters
who talks about the same things
- Thibaut Pérami4 talks
- Angus Hammond3 talks
- Thomas Bauereiss3 talks
- Brian Campbell5 talks
- Peter Sewell14 talks
- Lars Birkedal35 talks
| title | conference | date |
|---|---|---|
| ArchSem: Reusable Rigorous Semantics of Relaxed Architectures | POPL 2026 | 2026-01-11 |
A reusable framework composes ISA pseudo-code from Sail with concurrency interpreters in Rock via a freemonad of 15 algebraic effects, ingesting the full ARM… | ||
| An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: T... | POPL 2024 | 2024-01-14 |
Claims a new separation logic AxSL for the Arm‑A user‑mode axiomatic model that lets relaxed reads/writes transfer resources when they induce ordering… | ||
| VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating(…) | PLDI 2023 | 2023-06-17 |
Formalises a substantial fragment of Arm FF‑A as a toy ISA with hypercalls and develops VMSL separation logic to reason about VM-to-VM shared pages and handoff… | ||
| nothing matches | ||