Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Laila Elbeheiry
conf.researchr.org general profile
PLDI 2025 profile
POPL 2025 profile
Registered user since Sun 27 Apr 2025
Name:
Laila Elbeheiry
Affiliation:
MPI-SWS
Contributions
2025
PLDI
Author of RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers within the PLDI Research Papers-track
POPL
Author of Data Race Freedom à la Mode within the POPL-track
Share
x
Mon 27 Oct 09:54