World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
43
Citations
10124
World Ranking
7856
National Ranking
3398

Overview

Nate Foster is affiliated with Cornell University in the United States and has focused their research primarily in the field of Computer Science. Their work spans several subfields including Computer Networks and Communications, Hardware and Architecture, Artificial Intelligence, Software, and Computational Theory and Mathematics.

Their research addresses key topics such as Software Testing and Debugging Techniques, Formal Methods in Verification, Software-Defined Networks and 5G, Parallel Computing and Optimization Techniques, Network Packet Processing and Optimization, Security and Verification in Computing, and Embedded Systems Design Techniques.

Among their recent publications are:

  • Using deep programmability to put network owners in control, 2020, ACM SIGCOMM Computer Communication Review
  • Dependently-typed data plane programming, 2022, Proceedings of the ACM on Programming Languages
  • Lenses for Web Data, 2024, Technische Universität Berlin - Universitätsbibliothek
  • Formal Abstractions for Packet Scheduling, 2023, Proceedings of the ACM on Programming Languages
  • KATch: A Fast Symbolic Verifier for NetKAT, 2024, Proceedings of the ACM on Programming Languages

The scientist collaborates regularly with several co-authors. Frequent collaborators include Tobias Kappé, Dexter Kozen, Eric Hayden Campbell, Ryan Doenges, and Jana Wagemaker.

Publication venues where their research appears often include:

  • Proceedings of the ACM on Programming Languages
  • arXiv (Cornell University)
  • Artifact Digital Object Group
  • ACM SIGCOMM Computer Communication Review
  • Technische Universität Berlin - Universitätsbibliothek

Best Publications

  • Frenetic: a network programming language

    Nate Foster;Rob Harrison;Michael J. Freedman;Christopher Monsanto

  • Abstractions for network update

    Mark Reitblatt;Nate Foster;Jennifer Rexford;Cole Schlesinger

  • Composing software-defined networks

    Christopher Monsanto;Joshua Reich;Nate Foster;Jennifer Rexford

  • NetCache: Balancing Key-Value Stores with Fast In-Network Caching

    Xin Jin;Xiaozhou Li;Haoyu Zhang;Robert Soulé

  • NetKAT: semantic foundations for networks

    Carolyn Jane Anderson;Nate Foster;Arjun Guha;Jean-Baptiste Jeannin

  • Mechanized metatheory for the masses: the PoplMark challenge

    Brian E. Aydemir;Aaron Bohannon;Matthew Fairbairn;J. Nathan Foster

  • Bidirectional Transformations: A Cross-Discipline Perspective

    Krzysztof Czarnecki;J. Nathan Foster;Zhenjiang Hu;Ralf Lämmel

  • A compiler and run-time system for network programming languages

    Christopher Monsanto;Nate Foster;Rob Harrison;David Walker

  • Consistent updates for software-defined networks: change you can believe in!

    Mark Reitblatt;Nate Foster;Jennifer Rexford;David Walker

  • Languages for software-defined networks

    N. Foster;A. Guha;M. Reitblatt;A. Story

  • FatTire: declarative fault tolerance for software-defined networks

    Mark Reitblatt;Marco Canini;Arjun Guha;Nate Foster

  • Boomerang: resourceful lenses for string data

    Aaron Bohannon;J. Nathan Foster;Benjamin C. Pierce;Alexandre Pilkiewicz

  • Modular SDN Programming with Pyretic

    Joshua Reich;Christopher Monsanto;Nate Foster;Jennifer Rexford

  • Combinators for bi-directional tree transformations: a linguistic approach to the view update problem

    J. Nathan Foster;Michael B. Greenwald;Jonathan T. Moore;Benjamin C. Pierce

  • Merlin: A Language for Provisioning Network Resources

    Robert Soulé;Shrutarshi Basu;Parisa Jalili Marandi;Fernando Pedone

  • Netchain: scale-free sub-RTT coordination

    Xin Jin;Xiaozhou Li;Haoyu Zhang;Nate Foster

  • P4FPGA: A Rapid Prototyping Framework for P4

    Han Wang;Robert Soulé;Huynh Tu Dang;Ki Suh Lee

  • Splendid isolation: a slice abstraction for software-defined networks

    Stephen Gutz;Alec Story;Cole Schlesinger;Nate Foster

  • Abstractions for software-defined networks

    Martin Casado;Nate Foster;Arjun Guha

  • Efficient synthesis of network updates

    Jedidiah McClurg;Hossein Hojjat;Pavol Černý;Nate Foster

  • Semi-Oblivious Traffic Engineering: The Road Not Taken.

    Praveen Kumar;Yang Yuan;Chris Yu;Nate Foster

Frequent Co-Authors

Dexter Kozen
Dexter Kozen Cornell University
David Walker
David Walker Princeton University
Jennifer Rexford
Jennifer Rexford Princeton University
Robert Kleinberg
Robert Kleinberg Cornell University
Emin Gün Sirer
Emin Gün Sirer Cornell University
Jeongkeun Lee
Jeongkeun Lee Intel (United States)
Changhoon Kim
Changhoon Kim Intel (United States)
Johannes Gehrke
Johannes Gehrke Microsoft (United States)
Michael J. Freedman
Michael J. Freedman Princeton University
James Cheney
James Cheney University of Edinburgh

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degrees in Computer Science opens doors to various career pathways, some of which offer rewarding salaries with minimal time commitments. If you’re looking for options like short careers that pay well, several IT and technical programs can help you quickly start earning in high-demand roles.

Artificial intelligence is one of the most promising tech fields today. If you’re interested in specializing further, consider studying with one of the best online masters in ai. These flexible programs make gaining advanced AI expertise accessible and affordable.

Unsure which path to take? Explore the top 10 best majors for the future. This can help you align your studies with rapidly growing fields and maximize your future career potential.

For those seeking less competitive programs, there are many choices for easy masters programs to get into. These can provide a smoother transition into graduate study while still advancing your credentials.

Best Scientists Citing Nate Foster

Trending Scientists

Recently Published Articles