Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kleio Liotati
conf.researchr.org general profile
POPL 2026 profile
Not registered as user
Name:
Kleio Liotati
Affiliation:
Barkhausen Institute, Dresden
Contributions
2026
PriSC
Author of WP-Preserving Compilation -- Preserving Weakest Preconditions For End-to-End Verification within the PriSC-track
Share
x
Tue 15 Sep 10:57