Robert Bruce Findler
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2023–2025
on a stage with
- Alex Knauthonce
- Ben Greenmanonce
- Christos Dimoulasonce
all 17 in the filters
who talks about the same things
- Christos Dimoulas8 talks
- Sam Tobin-Hochstadt9 talks
- Arthur Correnson5 talks
- James McKinna2 talks
- Matthias Felleisen10 talks
- Andrew Wagner6 talks
| title | conference | date |
|---|---|---|
| Contract System Metatheories à la Carte: A Transition-System View of Contracts | OOPSLA 2025 | 2025-10-16 |
Models higher-order contracts as a parameterized transition system and proves that composing annotations and registers yields reusable metatheory: ownership… | ||
| A Snapshot of the Performance of Wasm Backends for Managed Languages | MPLR 2025 | 2025-10-14 |
Compares six managed-language Wasm backends to their native counterparts and to each other, reporting concrete slowdowns: the best backends average 1.4× slower… | ||
| Rhombus: A New Spin on Macros without All the Parentheses | OOPSLA 2023 | 2023-10-23 |
Rhombus is a new language implemented on Racket that replaces prefix s-exprs with an infix-friendly Shrubbery token-tree, interleaves macro expansion with an… | ||
| nothing matches | ||