Master's Theses & Technical Reports - Ras Bodik

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

M.S.

Program Synthesis of Parallel Scans
Sagar Jain [2011]

5th Year M.S.

Quicksilver: Automatic Synthesis of Relational Queries
Edward Lu [2013]