Alexander K. Lew
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- LAFI5 editions2022–2026
- PLDI Workshop Honoring Andreas Podelski4 editions2023–2026
- POPL2 editions2023–2026
all 4 in the filters
on a stage with
all 33 in the filters
who talks about the same things
- Vikash K. Mansinghka24 talks
- Martin C. Rinard12 talks
- Mathieu Huot11 talks
- Matin Ghavami5 talks
- Jack Czenszak4 talks
- Sam Staton18 talks
| title | conference | date |
|---|---|---|
| GradInf: Gradient Estimation as Probabilistic Inference | PLDI 2026 | 2026-06-15 |
Introduces GradInf, a source-to-source system that reduces gradient-of-expectation problems to probabilistic inference by synthesizing an inference target via… | ||
| Incremental Computation for Efficient Programmable Inference in Probabilistic Programs | PLDI 2026 | 2026-06-15 |
Compiles probabilistic programs to deterministic density functions, then applies a compositional incrementalization based on the incremental lambda calculus… | ||
| Incremental Density Computation for Efficient Programmable Inference | LAFI 2026 | 2026-01-11 |
Presents a concrete workflow: compute trace types from the probabilistic program, use type-directed change types to represent insertions/removals/replacements… | ||
| Sequential Monte Carlo Program Synthesis with Refinement Proposals | LAFI 2026 | 2026-01-11 |
Extends program synthesis search to include probabilistic programs and evaluates exact marginal likelihood using the PL change named pluck via lazy knowledge… | ||
| Language-Model Probabilistic Programming for Improving Autoformalization via Cycle(…) | LAFI 2026 | 2026-01-11 |
Proposes a GenLM-based decoder that steers a 70B LLM with two real-valued potentials: incremental type-checking via Lean by affixing dummy conclusions at safe… | ||
| Nominal Semantics for First-class Automatic Differentiation | LAFI 2026 | 2026-01-11 |
Formalizes the popular tagged forward-mode AD (used in JAX, Julia, early PyTorch) as a meaning-preserving compiler from a simply typed lambda calculus with… | ||
| Probabilistic Programming with Vectorized Programmable Inference | POPL 2026 | 2026-01-11 |
GenJAX is a Python-embedded language and compiler that integrates JAX and exposes a vmap vectorization transformation to vectorize probabilistic traces… | ||
| Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs | PLDI 2025 | 2025-06-16 |
Implements lazy knowledge compilation in a Julia tool called Pluck and combines it with sequential Monte Carlo that uses locally‑optimal proposals computed… | ||
| Lazy Knowledge Compilation for Discrete PPLs | LAFI 2025 | 2025-01-19 |
A new variant of knowledge compilation for discrete PPLs uses lazy knowledge compilation to delay compiling subexpressions until forced, and it compiles only… | ||
| Probabilistic Programming with Programmable Variational Inference | PLDI 2024 | 2024-06-24 |
Proposes a compositional, provably correct route to variational inference that turns user-written model, guide, and objective programs into unbiased gradient… | ||
| GenSQL: A Probabilistic Programming System for Querying Generative Models of Database(…) | PLDI 2024 | 2024-06-24 |
GenSQL is a SQL extension that runs Bayesian queries over generative table models, provides a unified model API (supports PPLs, GLMs, CTGAN, and a… | ||
| Reverse mode ADEV via YOLO: tangent estimators transpose to gradient estimators | LAFI 2024 | 2024-01-14 |
Claims an automated pipeline that converts ADEV's forward-mode tangent estimators into a reverse-mode estimator by applying YOLO’s unzip and transposition… | ||
| Effective Sequential Monte Carlo for Language Model Probabilistic Programs | LAFI 2024 | 2024-01-14 |
LLaMPPL implements Sequential Monte Carlo for language-model probabilistic programs, using SMC with auto-batching of LLM calls and activation caching to run… | ||
| Toward Probabilistic Coarse-to-Fine Program Synthesis | LAFI 2024 | 2024-01-14 |
Synthesizes programs by starting with coarse probabilistic programs that use randomness as placeholders, then iteratively refines high-entropy expressions into… | ||
| Probabilistic Programming with Stochastic Probabilities | PLDI 2023 | 2023-06-17 |
Claims a compiler and runtime that let expressive probabilistic programs use noisy density estimates while preserving sound inference by design. It introduces… | ||
| What do posterior distributions of probabilistic programs look like? | LAFI 2023 | 2023-01-15 |
Defines s-Hausdorff measures and proves any probabilistic program with piecewise analytic primitives denotes a measure that has a density w.r.t. some… | ||
| Semantics of Probabilistic Program Traces | LAFI 2023 | 2023-01-15 |
Provides a minimal core calculus that models trace-based PPLs and a categorical account in quasi-Borel spaces that treats traces as measurable objects. Defines… | ||
| ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Progra... | POPL 2023 | 2023-01-15 |
ADEV is a source-to-source extension of forward-mode AD that transforms a probabilistic program into another whose expected return equals the derivative of the… | ||
| Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic | LAFI 2022 | 2022-01-16 |
Extends Lee et al. (2020) to a higher-order, recursive, probabilistic language and proves every program denotes omega-PAP functions and that AD yields correct… | ||
| Probabilistic scripts for automating common-sense tasks | Strange Loop 2019 | 2019-09-12 |
Claims a declarative DSL called Pclean encodes domain knowledge as probabilistic generators, compiles to Gen, and runs programmable inference combining… | ||
| nothing matches | ||