Nate Foster
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
57
Venues
20
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
57 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | The Simulator's Blueprint: Automata Learning from Cybersecurity Logs. | Tudor Braicu, Benjamin Ylvisaker, Nicolas A. Espinosa Dice, Yiding Chen, Yiyi Zhang, Nate Foster, Hossein Hojjat |
| 2026 | ECOOP | NEST: Network Enforced Session Types. | Jens Kanstrup Larsen, Alceste Scalas, Guy Amir, Jules Jacobs, Jana Wagemaker, Nate Foster |
| 2025 | HotOS | Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet. | Charly Castes, Franois Costa, Nate Foster, Thomas Bourgeat, Edouard Bugnion |
| 2025 | SOSP | The Design and Implementation of a Virtual Firmware Monitor. | Charly Castes, Franois Costa, Neelu S. Kalani, Timothy Roscoe, Nate Foster, Thomas Bourgeat, Edouard Bugnion |
| 2024 | HOTNETS | Network Design Considerations for Trading Systems. | Andy Myers, Brian Nigito, Nate Foster |
| 2023 | CPP | P4Cub: A Little Language for Big Routers. | Rudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, Nate Foster |
| 2023 | ECOOP | Automata Learning with an Incomplete Teacher. | Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva |
| 2023 | SIGCOMM | Hydra: Effective Runtime Network Verification. | Sundararajan Renganathan, Benny Rubin, Hyojoon Kim, Pier Luigi Ventre, Carmelo Cascone, Daniele Moro, Charles Chan, Nick McKeown, Nate Foster |
| 2023 | SIGCOMM | P4Testgen: An Extensible Test Oracle For P4-16. | Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Hanneli Tavante, Rob Sherwood, Vladyslav Dubina, Volodymyr Peschanenko, Anirudh Sivaraman, Nate Foster |
| 2022 | CoNEXT | Causal network telemetry. | Yunhe Liu, Nate Foster, Fred B. Schneider |
| 2022 | ESOP | Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. | Jana Wagemaker, Nate Foster, Tobias Kapp, Dexter Kozen, Jurriaan Rot, Alexandra Silva |
| 2022 | PLDI | Leapfrog: certified equivalence for protocol parsers. | Ryan Doenges, Tobias Kapp, John Sarracino, Nate Foster, Greg Morrisett |
| 2021 | NSDI | Avenir: Managing Data Plane Diversity with Control Plane Synthesis. | Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soul, Nate Foster |
| 2020 | CoNEXT | Forwarding and routing with packet subscriptions. | Theo Jepsen, Ali Fattaholmanan, Masoud Moshref, Nate Foster, Antonio Carzaniga, Robert Soul |
| 2020 | SIGCOMM | Composing Dataplane Programs with μP4. | Hardik Soni, Myriana Rifai, Praveen Kumar, Ryan Doenges, Nate Foster |
| 2019 | APLAS | TxForest: A DSL for Concurrent Filestores. | Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster |
| 2019 | CCS | Proof-Carrying Network Code. | Christian Skalka, John H. Ring, David Darais, Minseok Kwon, Sahil Gupta, Kyle Diller, Steffen Smolka, Nate Foster |
| 2019 | ECOOP | How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. | Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini |
| 2019 | EuroSys | Efficient, Consistent Distributed Computation with Predictive Treaties. | Tom Magrino, Jed Liu, Nate Foster, Johannes Gehrke, Andrew C. Myers |
| 2019 | OOPSLA | Property conveyances as a programming language. | Shrutarshi Basu, Nate Foster, James Grimmelmann |
| 2019 | PLDI | Scalable verification of probabilistic networks. | Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva |
| 2019 | SIGCOMM | PicNIC: predictable virtualized NIC. | Praveen Kumar, Nandita Dukkipati, Nathan Lewis, Yi Cui, Yaogong Wang, Chonggang Li, Valas Valancius, Jake Adriaens, Steve D. Gribble, Nate Foster, Amin Vahdat |
| 2018 | CCS | Network Verification: Successes, Challenges, and Opportunities. | Nate Foster |
| 2018 | HOTNETS | Packet Subscriptions for Programmable ASICs. | Theo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, Robert Soul |
| 2018 | NSDI | NetChain: Scale-Free Sub-RTT Coordination. | Xin Jin, Xiaozhou Li, Haoyu Zhang, Nate Foster, Jeongkeun Lee, Robert Soul, Changhoon Kim, Ion Stoica |
| 2018 | NSDI | Semi-Oblivious Traffic Engineering: The Road Not Taken. | Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiunlin Lim, Robert Soul |
| 2018 | SIGCOMM | p4v: practical verification for programmable data planes. | Jed Liu, William T. Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soul, Han Wang, Calin Cascaval, Nick McKeown, Nate Foster |
| 2017 | POPL | Cantor meets scott: semantic foundations for probabilistic networks. | Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva |
| 2017 | STOC | The next 700 network programming languages (invited talk). | Nate Foster |
| 2017 | SOSP | NetCache: Balancing Key-Value Stores with Fast In-Network Caching. | Xin Jin, Xiaozhou Li, Haoyu Zhang, Robert Soul, Jeongkeun Lee, Nate Foster, Changhoon Kim, Ion Stoica |
| 2016 | ESOP | Probabilistic NetKAT. | Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva |
| 2016 | FMCAD | Optimizing horn solvers for network repair. | Hossein Hojjat, Philipp Rmmer, Jedidiah McClurg, Pavol Cern, Nate Foster |
| 2016 | OOPSLA | Incremental forest: a DSL for efficiently managing filestores. | Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, Nate Foster |
| 2016 | PLDI | Event-driven network programming. | Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cern |
| 2015 | ICFP | A fast compiler for NetKAT. | Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha |
| 2015 | PLDI | Efficient synthesis of network updates. | Jedidiah McClurg, Hossein Hojjat, Pavol Cern, Nate Foster |
| 2015 | POPL | You and your graduate research. | Nate Foster |
| 2015 | POPL | A Coalgebraic Decision Procedure for NetKAT. | Nate Foster, Dexter Kozen, Mae Milano, Alexandra Silva, Laure Thompson |
| 2015 | SIGMOD | The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis. | Sudip Roy, Lucja Kot, Gabriel Bender, Bailu Ding, Hossein Hojjat, Christoph Koch, Nate Foster, Johannes Gehrke |
| 2014 | CoNEXT | Merlin: A Language for Provisioning Network Resources. | Robert Soul, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert D. Kleinberg, Emin Gn Sirer, Nate Foster |
| 2014 | ECOOP | MiCA: A Compositional Architecture for Gossip Protocols. | Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Kenneth P. Birman, Nate Foster, Robert Soul |
| 2014 | POPL | NetkAT: semantic foundations for networks. | Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker |
| 2013 | FMCAD | Tutorial: Practical verification of network programs. | Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger |
| 2013 | HOTNETS | Managing the network with Merlin. | Robert Soul, Shrutarshi Basu, Robert Kleinberg, Emin Gn Sirer, Nate Foster |
| 2013 | NSDI | Composing Software Defined Networks. | Christopher Monsanto, Joshua Reich, Nate Foster, Jennifer Rexford, David Walker |
| 2013 | PLDI | Machine-verified network controllers. | Arjun Guha, Mark Reitblatt, Nate Foster |
| 2013 | SIGCOMM | FatTire: declarative fault tolerance for software-defined networks. | Mark Reitblatt, Marco Canini, Arjun Guha, Nate Foster |
| 2013 | SIGCOMM | HotSwap: correct and efficient controller upgrades for software-defined networks. | Laurent Vanbever, Joshua Reich, Theophilus Benson, Nate Foster, Jennifer Rexford |
| 2012 | POPL | A compiler and run-time system for network programming languages. | Christopher Monsanto, Nate Foster, Rob Harrison, David Walker |
| 2012 | SIGCOMM | Splendid isolation: a slice abstraction for software-defined networks. | Stephen Gutz, Alec Story, Cole Schlesinger, Nate Foster |
| 2012 | SIGCOMM | Abstractions for network update. | Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, David Walker |
| 2011 | HOTNETS | Consistent updates for software-defined networks: change you can believe in! | Mark Reitblatt, Nate Foster, Jennifer Rexford, David Walker |
| 2011 | ICFP | Forest: a language and toolkit for programming with filestores. | Kathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu |
| 2011 | ICFP | Frenetic: a network programming language. | Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, David Walker |
| 2010 | CoNEXT | Frenetic: a high-level language for OpenFlow networks. | Nate Foster, Michael J. Freedman, Rob Harrison, Jennifer Rexford, Matthew L. Meola, David Walker |
| 2010 | ICFP | Matching lenses: alignment and view update. | Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce |
| 2009 | OOPSLA | Provenance: a future history. | James Cheney, Stephen Chong, Nate Foster, Margo I. Seltzer, Stijn Vansummeren |