-
1
-
-
85059754599
-
Netkat: Semantic foundations for networks
-
C. J. Anderson, N. Foster, A. Guha, J.-B. Jeannin, D. Kozen, C. Schlesinger, and D. Walker. NetKAT: Semantic Foundations for Networks. In ACM POPL, 2014.
-
(2014)
ACM POPL
-
-
Anderson, C.J.1
Foster, N.2
Guha, A.3
Jeannin, J.-B.4
Kozen, D.5
Schlesinger, C.6
Walker, D.7
-
2
-
-
84920457883
-
-
Apache CloudStack: Open Source Cloud Computing. http://cloudstack.apache.org/
-
-
-
-
3
-
-
84920474778
-
VeriCon: Towards verifying controller programs in software-defined network
-
T. Ball, N. Bjorner, A. Gember, S. Itzhaky, A. Karbyshev, M. Sagiv, M. Schapira, and A. Valadarsky. VeriCon: Towards Verifying Controller Programs in Software-Defined Network. In ACM PLDI, 2014.
-
(2014)
ACM PLDI
-
-
Ball, T.1
Bjorner, N.2
Gember, A.3
Itzhaky, S.4
Karbyshev, A.5
Sagiv, M.6
Schapira, M.7
Valadarsky, A.8
-
5
-
-
84920445987
-
-
Project Floodlight. http://www.projectfloodlight.org/floodlight/
-
-
-
-
6
-
-
84866483724
-
Surviving failures in bandwidth-constrained datacenters
-
P. Bodík, I. Menache, M. Chowdhury, P. Mani, D. A. Maltz, and I. Stoica. Surviving failures in bandwidth-constrained datacenters. In Proc. SIGCOMM, 2012.
-
(2012)
Proc. SIGCOMM
-
-
Bodík, P.1
Menache, I.2
Chowdhury, M.3
Mani, P.4
Maltz, D.A.5
Stoica, I.6
-
8
-
-
84883299005
-
Participatory Networking: An API for Application control of SDNs
-
A. D. Ferguson, A. Guha, C. Liang, R. Fonseca, and S. Krishnamurthi. Participatory Networking: An API for Application Control of SDNs. In Proc. SIGCOMM, 2013.
-
(2013)
Proc. SIGCOMM
-
-
Ferguson, A.D.1
Guha, A.2
Liang, C.3
Fonseca, R.4
Krishnamurthi, S.5
-
9
-
-
84883675940
-
Frenetic: A high-level language for openflow networks
-
N. Foster, M. J. Freedman, R. Harrison, J. Rexford, M. L. Meola, and D. Walker. Frenetic: A High-Level Language for OpenFlow Networks. In Proc. PRESTO, 2010.
-
(2010)
Proc. PRESTO
-
-
Foster, N.1
Freedman, M.J.2
Harrison, R.3
Rexford, J.4
Meola, M.L.5
Walker, D.6
-
10
-
-
80054087519
-
Frenetic: A network programming language
-
N. Foster, R. Harrison, M. J. Freedman, C. Monsanto, J. Rexford, A. Story, and D. Walker. Frenetic: A Network Programming Language. In Proc. ICFP, 2011.
-
(2011)
Proc. ICFP
-
-
Foster, N.1
Harrison, R.2
Freedman, M.J.3
Monsanto, C.4
Rexford, J.5
Story, A.6
Walker, D.7
-
11
-
-
83455196233
-
Dominant resource fairness: Fair allocation of multiple resource types
-
A. Ghodsi, M. Zaharia, B. Hindman, A. Konwinski, S. Shenker, and I. Stoica. Dominant resource fairness: Fair allocation of multiple resource types. In USENIX NSDI, 2011.
-
(2011)
USENIX NSDI
-
-
Ghodsi, A.1
Zaharia, M.2
Hindman, B.3
Konwinski, A.4
Shenker, S.5
Stoica, I.6
-
12
-
-
70350656962
-
NOX: Towards an operating system for networks
-
July
-
N. Gude, T. Koponen, J. Pettit, B. Pfaff, M. Casado, N. McKeown, and S. Shenker. NOX: Towards an Operating System for Networks. In SIGCOMM CCR, July 2008.
-
(2008)
SIGCOMM CCR
-
-
Gude, N.1
Koponen, T.2
Pettit, J.3
Pfaff, B.4
Casado, M.5
McKeown, N.6
Shenker, S.7
-
13
-
-
84883729399
-
Real time network policy checking using header space analysis
-
P. Kazemian, M. Chang, H. Zeng, G. Varghese, N. McKeown, and S. Whyte. Real Time Network Policy Checking using Header Space Analysis. In USENIX NSDI, 2013.
-
(2013)
USENIX NSDI
-
-
Kazemian, P.1
Chang, M.2
Zeng, H.3
Varghese, G.4
McKeown, N.5
Whyte, S.6
-
14
-
-
84883669303
-
VeriFlow: Verifying network-wide invariants in real time
-
A. Khurshid, X. Zou, W. Zhou, M. Caesar, and P. B. Godfrey. VeriFlow: Verifying Network-Wide Invariants in Real Time. In USENIX NSDI, 2013.
-
(2013)
USENIX NSDI
-
-
Khurshid, A.1
Zou, X.2
Zhou, W.3
Caesar, M.4
Godfrey, P.B.5
-
15
-
-
85060894458
-
Automated and scalable qos control for network convergence
-
Apr.
-
W. Kim, P. Sharma, J. Lee, S. Banerjee, J. Tourrilhes, S.-J. Lee, and P. Yalagandula. Automated and Scalable QoS Control for Network Convergence. In Proc. INM/WREN, Apr. 2010.
-
(2010)
Proc. INM/WREN
-
-
Kim, W.1
Sharma, P.2
Lee, J.3
Banerjee, S.4
Tourrilhes, J.5
Lee, S.-J.6
Yalagandula, P.7
-
16
-
-
84907338467
-
Application-driven bandwidth guarantees in datacenters
-
J. Lee, Y. Turner, M. Lee, L. Popa, S. Banerjee, J.-M. Kang, and P. Sharma. Application-Driven Bandwidth Guarantees in Datacenters. In SIGCOMM, 2014.
-
(2014)
SIGCOMM
-
-
Lee, J.1
Turner, Y.2
Lee, M.3
Popa, L.4
Banerjee, S.5
Kang, J.-M.6
Sharma, P.7
-
17
-
-
84920434082
-
-
Project OpenDaylight. http://www.opendaylight.org/
-
-
-
-
18
-
-
55349132741
-
ICE: An expressive iterative combinatorial exchange
-
B. Lubin, A. Juda, R. Cavallo, S. Lahaie, J. Shneidman, and D. C. Parkes. ICE: An Expressive Iterative Combinatorial Exchange. J. Artificial Intelligence Research, 33:33-77, 2008.
-
(2008)
J. Artificial Intelligence Research
, vol.33
, pp. 33-77
-
-
Lubin, B.1
Juda, A.2
Cavallo, R.3
Lahaie, S.4
Shneidman, J.5
Parkes, D.C.6
-
20
-
-
68649129121
-
OpenFlow: Enabling innovation in campus networks
-
N. McKeown, T. Anderson, H. Balakrishnan, G. Parulkar, L. Peterson, J. Rexford, S. Shenker, and J. Turner. OpenFlow: Enabling Innovation in Campus Networks. SIGCOMM CCR, 38(2):69-74, 2008.
-
(2008)
SIGCOMM CCR
, vol.38
, Issue.2
, pp. 69-74
-
-
McKeown, N.1
Anderson, T.2
Balakrishnan, H.3
Parulkar, G.4
Peterson, L.5
Rexford, J.6
Shenker, S.7
Turner, J.8
-
21
-
-
84920442609
-
-
Mininet
-
Mininet. http://www.mininet.org/
-
-
-
-
22
-
-
85018244172
-
Toward modular composition of SDN control programs
-
Corybantic
-
J. C. Mogul, A. AuYoung, S. Banerjee, J. Lee, J. Mudigonda, L. Popa, P. Sharma, and Y. Turner. Corybantic: Toward Modular Composition of SDN Control Programs. In HotNets-XII, 2013.
-
(2013)
Hotnets-xii
-
-
Mogul, J.C.1
AuYoung, A.2
Banerjee, S.3
Lee, J.4
Mudigonda, J.5
Popa, L.6
Sharma, P.7
Turner, Y.8
-
23
-
-
84883720432
-
Composing Software-Defined Networks
-
C. Monsanto, J. Reich, N. Foster, J. Rexford, and D. Walker. Composing Software-Defined Networks. In USENIX NSDI, 2013.
-
(2013)
USENIX NSDI
-
-
Monsanto, C.1
Reich, J.2
Foster, N.3
Rexford, J.4
Walker, D.5
-
25
-
-
84895089865
-
Article: Openstack: Toward an open-source solution for cloud computing
-
October
-
O. Sefraoui, M. Aissaoui, and M. Eleuldj. Article: Openstack: Toward an open-source solution for cloud computing. International Journal of Computer Applications, 55(3):38-42, October 2012.
-
(2012)
International Journal Of Computer Applications
, vol.55
, Issue.3
, pp. 38-42
-
-
Sefraoui, O.1
Aissaoui, M.2
Eleuldj, M.3
-
26
-
-
84893319807
-
Managing the network with merlin
-
R. Soulé, S. Basu, R. Kleinberg, E. G. Sirer, and N. Foster. Managing the network with Merlin. In HotNets, page 24, 2013.
-
(2013)
HotNets
, pp. 24
-
-
Soulé, R.1
Basu, S.2
Kleinberg, R.3
Sirer, E.G.4
Foster, N.5
-
27
-
-
84907368339
-
A network-state management service
-
P. Sun, R. Mahajan, J. Rexford, L. Yuan, M. Zhang, and A. Arefin. A Network-State Management Service. In SIGCOMM, 2014.
-
(2014)
SIGCOMM
-
-
Sun, P.1
Mahajan, R.2
Rexford, J.3
Yuan, L.4
Zhang, M.5
Arefin, A.6
|