Jaco van de Pol
where else to find them
what they talk about
where they keep going back
- OOPSLA3 editions2020–2023
on a stage with
all 6 in the filters
who talks about the same things
- Magnus Madsen11 talks
- Ondřej Lhoták11 talks
- Edward Lee10 talks
- Jonathan Immanuel Brachthäuser22 talks
- Matthew Lutze5 talks
- Lionel Parreaux19 talks
| title | conference | date |
|---|---|---|
| Multi-variable Quantification of BDDs in External Memory using Nested Sweeping | VMCAI 2026 | 2026-01-12 |
Implements nested sweeping inside Adiar to do multi-variable BDD quantification in external memory, replacing recursion with coordinated concurrent sweeps and… | ||
| Program Analysis via Multiple Context Free Language Reachability | POPL 2025 | 2025-01-19 |
Introduces MCFL reachability as a tunable, decidable underapproximation for interleaved Dyck (context-sensitive) reachability, implements an algorithm with… | ||
| Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect... | OOPSLA 2023 | 2023-10-23 |
Presents a hybrid solver that combines Boole’s SVE elimination with binary decision diagrams plus precomputed tabling and caching; implemented in the Flix… | ||
| Relational Nullable Types with Boolean Unification | OOPSLA 2021 | 2021-10-17 |
Proposes a concrete type system that records two Boolean formulas per expression to track may-null and may-present, extends Hindley‑Milner with Boolean… | ||
| Polymorphic Types and Effects with Boolean Unification | OOPSLA 2020 | 2020-11-15 |
Extends Hindley-Milner with Boolean unification to infer precise pure/impure effects, proven to compute principal types and soundly guarantee that terms typed… | ||
| nothing matches | ||