N. McKeown, "Software-defined networking, " INFOCOM keynote talk, 2009.
D. Kreutz, F. M. Ramos, P. Verissimo, C. E. Rothenberg, S. Azodolmolky, and S. Uhlig, "Software-defined networking: A comprehensive survey, " proceedings of the IEEE, vol. 103, no. 1, pp. 14-76, 2015.
"The hp sdn app store." http://h17007.www1.hp.com/us/en/networking/solutions/technology/sdn/devcenter/#sdnAppstore.
B. Nunes, M. Mendonca, X.-N. Nguyen, K. Obraczka, T. Turletti, et al., "A survey of software-defined networking: Past, present, and future of programmable networks, " Communications Surveys & Tutorials, IEEE, vol. 16, no. 3, pp. 1617-1634, 2014.
N. Gude, T. Koponen, J. Pettit, B. Pfaff, M. Casado, N. McKeown, and S. Shenker, "Nox: towards an operating system for networks, " ACM SIGCOMM Computer Communication Review, vol. 38, no. 3, pp. 105-110, 2008.
R. Soulé, S. Basu, P. J. Marandi, F. Pedone, R. Kleinberg, E. G. Sirer, and N. Foster, "Merlin: A language for provisioning network resources, " in ACM CoNEXT, 2014.
N. Foster, R. Harrison, M. J. Freedman, C. Monsanto, J. Rexford, A. Story, and D. Walker, "Frenetic: A network programming language, " in ACM SIGPLAN Notices, vol. 46, pp. 279-291, ACM, 2011.
C. Monsanto, N. Foster, R. Harrison, and D. Walker, "A compiler and run-time system for network programming languages, " ACM SIGPLAN Notices, vol. 47, no. 1, pp. 217-230, 2012.
Y. T. Chaithan Prakash, Jeongkeun Lee and J.-M. Kang., "Pga: Using graphs to express and automatically reconcile network policies, " in Proceedings of the 2015 ACM conference on SIGCOMM, ACM, 2015.
H. Kim, J. Reich, A. Gupta, M. Shahbaz, N. Feamster, and R. Clark, "Kinetic: Verifiable dynamic network control, " 2015.
X. Jin, J. Gossels, J. Rexford, and D. Walker, "Covisor: A compositional hypervisor for software-defined networks, " in Proc. USENIX NSDI, 2015.
A. Dixit, K. Kogan, and P. Eugster, "Composing heterogeneous sdn controllers with flowbricks, " in Network Protocols (ICNP), 2014 IEEE 22nd International Conference on, pp. 287-292, IEEE, 2014.
N. McKeown, T. Anderson, H. Balakrishnan, G. Parulkar, L. Peterson, J. Rexford, S. Shenker, and J. Turner, "Openflow: enabling innovation in campus networks, " ACM SIGCOMM Computer Communication Review, vol. 38, no. 2, pp. 69-74, 2008.
C. Monsanto, J. Reich, N. Foster, J. Rexford, D. Walker, et al., "Composing software defined networks., " in NSDI, pp. 1-13, 2013.
N. Foster, A. Guha, M. Reitblatt, A. Story, M. J. Freedman, N. P. Katta, C. Monsanto, J. Reich, J. Rexford, C. Schlesinger, et al., "Languages for software-defined networks, " Communications Magazine, IEEE, vol. 51, no. 2, pp. 128-134, 2013.
C. J. Anderson, N. Foster, A. Guha, J.-B. Jeannin, D. Kozen, C. Schlesinger, and D. Walker, "Netkat: Semantic foundations for networks, " ACM SIGPLAN Notices, vol. 49, no. 1, pp. 113-126, 2014.
X. Jin, J. Rexford, and D. Walker, "Incremental update for a compositional sdn hypervisor, " in Proceedings of the third workshop on Hot topics in software defined networking, pp. 187-192, ACM, 2014.
"The opensource code of covisor." https://github.com/CoVisor/CoVisor.
"The code of frenetic language.." http://frenetic-lang.org/pyretic/.
