Ross Tate
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA3 editions2020–2025
on a stage with
all 7 in the filters
who talks about the same things
- Julia Belyakova6 talks
- Jan Vitek26 talks
- Ondřej Lhoták11 talks
- Jonathan Aldrich17 talks
- Tiark Rompf24 talks
- Aleksander Boruch-Gruszecki9 talks
| title | conference | date |
|---|---|---|
| Type-Outference with Label-Listeners: Foundations for Decidable Type-Consistency for(…) | OOPSLA 2025 | 2025-10-16 |
First sound and complete decision procedure for validating nominal object oriented programs with generic interfaces that are irregularly recursive without… | ||
| Decidable Subtyping of Existential Types for Julia | PLDI 2024 | 2024-06-24 |
Proves Julia’s runtime subtyping is undecidable via reduction from System F<: and designs a restricted grammar that is stratify types into method signatures… | ||
| Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation | OOPSLA 2021 | 2021-10-17 |
Formalizes type stability and introduces a stronger property, type groundedness, proves grounded instances always fully devirtualize under a modeled JIT, and… | ||
| Transitioning from Structural to Nominal Code with Efficient Gradual Typing | OOPSLA 2021 | 2021-10-17 |
MonNom is an object language that lets untyped structural records and lambdas dynamically acquire nominal interfaces (but not classes) via monotonic casts… | ||
| World Age in Julia: Optimizing Method Dispatch in the Presence of Eval | OOPSLA 2020 | 2020-11-15 |
Julia uses a world-age semantics that delays visibility of methods added by eval until between top-level calls, enabling safe inlining and avoiding… | ||
| nothing matches | ||