Olek Gierczak
where else to find them
what they talk about
where they keep going back
- OOPSLA2 editions2024–2025
on a stage with
all 7 in the filters
who talks about the same things
- Andrew Wagner6 talks
- Brianna Marshall4 talks
- Amal Ahmed25 talks
- Christos Dimoulas8 talks
- Jonathan Aldrich17 talks
- John M. Li4 talks
| title | conference | date |
|---|---|---|
| From Linearity to Borrowing | OOPSLA 2025 | 2025-10-16 |
Builds a lightweight borrowing extension on a linear lambda calculus and implements the API as untyped terms validated by logic, not new runtime primitives… | ||
| Gradually Typed Languages Should Be Vigilant! | OOPSLA 2024 | 2024-10-20 |
Defines vigilance as a semantic criterion that checks whether runtime enforcement preserves the full run-time typing history; implements it by instrumenting… | ||
| An Incremental Approach to the Semantics of Borrowing | HOPE 2024 | 2024-09-02 |
Presents a core, extensible borrow calculus built incrementally: start from a linear call-by-push-value core, add immutable borrows, lifetimes, mutable… | ||
| nothing matches | ||