Tom Schrijvers
where else to find them
no profile links on file
what they talk about
all 7 in the filters
where they keep going back
all 12 in the filters
on a stage with
all 21 in the filters
who talks about the same things
- Georgios Karachalias3 talks
- Ruifeng Xie5 talks
- Zhenjiang Hu15 talks
- Michel Steuwer17 talks
- Daan Leijen16 talks
- Philipp Schuster13 talks
| title | conference | date |
|---|---|---|
| Staging Effect Handlers for Modular Search | PEPM 2026 | 2026-01-11 |
Recasts monadic constraint programming as an algebraic effect handlers design where models are free‑monad effectful computations and solvers are handlers… | ||
| Staging Automatic Differentiation with Fusion | Haskell 2025 | 2025-10-16 |
Claims a compiler for reverse‑mode AD that is correct by construction and yields concrete speedups up to 110x speedup over an earlier interpreter approach… | ||
| Compositions for Free: Reasoning about Effectful Lenses | HOPE 2025 | 2025-10-12 |
Presents a construction that composes two different monads into a free polymonad so effects run in two staged layers and most roundtrip laws become theorems… | ||
| Effectful Lenses: There and Back with Different Monads | ICFP 2025 | 2025-10-12 |
Framework introduces effectful lenses that allow different monads in the two directions, using the lenses with complements encoding plus user-specified… | ||
| Biparsers: Exact Printing for Data Synchronisation | POPL 2025 | 2025-01-19 |
Claims a first biparser framework that achieves exact-printing with non-injective parsers by treating parser/printer pairs as monadic lenses, proving… | ||
| ASSIST: Automated Feedback Generation for Syntax and Logical Errors in Programming(…) | SPLASH-E 2024 | 2024-10-24 |
ASSIST is a tool that combines fault‑tolerant parsing via tree-sitter with assignment‑specific rewrite rules and program synthesis using Sketch to produce… | ||
| Phases in Software Architecture | FUNARCH 2023 | 2023-09-08 |
Argues that multi‑phase program structure is captured by an applicative functor encoding phases, uses Day convolution to compose two‑phase and iterated… | ||
| Multi-phase computation as an applicative functor | TyDe 2023 | 2023-09-04 |
Claims that structuring a computation as an applicative with phases (implemented via Day convolution / an iterated, homogeneous “phases” type) lets a single… | ||
| Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (App... | PADL 2023 | 2023-01-16 |
A Haskell-based DSL called Fluo DSL in Haskell executes lists of measurement elements (irradiation, camera triggers, waits) and nests them with stage loops and… | ||
| Oregano: Staging Regular Expressions with Moore Cayley Fusion | Haskell Symposium 2022 | 2022-09-15 |
Oregano implements regular expressions as Moore machines with a Cayley/CPS compilation pipeline and staged meta-programming to emit specialized matcher code… | ||
| Fusing Industry and Academia at GitHub (Experience Report) | ICFP 2022 | 2022-09-11 |
GitHub describes building Semantic in Haskell to power code navigation and structural diffing across 9 languages, using tree-sitter grammars compiled to C for… | ||
| Latent Effects for Reusable Language Components | APLAS 2021 | 2021-10-17 |
Claims a new class called latent effects that strictly generalizes algebraic and scoped effects and adds a modular latent monad plus a latent functor L to let… | ||
| Efficient Compilation of Algebraic Effect Handlers | OOPSLA 2021 | 2021-10-17 |
An optimizing Eff→OCaml compiler is implemented that uses a two-phase ExEff/NoEff pipeline with type-and-effect directed rewrites, function specialization and… | ||
| Latent Effects and Handlers + Automatic Differentiation via Effects and Handlers | PEPM 2021 | 2021-01-18 |
Two papers show concrete implementations: one adds latent effects to algebraic handlers (Acta implementation) so function abstractions and staging can get… | ||
| Resolution as Intersection Subtyping via Modus Ponens | OOPSLA 2020 | 2020-11-15 |
Integrates resolution into coercive subtyping with intersection types by adding a modus ponens rule that, when a context type is both a function and its… | ||
| nothing matches | ||