Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing
Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing
About this item
Full title
Author / Creator
Publisher
Ithaca: Cornell University Library, arXiv.org
Journal title
Language
English
Formats
Publication information
Publisher
Ithaca: Cornell University Library, arXiv.org
Subjects
More information
Scope and Contents
Contents
Programmable packet-processing devices such as programmable switches and network interface cards are becoming mainstream. These devices are configured in a domain-specific language such as P4, using a compiler to translate packet-processing programs into instructions for different targets. As networks with programmable devices become widespread, it...
Alternative Titles
Full title
Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_proquest_journals_2408705600
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_proquest_journals_2408705600
Other Identifiers
E-ISSN
2331-8422
