Get started
Author

Laila Elbeheiry

Observed name: Elbeheiry, Laila
ORCID: 0009-0005-9514-1360
Observed ORCID: 0009-0005-9514-1360
OpenAlex ID: A5041026507
Data Race Freedom à la Mode
2025 · Aïna Linn Georges, Benjamin Peters, et al. · Proceedings of the ACM on Programming Languages · 12
Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor
2024 · Zhenyang Dai, Shuang Liu, et al. · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 6
VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System
2026 · Travis Hance, Laila Elbeheiry, et al. · Proceedings of the ACM on Programming Languages · 2
RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers
2025 · Kimaya Bedarkar, Laila Elbeheiry, et al. · Proceedings of the ACM on Programming Languages · 2
PDF
VerusBelt: A Semantic Foundation for Verus's Proof-Oriented Extensions to the Rust Type System (Artifact)
2026 · Hance, Travis, Elbeheiry, Laila, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
A Recipe for Modular Verification of Generic Tree Traversals
2025 · Elbeheiry, Laila · MPG.PuRe (Max Planck Society) · 1
A Recipe for Modular Verification of Generic Tree Traversals
2026 · Laila Elbeheiry, Michael Sammler, et al. · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)
PDF
Works count: 9
Citation count: 26
H-index: 2
I10-index: 1
Year
Topic
Type