master's thesis by Ajay Reddy Palleri Kesavan, Computer Science & Engineering, University of Washington, 2019