Finite-time analysis of approximate policy iteration for the linear quadratic regulator (EECS-2021-3)
Vaishaal Shankar, Karl Krauth, Kailas Vodrahalli, Qifan Pu, Benjamin Recht, Ion Stoica, Jonathan Ragan-Kelley, Eric Jonas and Shivaram Venkataraman

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