Newly reducible polynomial iterates
2020 – Peter Illig, Rafe Jones, Eli Orvis, Yukihiko Segawa, Nick Spinale

(more preprints coming soon)

Selected Open Source Activity

seL4 - I'm an active contributor to seL4, the formally verified microkernel. My contributions span the kernel itself and CapDL.

Isabelle + Nix - The Isabelle developers suggested that trying to repackage, let alone port, Isabelle would be insane: [1] [2]. Nix provides a realistic and satisfying means to such a port. To prove it, I've used Nix to port Isabelle to Arm. This port has just recently become relevant due to the MacOS transition to Arm.

Nixpkgs - I'm an active contributor to the Nix packages collection.

Selected Open Source Projects

hs-arm - ARM (dis)assembler and analyzer Haskell library generated from the machine-readable ARMv8.3-A specification.

Malice - Haskell framework that provides abstractions and protocol-specific attacks for intercepting and modifying network traffic. It leverages the power of Haskell’s type system to define an embedded DSL for describing the actions of Eve and Mallory. In effect, it allows a person in the middle to write code that is as close to pure evil as possible.

pyxendbg - GDB server for virtual machine introspection under Xen. Inspired by xendbg, but with Arm in mind. Designed for debugging paravirtutalized unikernel guests.

regl - Haskell library for applicative-style regular expressions. Features uncommon yet useful primitives such as regular expression complement and disjunction. Based on regular expression derivatives.

kgo - kexec implemented in pure Go, with some extra flexibility. Designed to boot a type-1 hypervisor such as Xen or Hafnium, with LinuxBoot in mind.

routor - Tor controller that allows circuit paths to be chosen on a stream-by-stream basis.

wmonad - A set of Haskell libraries encapsulating interaction with the X11 server, enabling the expression of pure X11 logic.


David Pollatsek Prize in Computer Science
2018 – Carleton College

Phi Beta Kappa
2018 – Carleton College

United States Presidential Scholar
2014 – United States Department of Education