Andrew Wagner
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2024–2025
all 4 in the filters
on a stage with
all 21 in the filters
who talks about the same things
- Brianna Marshall4 talks
- Olek Gierczak3 talks
- Amal Ahmed25 talks
- John M. Li4 talks
- Jonathan Aldrich17 talks
- Bryan Parno22 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… | ||
| Forge: A Tool and Language for Teaching Formal Methods | OOPSLA 2024 | 2024-10-20 |
Forge is a reworked Alloy designed to teach formal methods incrementally: it implements language levels (froglet → relational → LTL) that restrict expressive… | ||
| Realistic Realizability: Specifying ABIs You Can Count On | OOPSLA 2024 | 2024-10-20 |
Proposes using realistic realizability models to specify ABIs by connecting high-level types to concrete target code and builds a graph-based separation logic… | ||
| 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… | ||
| All the Binaries Together: A Semantic Approach to Application Binary Interfaces | PriSC 2024 | 2024-01-20 |
Proposes a concrete semantic ABI that maps a functional source language to a C-ish, reference-counted target using realizability models and separation logic to… | ||
| Semantic Encapsulation using Linking Types | TyDe 2023 | 2023-09-04 |
Presents a concrete mechanism that lets a pure language safely link to foreign code by adding linking types that describe C‑like behaviors, proving soundness… | ||
| nothing matches | ||