75 citations · 315 across the 34 of their papers we have counts for
1 paper · 2 filters
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…