Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Laila Elbeheiry
conf.researchr.org general profile
PLDI 2025 profile
PLDI 2026 profile
POPL 2025 profile
POPL 2026 profile
Registered user since Sun 27 Apr 2025
Name:
Laila Elbeheiry
Affiliation:
MPI-SWS
Contributions
2026
PLDI
Author of VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System within the PLDI Research Papers-track
CPP
Author of A Recipe for Modular Verification of Generic Tree Traversals within the CPP 2026-track
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
Sat 11 Apr 01:34