12 citations · 24 across the 8 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
Differentiable Rendering of Neural SDFs through Reparameterization
Sai Praveen Bangaru, Michaël Gharbi, Tzu-Mao Li +7
We present a method to automatically compute correct gradients with respect to geometric scene parameters in neural SDF renderers. Recent physically-based differentiable rendering…