Aleksander Boruch-Gruszecki
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- OOPSLA2 editions2022–2024
all 4 in the filters
on a stage with
all 12 in the filters
who talks about the same things
- Ondřej Lhoták11 talks
- Edward Lee10 talks
- Richard A. Eisenberg18 talks
- Lionel Parreaux19 talks
- Jonathan Aldrich17 talks
- Wenjia Ye5 talks
| title | conference | date |
|---|---|---|
| Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types | OOPSLA 2024 | 2024-10-20 |
Proposal implements a Scala extension called Gradient that lets legacy code be migrated incrementally to an object-capability model by combining runtime… | ||
| Degrees of Separation: A Flexible Type System for Safe Concurrency | OOPSLA 2024 | 2024-10-20 |
A new calculus, Capture Separation Calculus (System CSC), tracks aliases via capturing types and lets code run unmodified by default but enforces separation… | ||
| Capturing Types (TOPLAS) | POPL 2024 | 2024-01-14 |
A minimal calculus called CC<:◻ capture calculus extends System F<: with capture sets so types record which capability-like free variables values may retain… | ||
| When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-C... | POPL 2024 | 2024-01-14 |
Introduces a declarative system F{≤} and an algorithm SuperF that uses multi‑bounded polymorphism to infer first‑class polymorphic types, encoding… | ||
| Welcome to IWACO! | IWACO 2023 | 2023-10-24 |
Organizers pull IWACO together after a chance conversation at Splash and four people end up running the workshop; the program ties capability as a file handle… | ||
| Degrees of Separation: A Flexible Type System for Data Race Prevention | IWACO 2023 | 2023-10-24 |
Proposes Capture Separation Calculus (CSC) that lets aliasing remain common but tracks and restricts aliases only where races matter, proving type safety and… | ||
| Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning | OOPSLA 2022 | 2022-12-05 |
Introduces the cDOT calculus as a formal foundation that encodes subtyping information uncovered by pattern matching, builds on pDOT and DOT-style structural… | ||
| Effects,capabilities,and boxes: from scope-based reasoning to type-based reasoning and back | OOPSLA 2022 | 2022-12-05 |
Claims a middle ground: System C reconciling capability-based and traditional effect systems by tracking which lexical capabilities a binding transitively… | ||
| GADTs in Dotty | Typelevel Summit Lausanne 2019 | 2019-06-14 |
Dotty implements GADTs that actually refine types on pattern match, preventing runtime casts: an expr evaluator returns the precise type after matching… | ||
| nothing matches | ||