Julian Mackay
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2022–2025
on a stage with
who talks about the same things
- James Noble17 talks
- Susan Eisenbach5 talks
- Sophia Drossopoulou11 talks
- Jonathan Aldrich17 talks
- Alexandra Silva14 talks
- Ross Tate7 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… | ||
| 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… | ||
| nothing matches | ||