Creating high-performance, statically type-safe network applications / Mar 2010
PhD thesis now available as a technical report, documenting my work on creating high-performance, statically type-safe network applications. The thesis explored how ML-style type systems and model checking could be combined to build secure network services. This foundational work on using functional programming for systems development would later influence the design of MirageOS and our approach to building secure, verified network stacks.