← back to search

Nate Foster

Cornell University · US
Area of research
Computer Networks and Communications · Hardware and Architecture
Research interest
Research interests include Software-Defined Networks and 5G, Software System Performance and Reliability, Network Packet Processing and Optimization, and Network Security and Intrusion Detection.
h-index
38
citations
6,864
works
137
NIH funding
—
primary concept
—
email
✉ Find email ↗

Recent publications

The Design and Implementation of a Virtual Firmware Monitor
Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles 2025cited by 1position: contributordoi
Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet
Proceedings of the Workshop on Hot Topics in Operating Systems 2025cited by 1position: contributordoi
StacKAT: Infinite State Network Verification
Proceedings of the ACM on Programming Languages 2025cited by 1position: contributordoi
Active Learning of Symbolic NetKAT Automata
Proceedings of the ACM on Programming Languages 2025cited by 0position: contributordoi
It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
Communications of the ACM 2025cited by 0position: contributordoi
KATch: A Fast Symbolic Verifier for NetKAT
Proceedings of the ACM on Programming Languages 2024cited by 8position: contributordoi
Network Design Considerations for Trading Systems
Proceedings of the 23rd ACM Workshop on Hot Topics in Networks 2024cited by 1position: contributordoi
Computing Precise Control Interface Specifications
Proceedings of the ACM on Programming Languages 2024cited by 0position: contributordoi
P4Testgen: An Extensible Test Oracle For P4
2023cited by 14position: lastdoi
P4Testgen: An Extensible Test Oracle For P4
Proceedings of the ACM SIGCOMM 2023 Conference 2023cited by 12position: contributordoi
Hydra: Effective Runtime Network Verification
Proceedings of the ACM SIGCOMM 2023 Conference 2023cited by 9position: contributordoi
Formal Abstractions for Packet Scheduling
Proceedings of the ACM on Programming Languages 2023cited by 5position: contributordoi
Dependently-typed data plane programming
Proceedings of the ACM on Programming Languages 2022cited by 10position: contributordoi
Concurrent NetKAT
Lecture Notes in Computer Science 2022cited by 5position: contributordoi
Forwarding and Routing With Packet Subscriptions
IEEE/ACM Transactions on Networking 2022cited by 1position: contributordoi
Semi-Oblivious Traffic Engineering: The Road Not Taken.
Networked Systems Design and Implementation 2018cited by 260position: middle
Netchain: scale-free sub-RTT coordination
2018cited by 162position: middle
p4v
2018cited by 122position: lastdoi
NetCache
2017cited by 536position: middledoi
P4FPGA
2017cited by 148position: middledoi
Probabilistic NetKAT
Lecture notes in computer science 2016cited by 80position: firstdoi
Efficient synthesis of network updates
2015cited by 99position: lastdoi
The Homeostasis Protocol
2015cited by 58position: middledoi
NetKAT
2014cited by 372position: middledoi
Merlin
2014cited by 152position: lastdoi
Abstractions for software-defined networks
Communications of the ACM 2014cited by 110position: middledoi
A Coalgebraic Decision Procedure for NetKAT
2014cited by 95position: firstdoi
NetKAT
ACM SIGPLAN Notices 2014cited by 83position: middledoi
Composing software-defined networks
2013cited by 449position: middle
FatTire
2013cited by 184position: lastdoi

Grants

No grants ingested yet.

Frequent collaborators

— · 14 papers (2022–2025)David Walker · Princeton University8 papers (2012–2014)Robert Soulé · Yale University7 papers (2013–2018)Dexter Kozen · Cornell University7 papers (2014–2025)Cole Schlesinger · Princeton University7 papers (2012–2018)Arjun Guha · Lawrence Livermore National Laboratory6 papers (2013–2014)Mark Reitblatt · Cornell University6 papers (2012–2016)Christopher Monsanto · Princeton University4 papers (2012–2013)— · 4 papers (2022–2025)Jennifer Rexford · Princeton University4 papers (2012–2013)— · 3 papers (2017–2018)Tobias Kappé · Leiden University3 papers (2022–2025)— · 3 papers (2022–2025)Hossein Hojjat · EarthTech International (United States)2 papers (2015–2015)— · 2 papers (2018–2023)Nick McKeown · Stanford University2 papers (2018–2023)Joshua Reich · Princeton University2 papers (2013–2013)A. S. Story · Cornell University2 papers (2012–2013)Ion Stoica · University of California, Berkeley2 papers (2017–2018)Emin Gün Sirer · Avaya (United States)2 papers (2013–2014)