NetKAT: semantic foundations for networks

By Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Campbell Kozen, Cole Schlesinger, David Walker. ACM-SIGACT Symposium on Principles of Programming Languages, 2014

494 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications, Information Systems

View Paper: https://www.semanticscholar.org/paper/d7f8e82ed9044f30a2d6716abb521f172b75d4db

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Scott Shenker
2. Sylvia Ratnasamy
3. Shoumik Palkar
4. Chang Lan
5. Shih-Fu Chang
6. Wei David Liu
7. Jingkuan Song

In Computer Networks and Communications

1. Scott Shenker
2. Sylvia Ratnasamy
3. Luigi Rizzo
4. Shoumik Palkar
5. Ion Stoica
6. John Risson
7. Tim Moors
8. Anne-Marie Kermarrec

In Information Systems

1. Scott Shenker
2. Shoumik Palkar

Citations in the corpus

• E2: a framework for NFV applications (2015, background): “Akin to several recent network management systems [12, 15–17, 20, 37, 49], E2 provides a declarative interface through which the global SDN controller tells each E2 cluster how traffic should be processed.”
• Hybrid SDN Networks: A Survey of Existing Approaches (2018, unknown): “Merlin [326], Kinetic [327], and NetKat [328].”