Vikash K. Mansinghka
where else to find them
what they talk about
all 7 in the filters
where they keep going back
- LAFI5 editions2022–2026
- PLDI Workshop Honoring Andreas Podelski4 editions2023–2026
- POPL2 editions2023–2026
all 7 in the filters
on a stage with
all 31 in the filters
who talks about the same things
- Alexander K. Lew21 talks
- Martin C. Rinard12 talks
- Mathieu Huot11 talks
- Matin Ghavami5 talks
- McCoy R. Becker4 talks
- Xiaoyan Wang4 talks
| title | conference | date |
|---|---|---|
| Event-based Design Abstractions for Agent Harnesses | PAgE 2026 | 2026-06-15 |
Proposes an event-driven harness where a durable append-only event log is the single source of truth, with independent facets that fold over the log to derive… | ||
| 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… | ||
| A Design for Massively Parallel Gibbs Sampling on the GPU via Static and Dynamic(…) | LAFI 2026 | 2026-01-11 |
Design enables massively parallel Gibbs sampling on GPUs by combining a factor-based intermediate representation for static graph-coloring to expose… | ||
| 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… | ||
| 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… | ||
| MultiSPPL: extending SPPL with multivariate leaf nodes | LAFI 2024 | 2024-01-14 |
Claims that extending SPPL’s SPN leaves with a SPINNY interface of five methods (sample, PDF, prop, condition, constrain) guarantees closure under conditioning… | ||
| 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 programming and meta-programming in Clojure | Clojure/conj 2018 | 2018-11-29 |
MIT Probabilistic Computing Project presents Clojure-based tools that turn models into editable code: Metaprob is a lightweight probabilistic meta-language… | ||
| Probabilistic Programming for Augmented Intelligence | Uncertainty in Computation 2016 | 2016-10-04 |
Probabilistic programming systems build two working tools: Picture, a Julia-embedded vision pipeline that combines a differentiable renderer, a… | ||
| An Overview of Probabilistic Programming | Strange Loop 2015 | 2015-09-24 |
Three concrete systems are demonstrated with results: BayesDB exposes BQL and MML to let nonstatisticians run infer, estimate, and simulate queries over… | ||
| nothing matches | ||