A fast compiler for NetKAT

@inproceedings{Smolka2015AFC,
  title={A fast compiler for NetKAT},
  author={S. Smolka and S. Eliopoulos and N. Foster and Arjun Guha},
  booktitle={ICFP 2015},
  year={2015}
}
  • S. Smolka, S. Eliopoulos, +1 author Arjun Guha
  • Published in ICFP 2015
  • Computer Science
  • 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
    SNAP: Stateful Network-Wide Abstractions for Packet Processing
    • 120
    • PDF
    Temporal NetKAT
    • 19
    • Highly Influenced
    • PDF
    Compiling Path Queries
    • 66
    • Highly Influenced
    • PDF
    Specification and Compilation of Event-driven SDN Programs
    • 5
    • PDF
    Event-driven network programming
    • 34
    • PDF
    Genesis: synthesizing forwarding tables in multi-tenant networks
    • 32
    • Highly Influenced
    • PDF
    Research Statement Arjun Guha
      Verified iptables Firewall Analysis and Verification
      • 7
      • PDF
      The Mathematical Foundations for Mapping Policies to Network Devices
      • 5
      • PDF

      References

      Publications referenced by this paper.
      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, Mathematics
      • 2015
      • 26
      • Highly Influential
      • PDF
      SDX: a software defined internet exchange
      • 166
      • Highly Influential
      • PDF
      Network Virtualization in Multi-tenant Datacenters
      • 274
      • Highly Influential
      • PDF
      Available at http://onos.wpengine.com/wp-content/uploads
      • 2014