M.S. | 5th Year M.S.

M.S.

Finite-time analysis of approximate policy iteration for the linear quadratic regulator
Karl Krauth [2021]

Applying the Four Russians Technique to Banded Extension and X-Drop Sequence Alignment
Cristina Teodoropol [2020]

Formal Semantics for the Halide Language
Alex Reinking [2019]

numpywren: serverless linear algebra
Vaishaal Shankar [2018]

5th Year M.S.

Neural Kernels and ImageNet Multi-Label Accuracy
Alex Fang [2020]