Type-directed scheduling of streaming accelerators. - David Durst; Matthew Feldman; Dillon Huff; David Akeley; Ross G. Daly; Gilbert Louis Bernstein; Marco Patrignani; Kayvon Fatahalian; Pat Hanrahan (PLDI, 2020)