Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mohamed Elsheikh
conf.researchr.org general profile
POPL 2026 profile
Not registered as user
Name:
Mohamed Elsheikh
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
Sun 8 Mar 04:23