Candidate: Siddharth Priya
Date: April 15, 2026
Time: 2:00 PM
Location: In-person
Supervisor: Arie Gurfinkel
All are welcome!
Abstract:
Rust gets much of its power from ownership: it gives programmers low-level control while giving the compiler a disciplined way to reason about aliasing and mutation. But that structure mostly disappears once Rust is lowered to LLVM-style IR. In this seminar, I will present OSEA-IR, an LLVM-like IR with explicit ownership semantics, and SEAURCHIN, our compilation pipeline from Rust to OSEA-IR. I will show how preserving ownership below the Rust front end helps make low-level verification more tractable, by reducing reliance on expensive memory encodings and enabling direct reasoning about ownership and borrowing, while also opening the door to ownership-aware compiler optimizations.