2012-05-23

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!