Programming Language Foundations for Packet Processing
dc.contributor.author | Doenges, Ryan | |
dc.contributor.chair | Foster, John | en_US |
dc.contributor.committeeMember | Van Renesse, Robbert | en_US |
dc.contributor.committeeMember | Peraino, Judith | en_US |
dc.contributor.committeeMember | Morrisett, John | en_US |
dc.date.accessioned | 2024-04-05T18:46:28Z | |
dc.date.available | 2024-04-05T18:46:28Z | |
dc.date.issued | 2023-08 | |
dc.description | 164 pages | en_US |
dc.description.abstract | This dissertation gives semantics to P4, a domain-specific language for describing packet processing in packet-switched computer networks. Additionally it describes verification tools for checking the equivalence of P4 programs. These verifiers can be used to check that a P4 compiler has not introduced bugs into programs while optimizing them. The verification methodology combines manual proof in an LCF-style proof assistant with automatic decision procedures that rely on SAT/SMT solvers for a compact trusted computing base. | en_US |
dc.identifier.doi | https://doi.org/10.7298/a0dy-4f33 | |
dc.identifier.other | Doenges_cornellgrad_0058F_13892 | |
dc.identifier.other | http://dissertations.umi.com/cornellgrad:13892 | |
dc.identifier.uri | https://hdl.handle.net/1813/114614 | |
dc.language.iso | en | |
dc.title | Programming Language Foundations for Packet Processing | en_US |
dc.type | dissertation or thesis | en_US |
dcterms.license | https://hdl.handle.net/1813/59810.2 | |
thesis.degree.discipline | Computer Science | |
thesis.degree.grantor | Cornell University | |
thesis.degree.level | Doctor of Philosophy | |
thesis.degree.name | Ph. D., Computer Science |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Doenges_cornellgrad_0058F_13892.pdf
- Size:
- 1.87 MB
- Format:
- Adobe Portable Document Format