Motivated by two years of filesystem development for Linux, Unix (AIX/Solaris), and Windows, I started a PhD program to investigate tools for building high-quality systems software. In particular, the course of my PhD I have studied techniques for automatically building proofs that (a) low-level C programs and (b) distributed systems written in a high-level language (Haskell) both adhere to their specification. In both cases I developed tools that developers can run on their programs. I'm excited to continue to develop the tools users need to construct high quality systems, whether it by continuing to develop analyses that developers can use on their programs, developing new programming abstractions and compilation techniques that make it easier to construct and understand systems, or by bringing the techniques I have studied to an industrial setting.