摘要
泛光灯sdn控制器。 http://www.projectfloodlight。 org/泛光灯/。 谷歌学者 
意图：不要告诉我该怎么做！ （告诉我你想要什么）。 https://www.sdxcentral.com/articles/contributed/network-intent-summit-perspective-david-lenrow/2015/02/。 谷歌学者 Python lex yacc。 http://www.dabeaz.com/ply/。 谷歌学者 M.Al-Fares、A.Loukissas和A.Vahdat。 可扩展的商品数据中心网络架构。 《ACM SIGCOMM 2008年数据通信会议记录》，SIGCOMM'08，第63-74页，美国纽约州纽约市，2008年。 ACM。 国际标准图书编号978-1-60558-175-0。 谷歌学者 数字图书馆 
C.J.Anderson、N.Foster、A.Guha、J.-B.Jeannin、D.Kozen、C.Schlesinger和D.Walker。 Netkat：网络的语义基础。 第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL’14，第113-126页，美国纽约州纽约市，2014年。 ACM。 国际标准图书编号978-1-4503-2544-8。 谷歌学者 数字图书馆 T.Benson、A.Akella和D.Maltz。 解开网络管理的复杂性。 第六届USENIX网络系统设计与实现研讨会论文集，NSDI’09，第335-348页，美国加利福尼亚州伯克利，2009年。 USENIX协会。 谷歌学者 数字图书馆 N.Bjorner和A.-D.Phan。 νz-对z3的最大满意度。 在T.Kutsia和A.Voronkov，编辑，SCSS 2014。 第六届软件科学符号计算国际研讨会，计算机科学EPiC系列第30卷，第1-9页。 EasyChair，2014年。 谷歌学者 M.Chiesa、A.Gurtov、A.Madry、S.Mitrovic、I.Nikolaevskiy、M.Shapira和S.Shenker。 随机路由对多边缘故障的恢复能力。 在第43届自动机、语言和程序设计国际学术讨论会（ICALP 2016）上，《莱布尼茨国际信息学论文集》第55卷，第134:1-134:15页，德国达格斯图尔，2016年。 达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨-泽特鲁姆富尔信息馆（Leibniz-Zentrum fuer Informatik）。 国际标准图书编号978-3-95977-013-2。 谷歌学者 A.Cimatti、A.Griggio和R.Sebastiani。 在可满足模理论中计算小的不可满足核。 J.阿蒂夫。 国际研究，40（1）：701-7282011年1月。 ISSN 1076-9757。 谷歌学者 数字图书馆 M.R.Clarkson和F.B.Schneider。 超属性。 《计算机安全杂志》，18（6）：1157–12102010。 谷歌学者 数字图书馆 L.De Moura和N.Björner。 Z3：一个高效的smt解算器。 《软件理论与实践学报》，第14届系统构建与分析工具与算法国际会议，TACAS'08/ETAPS'08，第337-340页，柏林，海德堡，2008年。 斯普林格·弗拉格。 国际标准图书编号（ISBN）3-540-78799-2、978-3-440-78799-0。 谷歌学者 数字图书馆 1792766 谷歌学者 V.Diekert和P.Gastin。 一阶可定义语言。 《逻辑与自动机：历史与观点》，《逻辑与游戏中的文本》，第261-306页。 阿姆斯特丹大学出版社，2008年。 谷歌学者 N.Foster、R.Harrison、M.J.Freedman、C.Monsanto、J.Rexford、A.Story和D.Walker。 Frenetic：一种网络编程语言。 《第16届ACM SIGPLAN功能编程国际会议论文集》，ICFP’11，第279-291页，美国纽约州纽约市，2011年。 ACM。 国际标准图书编号978-1-4503-0865-6。 谷歌学者 数字图书馆 2034812 谷歌学者 2034812 谷歌学者 A.Gember-Jacobson、W.Wu、X.Li、A.Akella和R.Mahajan。 管理平面分析。 《2015年ACM互联网测量会议论文集》，IMC’15，第395-408页，美国纽约州纽约市，2015年。 ACM。 国际标准图书编号978-1-4503-3848-6。 谷歌学者 数字图书馆 P.Gill、N.Jain和N.Nagappan。 了解数据中心中的网络故障：测量、分析和影响。 2011年ACM SIGCOMM会议记录，SIGCOMM'11，第350–361页，美国纽约州纽约市，2011年。 ACM。 是978-1-4503-0797-0。 谷歌学者 数字图书馆 A.Greenberg、J.R.Hamilton、N.Jain、S.Kandula、C.Kim、P.Lahiri、D.A.Maltz、P.Patel和S.Sengupta。 Vl2：可扩展且灵活的数据中心网络。《ACM SIGCOMM 2009年数据通信会议论文集》，SIGCOMM'09，第51–62页，美国纽约州纽约市，2009年。 ACM。 国际标准图书编号978-1-60558-594-9。 谷歌学者 数字图书馆 K.He、J.Khalid、A.Gember Jacobson、S.Das、C.Prakash、A.Akella、L.E.Li和M.Thottan。 测量启用交换机中的控制平面延迟。 《软件定义网络研究第一届ACM SIGCOMM研讨会论文集》，SOSR’15，第25:1–25:6页，美国纽约州纽约市，2015年。 ACM。 国际标准图书编号978-1-4503-3451-8。 谷歌学者 数字图书馆 V.Heorhiadi、M.K.Reiter和V.Sekar。 使用sol简化软件定义的网络优化。 2016年第13届USENIX网络系统设计与实现研讨会（NSDI 16），第223-237页。 谷歌学者 数字图书馆 X.Jin、H.H.Liu、R.Gandhi、S.Kandula、R.Mahajan、M.Zhang、J.Rexford和R.Wattenhofer。 网络更新的动态调度。 《2014年ACM SIGCOMM会议记录》，SIGCOMM'14，第539-550页，美国纽约州纽约市，2014年。 ACM。 国际标准图书编号978-1-4503-2836-4。 谷歌学者 数字图书馆 N.Kang、Z.Liu、J.Rexford和D.Walker。 优化软件定义网络中的“一个大交换机”抽象。 《第九届ACM新兴网络实验和技术会议论文集》，CoNEXT’13，第13-24页，美国纽约州纽约市，2013年。 谷歌学者 数字图书馆 ACM。 国际标准图书编号978-1-4503-2101-3。 谷歌学者 G.Karypis和V.Kumar。 一种用于划分不规则图的快速高质量多级方案。 SIAM科学杂志。 计算。， 20（1）：359–3921998年12月。 ISSN 1064-8275。 谷歌学者 数字图书馆 J.McClurg、H.Hojjat、P.’Cern和N.Foster。 网络更新的高效合成。 《第36届ACM SIGPLAN编程语言设计与实现会议论文集》，PLDI 2015，第196-207页，美国纽约州纽约市，2015年。 ACM。 国际标准图书编号978-1-4503-3468-6。 谷歌学者 数字图书馆 C.孟山都、J.赖克、N.福斯特、J.雷克斯福德和D.沃克。 组成软件定义的网络。 《第十届USENIX网络系统设计与实现会议记录》，nsdi’13，第1-14页，美国加利福尼亚州伯克利，2013年。 USENIX协会。 谷歌学者 数字图书馆 O.Padon、N.Immerman、A.Karbyshev、O.Lahav、M.Sagiv和S.Shoham。 分散sdn政策。 第42届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’15，第663-676页，美国纽约州纽约市，2015年。 ACM。 国际标准图书编号978-1-4503-3300-9。 谷歌学者 数字图书馆 2676990 谷歌学者 2676990 谷歌学者 G.D.Plotkin、N.Björner、N.P.Lopes、A.Rybalchenko和G.Varghese。 使用对称性和外科手术进行缩放网络验证。 第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL 2016，第69-83页，美国纽约州纽约市，2016年。 ACM。 是978-1-4503-3549-2。 谷歌学者 数字图书馆 C.Prakash、J.Lee、Y.Turner、J.-M.Kang、A.Akella、S.Banerjee、C.Clark、Y.Ma、P.Sharma和Y.Zhang。 Pga：使用图形表示并自动协调网络策略。 《2015年ACM数据通信特别利益集团会议记录》，SIGCOMM’15，第29-42页，美国纽约州纽约市，2015年。 ACM。 国际标准图书编号978-1-4503-3542-3。 谷歌学者 数字图书馆 2787506 谷歌学者 2787506 谷歌学者 Z.A.Qazi、C.-C.Tu、L.Chiang、R.Miao、V.Sekar和M.Yu。 使用sdn.简化中间商政策执行。《2013年ACM SIGCOMM SIGCCOMM会议论文集》，SIGCOMM'13，第27-38页，美国纽约州纽约市，2013年。 ACM。 国际标准图书编号978-1-4503-2056-6。 谷歌学者 数字图书馆 M.Reitblatt、M.Canini、A.Guha和N.Foster。 Fattire：软件定义网络的声明性容错。 第二届ACM SIGCOMM软件定义网络热点专题研讨会会议记录，第109-114页。 ACM，2013年。 谷歌学者 数字图书馆 S.Saha、S.Prabhu和P.Madhusudan。 Netgen：为网络策略合成数据平面配置。 《软件定义网络研究第一届ACM SIGCOMM研讨会论文集》，SOSR’15，第17:1–17:6页，美国纽约州纽约市，2015年。 谷歌学者 数字图书馆 ACM。 是978-1-4503-3451-8。 谷歌学者 A.Singh、J.Ong、A.Agarwal、G.Anderson、A.Armistead、R.Bannon、S.Boving、G.Desai、B.Felderman、P.Germano、A.Kanagala、J.Provost、J.Simmons、E.Tanda、J.Wanderer、U.Hölzle、S.Stuart和A.Vahdat。 木星升起：谷歌数据中心网络十年的clos拓扑和集中控制。《2015年ACM数据通信特别兴趣小组会议论文集》，SIGCOMM’15，第183-197页，美国纽约州纽约市，2015年。 谷歌学者 数字图书馆 ACM。 国际标准图书编号978-1-4503-3542-3。 谷歌学者 S.Smolka、S.Eliopoulos、N.Foster和A.Guha。 netkat的快速编译器。 《第20届ACM SIGPLAN功能编程国际会议论文集》，ICFP 2015，第328-341页，美国纽约州纽约市，2015年。 ACM。 国际标准图书编号978-1-4503-3669-7。 谷歌学者 数字图书馆 R.Soulé、S.Basu、P.J.Marandi、F.Pedone、R.Kleinberg、E.G.Sirer和N.Foster。 Merlin：一种用于提供网络资源的语言。 《第十届ACM国际新兴网络实验和技术会议论文集》，CoNEXT’14，第213-226页，美国纽约州纽约市，2014年。 ACM。 国际标准图书编号978-1-4503-3279-8。 谷歌学者 数字图书馆 B.Stephens、A.L.Cox和S.Rixner。 Plinko：构建可证明具有弹性的转发表。 《第十二届ACM网络热点专题研讨会论文集》，HotNets-XII，第26:1–26:7页，美国纽约州纽约市，2013年。 ACM。 国际标准图书编号978-1-4503-2596-7。 谷歌学者 数字图书馆 Y.Yuan、R.Alur和B.T.Loo。 Netegg：通过示例编程网络策略。 《第13届ACM网络热门话题研讨会论文集》，HotNets-XIII，第20:1–20:7页，美国纽约州纽约市，2014年。 ACM。 国际标准图书编号978-1-4503-3256-9。 谷歌学者 数字图书馆 2673879 谷歌学者 2673879 谷歌学者 S.Zhang、F.Ivancic、C.Lumezanu、Y.Yuan、A.Gupta和S.Malik。 适用于软件定义网络的自适应规则放置。 《可靠系统和网络（DSN）》，2014年第44届IEEE/IFIP国际年会，第88–99页，2014年6月。 谷歌学者 数字图书馆 谷歌学者 数字图书馆 W.Zhou、D.Jin、J.Croft、M.Caesar和P.B.Godfrey。 在软件定义的网络中实施可自定义的一致性属性。 《第十二届USENIX网络系统设计与实现会议记录》，NSDI’15，第73-85页，美国加利福尼亚州伯克利，2015年。 USENIX协会。 国际标准图书编号978-1-931971-218。 谷歌学者
索引术语
Genesis：在多租户网络中合成转发表
建议
Genesis：在多租户网络中合成转发表 流行'17 多租户云数据中心中的运营商需要支持各种复杂的端到端策略，例如可达性、中间盒遍历、隔离、流量工程和网络资源管理。 我们介绍Genesis，一个数据中心。。。 PGA：使用图形表示和自动协调网络策略 信号通信'15 软件定义网络（SDN）和云自动化使大量各方（网络运营商、应用程序管理员、租户/最终用户）和控制程序（SDN应用程序、网络服务）能够独立生成网络策略。。。 PGA：使用图形表示和自动协调网络策略 SIGCOMM’15：2015年ACM数据通信特别利益集团会议记录 软件定义网络（SDN）和云自动化使大量各方（网络运营商、应用程序管理员、租户/最终用户）和控制程序（SDN应用程序、网络服务）能够独立生成网络策略。。。
