Recent Advances in Declarative Networking

  • Boon Thau Loo
  • Harjot Gill
  • Changbin Liu
  • Yun Mao
  • William R. Marczak
  • Micah Sherr
  • Anduo Wang
  • Wenchao Zhou
Conference paper

DOI: 10.1007/978-3-642-27694-1_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7149)
Cite this paper as:
Loo B.T. et al. (2012) Recent Advances in Declarative Networking. In: Russo C., Zhou NF. (eds) Practical Aspects of Declarative Languages. PADL 2012. Lecture Notes in Computer Science, vol 7149. Springer, Berlin, Heidelberg

Abstract

Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a dataflow framework for execution. This paper describes recent advances in declarative networking, tracing its evolution from a rapid prototyping framework towards a platform that serves as an important bridge connecting formal theories for reasoning about protocol correctness and actual implementations. In particular, the paper focuses on the use of declarative networking for addressing four main challenges in the distributed systems development cycle: the generation of safe routing implementations, debugging, security and privacy, and optimizing distributed systems.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Boon Thau Loo
    • 1
  • Harjot Gill
    • 1
  • Changbin Liu
    • 1
  • Yun Mao
    • 2
  • William R. Marczak
    • 3
  • Micah Sherr
    • 4
  • Anduo Wang
    • 1
  • Wenchao Zhou
    • 1
  1. 1.University of PennsylvaniaUSA
  2. 2.AT & T Labs ResearchUSA
  3. 3.University of California BerkeleyUSA
  4. 4.Georgetown UniversityUSA

Personalised recommendations