Date of Last Revision
2023-05-03 05:05:01
Major
Computer Science
Degree Name
Bachelor of Science in Computer Science
Date of Expected Graduation
Fall 2018
Abstract
We present an abstract machine and S-expression-based programming language to describe OpenFlow-style software-defined networking. The implemented Pip virtual machine and language provide facilities for packet decoding, safely writing and setting bitfields within packets, and switching based on packet contents. We have outlined an abstract syntax and structural operational semantics for Pip, thus allowing Pip programs to have predictable and provable properties. Pip allows for easy and safe access and writing to packet fields, as well as a programmable packet pipeline that will rarely stall.
Research Sponsor
Dr. Andrew Sutton
First Reader
Dr. Michael Collard
Second Reader
Willis Crissey
Recommended Citation
Goodrick, Samuel, "Pip: An Abstract Dataplane and Virtual Machine" (2018). Williams Honors College, Honors Research Projects. 664.
https://ideaexchange.uakron.edu/honors_research_projects/664