thesis

Two weeks ago I gave my master's thesis defence presentation, and last friday I submitted the thesis document itself. here is my defence slide deck, and here is the dissertation.

Among other things, in the dissertation I talk about:

• How Landslide deals with the challenges of kernel-space pertaining to systematic exploration
• How I evaluated Landslide (I met with students of 15-410 and gave them Landslide, and they found bugs with it)
• What testing approaches I think should be involved in the future of systematic exploration
• A handful of pictures (some educational and some for levity), and some humourous prose here and there as well

Hope you enjoy!