A fast compiler for NetKAT

@article{Smolka2015AFC,
  title={A fast compiler for NetKAT},
  author={S. Smolka and S. Eliopoulos and N. Foster and Arjun Guha},
  journal={ArXiv},
  year={2015},
  volume={abs/1506.06378}
}
  • S. Smolka, S. Eliopoulos, +1 author Arjun Guha
  • Published 2015
  • Computer Science
  • ArXiv
  • High-level programming languages play a key role in a growing number of networking platforms, streamlining application development and enabling precise formal reasoning about network behavior. Unfortunately, current compilers only handle "local" programs that specify behavior in terms of hop-by-hop forwarding behavior, or modest extensions such as simple paths. To encode richer "global" behaviors, programmers must add extra state -- something that is tricky to get right and makes programs… CONTINUE READING
    52 Citations
    SNAP: Stateful Network-Wide Abstractions for Packet Processing
    • 124
    • PDF
    Temporal NetKAT
    • 19
    • Highly Influenced
    • PDF
    Specification and Compilation of Event-driven SDN Programs
    • 5
    • PDF
    Research Statement Arjun Guha
      TOWARDS CORRECT-BY-CONSTRUCTION SDN
      Compiling Path Queries
      • 68
      • Highly Influenced
      • PDF
      Stateful Programming of High-Speed Network Hardware
      The next 700 network programming languages (invited talk)

      References

      SHOWING 1-5 OF 5 REFERENCES
      Maple: simplifying SDN programming using algorithmic policies
      • 213
      • Highly Influential
      • PDF
      Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests
      • D. Pous
      • Computer Science
      • POPL '15
      • 2015
      • 26
      • Highly Influential
      • PDF
      SDX: a software defined internet exchange
      • 170
      • Highly Influential
      • PDF
      Network Virtualization in Multi-tenant Datacenters
      • 278
      • Highly Influential
      • PDF
      Available at http://onos.wpengine.com/wp-content/uploads
      • ONOS Project. Intent framework
      • 2014