Blog Posts

May 10, 2023 Symbolic Compilation for GCL:
A Beginner's Guide to GCL and the Weakest Precondition
Feb 27, 2023 P4 is not going anywhere:
Nick McKeown's Committment to P4
Jan 26, 2023 Cannibalize your TTL:
A SIGBOVIK paper I didn't write
Dec 29, 2021 Solving Myst Puzzles with Z3:
How I Got Nerd-Sniped Playing VR Myst over Christmas
July 7, 2019 Teaching Networking Experientally:
How to teach 40 high school students to program networks in 3 days
June 22, 2019 Theoretically Feasible, Practically Exceptional:
Reflections on the NPI Workshop on the Foundations of Routing