EHC
News
Blog
Vita
Blog Posts
Symbolic Compilation for GCL:
A Beginner's Guide to GCL and the Weakest Precondition
P4 is not going anywhere:
Nick McKeown's Committment to P4
Cannibalize your TTL:
A SIGBOVIK paper I didn't write
Solving Myst Puzzles with Z3:
How I Got Nerd-Sniped Playing VR Myst over Christmas
Teaching Networking Experientally:
How to teach 40 high school students to program networks in 3 days
Theoretically Feasible, Practically Exceptional:
Reflections on the NPI Workshop on the Foundations of Routing