research
∙
10/10/2022
The Foil: Capture-Avoiding Substitution With No Sharp Edges
Correctly manipulating program terms in a compiler is surprisingly diffi...
share
research
∙
04/22/2022
You Only Linearize Once: Tangents Transpose to Gradients
Automatic differentiation (AD) is conventionally understood as a family ...
research
∙
05/20/2021
Decomposing reverse-mode automatic differentiation
We decompose reverse-mode automatic differentiation into (forward-mode) ...
research
∙
04/12/2021
Getting to the Point. Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming
We present a novel programming language design that attempts to combine ...
research
∙
10/06/2020
The Base Measure Problem and its Solution
Probabilistic programming systems generally compute with probability den...
research
∙
01/14/2020
FunMC: A functional API for building Markov Chains
Constant-memory algorithms, also loosely called Markov chains, power the...
research
∙
10/23/2019
Automatically Batching Control-Intensive Programs for Modern Accelerators
We present a general approach to batching arbitrary computations for acc...
research
∙
11/05/2018
Simple, Distributed, and Accelerated Probabilistic Programming
We describe a simple, low-level approach for embedding probabilistic pro...
research
∙
04/17/2017
Probabilistic programs for inferring the goals of autonomous agents
Intelligent systems sometimes need to infer the probable goals of people...
research
∙
12/17/2015