Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Carmine Abate
conf.researchr.org general profile
POPL 2026 profile
Registered user since Mon 8 Dec 2025
Name:
Carmine Abate
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
Sat 24 Oct 03:33