2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2024
Exo 2: Growing a Scheduling Language
Yuka Ikarashi, Kevin Qian, Samir Droubi +3
User-schedulable languages (USLs) help programmers productively optimize programs by providing safe means of transforming them. Current USLs are designed to give programmers exactl…
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…