1 option
Practical Network Programming Automation / Lei Shi.
- Format:
- Book
- Thesis/Dissertation
- Author/Creator:
- Shi, Lei, author.
- Language:
- English
- Subjects (All):
- Computer science.
- Computer and Information Science--Penn dissertations.
- Penn dissertations--Computer and Information Science.
- Local Subjects:
- Computer science.
- Computer and Information Science--Penn dissertations.
- Penn dissertations--Computer and Information Science.
- Physical Description:
- 1 online resource (96 pages)
- Distribution:
- Ann Arbor : ProQuest Dissertations & Theses, 2022
- Contained In:
- Dissertations Abstracts International 84-01B.
- Place of Publication:
- [Philadelphia, Pennsylvania] : University of Pennsylvania, 2022.
- Language Note:
- English
- Summary:
- 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.
- Notes:
- Source: Dissertations Abstracts International, Volume: 84-01, Section: B.
- Advisors: Alur, Rajeev; Loo, Boon Thau; Committee members: Zdancewic, Steve; Naik, Mayur; Liu, Vincent; Beckett, Ryan.
- Department: Computer and Information Science.
- Ph.D. University of Pennsylvania 2022.
- Local Notes:
- School code: 0175
- ISBN:
- 9798834092001
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.