research
∙
06/13/2023
Differentiating Metropolis-Hastings to Optimize Intractable Densities
We develop an algorithm for automatic differentiation of Metropolis-Hast...
share
research
∙
05/26/2023
Inferring the Future by Imagining the Past
A single panel of a comic book can say a lot: it shows not only where ch...
research
∙
05/26/2023
Acting as Inverse Inverse Planning
Great storytellers know how to take us on a journey. They direct charact...
research
∙
10/27/2022
Formal Semantics for the Halide Language
We present the first formalization and metatheory of language soundness ...
research
∙
04/26/2022
Designing Perceptual Puzzles by Differentiating Probabilistic Programs
We design new visual illusions by finding "adversarial examples" for pri...
research
∙
07/27/2021
Guided Optimization for Image Processing Pipelines
Writing high-performance image processing code is challenging and labor-...
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
∙
12/13/2020
Learning to Schedule Halide Pipelines for the GPU
We present a new algorithm to automatically generate high-performance GP...
research
∙
08/25/2020
Differentiating a Tensor Language
How does one compile derivatives of tensor programs, such that the resul...
research
∙
03/04/2020
Neural Kernels Without Tangents
We investigate the connections between neural networks and simple buildi...
research
∙
10/01/2019
DiffTaichi: Differentiable Programming for Physical Simulation
We study the problem of learning and optimizing through physical simulat...
research
∙
10/23/2018
numpywren: serverless linear algebra
Linear algebra operations are widely used in scientific computing and ma...
research
∙
06/14/2016
A Systematic Approach to Blocking Convolutional Neural Networks
Convolutional Neural Networks (CNNs) are the state of the art solution f...
research
∙
04/22/2016