Ondřej Lhoták
where else to find them
what they talk about
all 6 in the filters
where they keep going back
- OOPSLA4 editions2020–2025
all 4 in the filters
on a stage with
all 20 in the filters
who talks about the same things
- Edward Lee10 talks
- Aleksander Boruch-Gruszecki9 talks
- Jonathan Immanuel Brachthäuser22 talks
- Magnus Madsen11 talks
- Jonathan Aldrich17 talks
- Lionel Parreaux19 talks
| title | conference | date |
|---|---|---|
| Qualified Types with Boolean Algebras | OOPSLA 2025 | 2025-10-16 |
Proposes qualifier-backed effects using Boolean algebras by formalizing System F⧼:B (negation, qualifier polymorphism, subqualification) and deriving an effect… | ||
| Taking away Mutation | The Scala Workshop 2025 | 2025-10-12 |
Presents an encoding that ties mutation rights to explicit capability objects using singleton types so mutable fields can be constructed in-place then rendered… | ||
| Qualifying System F-sub | OOPSLA 2024 | 2024-10-20 |
Paper claims a practical calculus System F<:Q that combines higher‑rank bounded polymorphism with a free lattice encoding of qualifier expressions, giving… | ||
| 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… | ||
| TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism | OOPSLA 2023 | 2023-10-23 |
TASTyTruffle interprets Scala TASTy (not JVM bytecode), reifies generic types as runtime shapes and implements heterogeneous box-free representations so… | ||
| Initializing Global Objects: Time and Order | OOPSLA 2023 | 2023-10-23 |
Claims a static, flow-sensitive interprocedural analysis that enforces initialization-time irrelevance plus partial ordering to eliminate Scala global-object… | ||
| Simple Reference Immutability for System F-sub | OOPSLA 2023 | 2023-10-23 |
Presents a formal calculus extending System F_sub with a runtime seal operator that enforces transitive reference immutability, models records as mutable… | ||
| Interpreter-guided Differential JIT Compiler Unit Testing | PLDI 2022 | 2022-06-13 |
Interpreter-guided concolic testing uses the VM interpreter as executable semantics to auto-generate unit tests for JIT-compiled code, modeling… | ||
| ιDOT: A DOT Calculus with Object Initialization | OOPSLA 2020 | 2020-11-15 |
Introduces iDOT, a DOT calculus that models Scala-style fields, strict field reads, and constructors and enforces initialization so null pointer exceptions… | ||
| A Type-and-Effect System for Object Initialization | OOPSLA 2020 | 2020-11-15 |
Type-and-effect design enforces a concretely checkable initialization discipline: cold, warm, hot types plus potentials and effects track field accesses… | ||
| Fixpoints for the Masses: Programming with First-Class Datalog Constraints | OOPSLA 2020 | 2020-11-15 |
Presents a concrete embedding of first-class Datalog constraints into a functional language, implemented as a 5k-line extension to the 60k-line Flix compiler… | ||
| nothing matches | ||