The Network is the Computer: A Programming Language Perspective

Explore the evolving relationship between programming languages and networking in this conference talk from POPL'24. Delve into how the traditional separation between these fields has been challenged by the demands of large-scale systems and the advent of programmable network hardware. Discover the potential for designing and implementing custom network protocols and integrating application-level functionality directly into network fabric. Examine the crucial role that programming languages play in modern networks and how the development of domain-specific abstractions and reasoning tools for networks can offer valuable insights for the broader field of programming languages. Gain a deeper understanding of the convergence between networking and programming paradigms, and how this synergy is shaping the future of both disciplines.