Formal Semantics for the Halide Language (EECS-2020-40)
Alex Reinking, Gilbert Bernstein and Jonathan Ragan-Kelley

Unlocking Design Reuse with Hardware Compiler Frameworks (EECS-2019-168)
Adam Izraelevitz

numpywren: serverless linear algebra (EECS-2018-137)
Vaishaal Shankar, Karl Krauth, Qifan Pu, Eric Jonas, Shivaram Venkataraman, Ion Stoica, Benjamin Recht and Jonathan Ragan-Kelley