Graduate Student
Hello! I'm Andrew Johnson, a final year graduate student in the programming languages and verification group at Princeton University. I am advised by Professor David Walker. I'm generally interested in a variety of problems relating to programming languages and networking.
I completed my BS in computer science and mathematics at Northeastern University in 2021. There, I did undergraduate research on verification with Dr. Thomas Wahl.
Andrew Johnson, Dennis Fetterly, Sean Song, Jon Zolla. Model Checking for Flexible Network Protocols. CAV 2024.PDF
Andrew Johnson, Ryan Beckett, Xiaoqi Chen, Ratul Mahajan, David Walker. Sequence Abstractions for Flexible, Line-Rate Network Monitoring. NSDI 2024.PDF
Xiaoqi Chen, Mengying Pan, Andrew Johnson, David Walker. Synthesizing State Machines for Data Planes. SOSR 2022. Won best paper! PDF
Andrew Johnson, Thomas Wahl. Delay-Bounded Scheduling Without Delay! CAV 2021.PDF