東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

FindBook

Google Book

Amazon

博客來

Practical Network Programming Automation.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Practical Network Programming Automation./
作者:	Shi, Lei.
出版者:	Ann Arbor : ProQuest Dissertations & Theses, : 2022,
面頁冊數:	96 p.
附註:	Source: Dissertations Abstracts International, Volume: 84-01, Section: B.
Contained By:	Dissertations Abstracts International84-01B.
標題:	Computer science. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=29164363
ISBN:	9798834092001

Practical Network Programming Automation.
Shi, Lei.

Practical Network Programming Automation. - Ann Arbor : ProQuest Dissertations & Theses, 2022 - 96 p.

Source: Dissertations Abstracts International, Volume: 84-01, Section: B.

Thesis (Ph.D.)--University of Pennsylvania, 2022.

This item must not be sold to any third party vendors.

Network configurations are notoriously hard to write and maintain correctly. It requires expertise about the domain to write, frequent and laborious updates, and sometimes formal proof to ensure the absence of certain mistakes. The problem becomes more challenging with the popularity of software-defined network(SDN) in recent years, which aims to give users more flexible control over the network's dynamic behaviors.There has been research on automating the process of configuring the network. However, much of it requires users to learn a specific programming abstraction or interface. Since network operators are a group generally unfamiliar with programming, using these systems may go beyond their abilities.It is also hard to ensure these systems are scalable and accurate enough for real-world usecases. They mostly lack both design considerations to address scalability and accuracy, and also a systematic evaluation of the two metrics in practical scenarios.In this work, we propose a series of approaches to automate network programming. They are based on specifications that are easy and natural to obtain by network operators. We also apply novel program analysis techniques to speed up the process of finding a program that can accurately capture the intention of the specification.We have evaluated our systems on a broad range of benchmarks obtained from real-world data. They have shown ability to finish complex programming tasks within minutes and achieved very high accuracy.

ISBN: 9798834092001Subjects--Topical Terms:

523869
Computer science.
Subjects--Index Terms:

Network

Practical Network Programming Automation.
LDR:02523nmm a2200325 4500 001 2352086
005 20221111121014.5
008 241004s2022 ||||||||||||||||| ||eng d
020 $a 9798834092001
035 $a (MiAaPQ)AAI29164363
035 $a AAI29164363
040 $a MiAaPQ $c MiAaPQ
100 1 $a Shi, Lei. $3 1286978
245 1 0 $a Practical Network Programming Automation.
260 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2022
300 $a 96 p.
500 $a Source: Dissertations Abstracts International, Volume: 84-01, Section: B.
500 $a Advisor: Alur, Rajeev;Loo, Boon Thau.
502 $a Thesis (Ph.D.)--University of Pennsylvania, 2022.
506 $a This item must not be sold to any third party vendors.
520 $a Network configurations are notoriously hard to write and maintain correctly. It requires expertise about the domain to write, frequent and laborious updates, and sometimes formal proof to ensure the absence of certain mistakes. The problem becomes more challenging with the popularity of software-defined network(SDN) in recent years, which aims to give users more flexible control over the network's dynamic behaviors.There has been research on automating the process of configuring the network. However, much of it requires users to learn a specific programming abstraction or interface. Since network operators are a group generally unfamiliar with programming, using these systems may go beyond their abilities.It is also hard to ensure these systems are scalable and accurate enough for real-world usecases. They mostly lack both design considerations to address scalability and accuracy, and also a systematic evaluation of the two metrics in practical scenarios.In this work, we propose a series of approaches to automate network programming. They are based on specifications that are easy and natural to obtain by network operators. We also apply novel program analysis techniques to speed up the process of finding a program that can accurately capture the intention of the specification.We have evaluated our systems on a broad range of benchmarks obtained from real-world data. They have shown ability to finish complex programming tasks within minutes and achieved very high accuracy.
590 $a School code: 0175.
650 4 $a Computer science. $3 523869
653 $a Network
653 $a Program analysis
653 $a Program synthesis
690 $a 0984
710 2 $a University of Pennsylvania. $b Computer and Information Science. $3 2092564
773 0 $t Dissertations Abstracts International $g 84-01B.
790 $a 0175
791 $a Ph.D.
792 $a 2022
793 $a English
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=29164363