Research
I'm interested broadly in formal methods and programming language design.
My current projects involve automata learning and formal verification of
network forwarding planes.
Publications
Active Learning of Symbolic NetKAT Automata
Mark Moeller, Tiago Ferreira, Thomas Lu, Nate Foster, Alexandra Silva
PLDI 2025
[pdf] [artifact]
KATch: A Fast Symbolic Verifier for NetKAT
Mark Moeller, Jules Jacobs, Olivier Savary Belanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
PLDI 2024
[pdf] [code]
Automata Learning with an Incomplete Teacher
Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva
ECOOP 2023
[pdf] [code] [artifact]
Thesis
Automata Learning for Network Verification
PhD Thesis, Cornell University, 2026
[pdf]
