Laila Elbeheiry

According to our database, Laila Elbeheiry authored at least 4 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

A Recipe for Modular Verification of Generic Tree Traversals.

Laila Elbeheiry, Michael Sammler, Robbert Krebbers, Derek Dreyer, Deepak Garg

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

2025

Data Race Freedom à la Mode.

Aïna Linn Georges, Benjamin Peters, Laila Elbeheiry, Leo White, Stephen Dolan, Richard A. Eisenberg, Chris Casinghino, François Pottier, Derek Dreyer

Proc. ACM Program. Lang., 2025

RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers.

Kimaya Bedarkar, Laila Elbeheiry, Michael Sammler, Lennard Gäher, Björn B. Brandenburg, Derek Dreyer, Deepak Garg

Proc. ACM Program. Lang., 2025

2024

Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor.

Zhenyang Dai, Shuang Liu, Vilhelm Sjöberg, Xupeng Li, Yu Chen, Wenhao Wang, Yuekai Jia, Sean Noble Anderson, Laila Elbeheiry, Shubham Sondhi, Yu Zhang, Zhaozhong Ni, Shoumeng Yan, Ronghui Gu, Zhengyu He

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024