Nate Foster

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 67

Top Venues

CoRR

SOSR

SIGCOMM

Proc. ACM Program. Lang.

Publications

Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
KATch: A Fast Symbolic Verifier for NetKAT. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
KATch: A Fast Symbolic Verifier for NetKAT. CoRR (2024)
Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen
Formal Abstractions for Packet Scheduling. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Sundararajan Renganathan, Benny Rubin, Hyojoon Kim, Pier Luigi Ventre, Carmelo Cascone, Daniele Moro, Charles Chan, Nick McKeown, Nate Foster
Hydra: Effective Runtime Network Verification. SIGCOMM (2023)
Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Hanneli Tavante, Rob Sherwood, Vladyslav Dubina, Volodymyr Peschanenko, Anirudh Sivaraman, Nate Foster
P4Testgen: An Extensible Test Oracle For P4-16. SIGCOMM (2023)
Rudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, Nate Foster
P4Cub: A Little Language for Big Routers. CPP (2023)
Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva
Automata Learning with an Incomplete Teacher (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva
Automata Learning with an Incomplete Teacher. ECOOP (2023)
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini
Dependently-Typed Data Plane Programming. CoRR (2022)
Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen
Formal Abstractions for Packet Scheduling. CoRR (2022)
Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Rob Sherwood, Vlad Dubina, Volodymyr Peschanenko, Nate Foster, Anirudh Sivaraman
P4Testgen: An Extensible Test Oracle For P4. CoRR (2022)
Theo Jepsen, Ali Fattaholmanan, Masoud Moshref, Nate Foster, Antonio Carzaniga, Robert Soulé
Forwarding and Routing With Packet Subscriptions. IEEE/ACM Trans. Netw. 30 (6) (2022)
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
Leapfrog: Certified Equivalence for Protocol Parsers. CoRR (2022)
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks. CoRR (2022)
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini
Dependently-typed data plane programming. Proc. ACM Program. Lang. 6 (POPL) (2022)
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. ESOP (2022)
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
Leapfrog: certified equivalence for protocol parsers. PLDI (2022)
Yunhe Liu, Nate Foster, Fred B. Schneider
Causal network telemetry. EuroP4@CoNEXT (2022)
Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé, Nate Foster
Avenir: Managing Data Plane Diversity with Control Plane Synthesis. NSDI (2021)
Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster
Petr4: formal foundations for p4 data planes. Proc. ACM Program. Lang. 5 (POPL) (2021)
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time. Proc. ACM Program. Lang. 4 (POPL) (2020)
Hardik Soni, Myriana Rifai, Praveen Kumar, Ryan Doenges, Nate Foster
Composing Dataplane Programs with μP4. SIGCOMM (2020)
Theo Jepsen, Ali Fattaholmanan, Masoud Moshref, Nate Foster, Antonio Carzaniga, Robert Soulé
Forwarding and routing with packet subscriptions. CoNEXT (2020)
Nate Foster, Nick McKeown, Jennifer Rexford, Guru M. Parulkar, Larry L. Peterson, M. Oguz Sunay
Using deep programmability to put network owners in control. Comput. Commun. Rev. 50 (4) (2020)
Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster
Petr4: Formal Foundations for P4 Data Planes. CoRR (2020)
Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. ECOOP (2019)
Tom Magrino, Jed Liu, Nate Foster, Johannes Gehrke, Andrew C. Myers
Efficient, Consistent Distributed Computation with Predictive Treaties. EuroSys (2019)
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
Scalable Verification of Probabilistic Networks. CoRR (2019)
Theo Jepsen, Daniel Álvarez, Nate Foster, Changhoon Kim, Jeongkeun Lee, Masoud Moshref, Robert Soulé
Fast String Searching on PISA. SOSR (2019)
Shrutarshi Basu, Nate Foster, James Grimmelmann
Property conveyances as a programming language. Onward! (2019)
Eugene Bagdasaryan, Griffin Berlstein, Jason Waterman, Eleanor Birrell, Nate Foster, Fred B. Schneider, Deborah Estrin
Ancile: Enhancing Privacy for Ubiquitous Computing with Use-Based Privacy. WPES@CCS (2019)
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
Scalable verification of probabilistic networks. PLDI (2019)
Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster
TxForest: A DSL for Concurrent Filestores. CoRR (2019)
Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. CoRR (2019)
Praveen Kumar, Nandita Dukkipati, Nathan Lewis, Yi Cui, Yaogong Wang, Chonggang Li, Valas Valancius, Jake Adriaens, Steve D. Gribble, Nate Foster, Amin Vahdat
PicNIC: predictable virtualized NIC. SIGCOMM (2019)
Christian Skalka, John Ring, David Darais, Minseok Kwon, Sahil Gupta, Kyle Diller, Steffen Smolka, Nate Foster
Proof-Carrying Network Code. CCS (2019)
Gianni Antichi, Theophilus Benson, Nate Foster, Fernando M. V. Ramos, Justine Sherry
Programmable Network Data Planes (Dagstuhl Seminar 19141). Dagstuhl Reports 9 (3) (2019)
Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster
TxForest: A DSL for Concurrent Filestores. APLAS (2019)
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time. CoRR (2019)
Nate Foster, Motoyoshi Sekiya
Theory and Practice of Data Plane Programming (NII Shonan Meeting 2018-4). NII Shonan Meet. Rep. 2018 (2018)
Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiunlin Lim, Robert Soulé
Semi-Oblivious Traffic Engineering with SMORE. ANRW (2018)
Theo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, Robert Soulé
Packet Subscriptions for Programmable ASICs. HotNets (2018)
Xin Jin, Xiaozhou Li, Haoyu Zhang, Nate Foster, Jeongkeun Lee, Robert Soulé, Changhoon Kim, Ion Stoica
NetChain: Scale-Free Sub-RTT Coordination (Extended Version). CoRR (2018)
Theo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, Robert Soulé
Life in the Fast Lane: A Line-Rate Linear Road. SOSR (2018)
Xin Jin, Xiaozhou Li, Haoyu Zhang, Nate Foster, Jeongkeun Lee, Robert Soulé, Changhoon Kim, Ion Stoica
NetChain: Scale-Free Sub-RTT Coordination. NSDI (2018)
Robert Soulé, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert Kleinberg, Emin Gün Sirer, Nate Foster
Merlin: A Language for Managing Network Resources. IEEE/ACM Trans. Netw. 26 (5) (2018)
Nate Foster
Network Verification: Successes, Challenges, and Opportunities. PLAS@CCS (2018)
Praveen Kumar, Chris Yu, Yang Yuan, Nate Foster, Robert Kleinberg, Robert Soulé
YATES: Rapid Prototyping for Traffic Engineering Systems. SOSR (2018)
Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiunlin Lim, Robert Soulé
Semi-Oblivious Traffic Engineering: The Road Not Taken. NSDI (2018)
Jed Liu, William T. Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soulé, Han Wang, Calin Cascaval, Nick McKeown, Nate Foster
p4v: practical verification for programmable data planes. SIGCOMM (2018)
Victor Dantas Mehmeri, Xi Wang, Shrutarshi Basu, Qiong Zhang, Paparao Palacharla, Tadashi Ikeuchi, Idelfonso Tafur Monroy, Juan Jose Vegas Olmos, Nate Foster
Software-programmed optical networking with integrated NFV service provisioning. OFC (2017)
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
Cantor meets scott: semantic foundations for probabilistic networks. POPL (2017)
Steffen Smolka, David M. Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
Deciding Probabilistic Program Equivalence in NetKAT. CoRR (2017)
Shrutarshi Basu, Nate Foster, Hossein Hojjat, Paparao Palacharla, Christian Skalka, Xi Wang
Life on the Edge: Unraveling Policies into Configurations. ANCS (2017)
Han Wang, Robert Soulé, Huynh Tu Dang, Ki Suh Lee, Vishal Shrivastav, Nate Foster, Hakim Weatherspoon
P4FPGA: A Rapid Prototyping Framework for P4. SOSR (2017)
Xin Jin, Xiaozhou Li, Haoyu Zhang, Robert Soulé, Jeongkeun Lee, Nate Foster, Changhoon Kim, Ion Stoica
NetCache: Balancing Key-Value Stores with Fast In-Network Caching. SOSP (2017)
Nate Foster
The next 700 network programming languages (invited talk). STOC (2017)
Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný
Event-driven network programming. PLDI (2016)
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming. CoRR (2016)
Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg
Optimal Consistent Network Updates in Polynomial Time. DISC (2016)
Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, Nate Foster
Incremental forest: a DSL for efficiently managing filestores. OOPSLA (2016)
Haoxian Chen, Nate Foster, Jake Silverman, Michael J. Whittaker, Brandon Zhang, Rene Zhang
Felix: Implementing Traffic Measurement on End Hosts Using Program Analysis. SOSR (2016)
Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks
Safe and Flexible Controller Upgrades for SDNs. SOSR (2016)
Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg
Optimal Consistent Network Updates in Polynomial Time. CoRR (2016)
Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva
Probabilistic NetKAT. ESOP (2016)
Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster
Optimizing horn solvers for network repair. FMCAD (2016)
Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert D. Kleinberg, Robert Soulé
Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing. CoRR (2016)
Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný
Specification and Compilation of Event-driven SDN Programs. CoRR (2015)
Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks
Morpheus: Safe and Flexible Dynamic Updates for SDNs. CoRR (2015)
Nikolaj Bjørner, Nate Foster, Philip Brighten Godfrey, Pamela Zave
Formal Foundations for Networking (Dagstuhl Seminar 15071). Dagstuhl Reports 5 (2) (2015)
Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha
A Fast Compiler for NetKAT. CoRR (2015)
Sudip Roy, Lucja Kot, Gabriel Bender, Bailu Ding, Hossein Hojjat, Christoph Koch, Nate Foster, Johannes Gehrke
The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis. SIGMOD Conference (2015)
Nate Foster
You and your graduate research. PLMW@POPL (2015)
Xi Wang, Cong Chen, Paparao Palacharla, Motoyoshi Sekiya, Steffen Smolka, Nate Foster
SPN OS: Managing network services with virtual network objects. NFV-SDN (2015)
Nate Foster, Dexter Kozen, Matthew Milano, Alexandra Silva, Laure Thompson
A Coalgebraic Decision Procedure for NetKAT. POPL (2015)
Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha
A fast compiler for NetKAT. ICFP (2015)
Jedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster
Efficient synthesis of network updates. PLDI (2015)
Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker
NetkAT: semantic foundations for networks. POPL (2014)
Sudip Roy, Lucja Kot, Nate Foster, Johannes Gehrke, Hossein Hojjat, Christoph Koch
Writes that Fall in the Forest and Make no Sound: Semantics-Based Adaptive Data Consistency. CoRR (2014)
Jedidiah McClurg, Nate Foster, Pavol Cerný
Efficient Synthesis of Network Updates. CoRR (2014)
Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Kenneth P. Birman, Nate Foster, Robert Soulé
MiCA: A Compositional Architecture for Gossip Protocols. ECOOP (2014)
Robert Soulé, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert Kleinberg, Emin Gün Sirer, Nate Foster
Merlin: A Language for Provisioning Network Resources. CoRR (2014)
Martín Casado, Nate Foster, Arjun Guha
Abstractions for software-defined networks. Commun. ACM 57 (10) (2014)
Robert Soulé, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert D. Kleinberg, Emin Gün Sirer, Nate Foster
Merlin: A Language for Provisioning Network Resources. CoNEXT (2014)
Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger
Tutorial: Practical verification of network programs. FMCAD (2013)
Laurent Vanbever, Joshua Reich, Theophilus Benson, Nate Foster, Jennifer Rexford
HotSwap: correct and efficient controller upgrades for software-defined networks. HotSDN (2013)
Christopher Monsanto, Joshua Reich, Nate Foster, Jennifer Rexford, David Walker
Composing Software Defined Networks. NSDI (2013)
Nate Foster, Arjun Guha, Mark Reitblatt, Alec Story, Michael J. Freedman, Naga Praveen Katta, Christopher Monsanto, Joshua Reich, Jennifer Rexford, Cole Schlesinger, David Walker, Rob Harrison
Languages for software-defined networks. IEEE Commun. Mag. 51 (2) (2013)
Arjun Guha, Mark Reitblatt, Nate Foster
Machine-verified network controllers. PLDI (2013)
Robert Soulé, Shrutarshi Basu, Robert Kleinberg, Emin Gün Sirer, Nate Foster
Managing the network with Merlin. HotNets (2013)
Andrew Noyes, Todd Warszawski, Pavol Cerný, Nate Foster
Toward Synthesis of Network Updates. SYNT (2013)
Raghu Rajkumar, Nate Foster, Sam Lindley, James Cheney
Lenses for Web Data. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013)
Mark Reitblatt, Marco Canini, Arjun Guha, Nate Foster
FatTire: declarative fault tolerance for software-defined networks. HotSDN (2013)
Joshua Reich, Christopher Monsanto, Nate Foster, Jennifer Rexford, David Walker
Modular SDN Programming with Pyretic. login Usenix Mag. 38 (5) (2013)
Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster
Specifying and Verifying the Correctness of Dynamic Software Updates. VSTTE (2012)
Christopher Monsanto, Nate Foster, Rob Harrison, David Walker
A compiler and run-time system for network programming languages. POPL (2012)
Stephen Gutz, Alec Story, Cole Schlesinger, Nate Foster
Splendid isolation: a slice abstraction for software-defined networks. HotSDN@SIGCOMM (2012)
Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, David Walker
Abstractions for network update. SIGCOMM (2012)
Mark Reitblatt, Nate Foster, Jennifer Rexford, David Walker
Consistent updates for software-defined networks: change you can believe in! HotNets (2011)
Kathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu
Forest: a language and toolkit for programming with filestores. ICFP (2011)

Nate Foster.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nate Foster