Laila Elbeheiry
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
on a stage with
all 16 in the filters
who talks about the same things
- Derek Dreyer35 talks
- Travis Hance7 talks
- Lennard Gäher7 talks
- Ralf Jung18 talks
- Yusuke Matsushita7 talks
- Michael Sammler16 talks
| title | conference | date |
|---|---|---|
| VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type(…) | PLDI 2026 | 2026-06-15 |
Paper proves a machine-checked soundness theorem for a Verus subset by formalizing Verus’s proof-oriented types and translating them into Rust Hornbill–style… | ||
| A Recipe for Modular Verification of Generic Tree Traversals | CPP 2026 | 2026-01-12 |
Presents a concrete verification recipe that models traversal state with a zipper with shadow and characterizes step types as action and silent steps, yielding… | ||
| RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free(…) | PLDI 2025 | 2025-06-16 |
Claims a machine‑checked end‑to‑end proof that an interrupt‑free, fixed‑priority, non‑preemptive scheduler meets response‑time bounds by connecting program… | ||
| Data Race Freedom à la Mode | POPL 2025 | 2025-01-19 |
DRFcaml extends OCaml's type system with new mode axes (contention and portability) to statically guarantee data-race freedom for multi-threaded OCaml while… | ||
| nothing matches | ||