Signals and Threads

The Network as a Program with Nate Foster


Listen Later

Nate Foster is a professor at EPFL in Switzerland in the Networked Systems Abstractions Lab, and a visiting researcher at Jane Street on the Networking team. In this episode, he and Ron consider what happens when you bring a software mindset to network engineering. Can you use programming language theory and formal methods to realize the dream of software-defined networks? Along the way, they discuss how hyperscalers have shaped networking hardware; the return (or not) of multicast; the ways ML workloads are reshaping the networking layer; and the success Jane Street has had using an early Internet protocol, BGP, together with a more declarative high-level specification language.

You can find the transcript for this episode on our website.

Some links to topics that came up in the discussion:

  • P4 (Programming language
  • Lenses (bidirectional transformation)
  • OpenFlow
  • Kleene algebra with tests
  • NetKAT
  • End-to-end principle
  • Border Gateway Protocol
  • “Stable Internet routing without Global Coordination,” aka the Gao-Rexford conditions
  • Unison file synchronizer
  • Barefoot Networks
  • ...more
    View all episodesView all episodes
    Download on the App Store

    Signals and ThreadsBy Jane Street

    • 4.9
    • 4.9
    • 4.9
    • 4.9
    • 4.9

    4.9

    72 ratings


    More shows like Signals and Threads

    View all
    Top Traders Unplugged by Niels Kaastrup-Larsen

    Top Traders Unplugged

    591 Listeners

    Odd Lots by Bloomberg

    Odd Lots

    1,999 Listeners

    Software Engineering Radio - the podcast for professional software developers by team@se-radio.net (SE-Radio Team)

    Software Engineering Radio - the podcast for professional software developers

    274 Listeners

    Conversations with Tyler by Mercatus Center at George Mason University

    Conversations with Tyler

    2,448 Listeners

    Software Engineering Daily by Software Engineering Daily

    Software Engineering Daily

    623 Listeners

    Talk Python To Me by Michael Kennedy

    Talk Python To Me

    583 Listeners

    CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

    CoRecursive: Coding Stories

    188 Listeners

    Flirting with Models by Corey Hoffstein

    Flirting with Models

    229 Listeners

    Alpha Exchange by Dean Curnutt

    Alpha Exchange

    82 Listeners

    Dwarkesh Podcast by Dwarkesh Patel

    Dwarkesh Podcast

    566 Listeners

    Oxide and Friends by Oxide Computer Company

    Oxide and Friends

    65 Listeners

    Latent Space: The AI Engineer Podcast by Latent.Space

    Latent Space: The AI Engineer Podcast

    101 Listeners

    Money Stuff: The Podcast by Bloomberg

    Money Stuff: The Podcast

    406 Listeners

    Complex Systems with Patrick McKenzie (patio11) by Patrick McKenzie

    Complex Systems with Patrick McKenzie (patio11)

    141 Listeners

    The Pragmatic Engineer by Gergely Orosz

    The Pragmatic Engineer

    75 Listeners