Susan Eisenbach
where else to find them
what they talk about
where they keep going back
- OOPSLA2 editions2022–2025
all 4 in the filters
on a stage with
all 8 in the filters
who talks about the same things
- Julian Mackay4 talks
- James Noble17 talks
- Greg Morrisett3 talks
- Sophia Drossopoulou11 talks
- Michel Steuwer17 talks
- Guido Martínez10 talks
| title | conference | date |
|---|---|---|
| Reasoning about External Calls | OOPSLA 2025 | 2025-10-16 |
Paper proposes concrete assertions and a verification calculus that prove internal code cannot lose funds despite invoking unknown external objects. It models… | ||
| Work in Progress: Modelling Incorrect Programs in the Open World with D... | Incorrectness 2024 | 2024-01-17 |
Proposes using Dafny to model open‑world trust assumptions by adding an opaque ghost predicate (a “bay”) to pre/postconditions so specs explicitly record… | ||
| Object Capabilities | POCL 2024 | 2024-01-16 |
Claim: object capabilities act as necessary conditions for effects, not just rights, and tracking which objects can reach which capabilities lets one… | ||
| Necessity Specifications for Robustness | OOPSLA 2022 | 2022-12-05 |
A formal language called necessity specifies robustness by stating explicit necessary preconditions: temporal-implication operators say exactly what must have… | ||
| Doing Research in PL panel | POPL 2021 | 2021-01-17 |
Recent concrete work reported includes a postdoc-built prototype that replaces P4’s hand‑rolled state‑machine parsers with a compositional parser design, a… | ||
| nothing matches | ||