Jack Feser
where else to find them
what they talk about
all 4 in the filters
where they keep going back
on a stage with
all 11 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Typed Abstractions for Causal Probabilistic Programming | LAFI 2026 | 2026-01-11 |
A Haskell library reimplements Cairo’s causal features with concrete types, extracting a cosmonad (a reader monad transformer over a probability monad) to… | ||
| Programming Languages as Core Technology for AI | LAFI 2025 | 2025-01-19 |
Basis describes a concrete stack: Cairo causal PPL built on Pyro, an effectful Python library for algebraic effects, and program synthesis integrated into the… | ||
| Inductive Program Synthesis Guided by Observational Program Similarity | OOPSLA 2023 | 2023-10-23 |
Introduces SyMetric, a tool that replaces observational equivalence with a domain-specific observational similarity metric to cluster programs into… | ||
| Deductive Optimization of Relational Data Storage | OOPSLA 2020 | 2020-11-15 |
A system called Castor synthesizes specialized on-disk layouts and native executables from known query templates, serializing the static database ahead of time… | ||
| nothing matches | ||