75 citations · 315 across the 34 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022★ 2 cited
Formal Semantics for the Halide Language
Alex Reinking, Gilbert Louis Bernstein, Jonathan Ragan-Kelley
We present the first formalization and metatheory of language soundness for a user-schedulable language, the widely used array processing language Halide. User-schedulable language…
cs.GR2022★ 17 cited
Designing Perceptual Puzzles by Differentiating Probabilistic Programs
Kartik Chandra, Tzu-Mao Li, Joshua Tenenbaum +1
We design new visual illusions by finding "adversarial examples" for principled models of human perception -- specifically, for probabilistic models, which treat vision as Bayesian…