Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384157932> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W4384157932 abstract "Data plane programming gained much attention in the past years, having a fast-growing community both in academia and industry. Many tools have emerged to simplify and/or help the development of reliable data plane programs, including fuzzing, formal verification, and different code generators. However, even the tools themselves must be verified to meet the most stringent dependability requirements. In this paper, we investigate various tools and methods to verify code generators leveraging P4 through the example of P4RROT (an open source code generator focusing on the application layer). We show that our approach is efficient and can indeed successfully find bugs. We identify two bugs and propose reusable ideas, such as the use of ghost code." @default.
- W4384157932 created "2023-07-14" @default.
- W4384157932 creator A5060308984 @default.
- W4384157932 creator A5066080641 @default.
- W4384157932 creator A5081807660 @default.
- W4384157932 date "2023-06-19" @default.
- W4384157932 modified "2023-10-16" @default.
- W4384157932 title "Toward Highly Reliable Programmable Data Planes: Verification of P4 Code Generation" @default.
- W4384157932 cites W2735845449 @default.
- W4384157932 cites W2748963574 @default.
- W4384157932 cites W2816958343 @default.
- W4384157932 cites W2832131618 @default.
- W4384157932 cites W2878215196 @default.
- W4384157932 cites W2888607549 @default.
- W4384157932 cites W2952638909 @default.
- W4384157932 cites W2988855763 @default.
- W4384157932 cites W2991458367 @default.
- W4384157932 cites W3108535652 @default.
- W4384157932 cites W3113662992 @default.
- W4384157932 cites W3152942743 @default.
- W4384157932 cites W3182297897 @default.
- W4384157932 cites W4293182269 @default.
- W4384157932 cites W4366493279 @default.
- W4384157932 doi "https://doi.org/10.1109/netsoft57336.2023.10175397" @default.
- W4384157932 hasPublicationYear "2023" @default.
- W4384157932 type Work @default.
- W4384157932 citedByCount "0" @default.
- W4384157932 crossrefType "proceedings-article" @default.
- W4384157932 hasAuthorship W4384157932A5060308984 @default.
- W4384157932 hasAuthorship W4384157932A5066080641 @default.
- W4384157932 hasAuthorship W4384157932A5081807660 @default.
- W4384157932 hasConcept C1009929 @default.
- W4384157932 hasConcept C111065885 @default.
- W4384157932 hasConcept C111498074 @default.
- W4384157932 hasConcept C111919701 @default.
- W4384157932 hasConcept C115903868 @default.
- W4384157932 hasConcept C121332964 @default.
- W4384157932 hasConcept C133162039 @default.
- W4384157932 hasConcept C149635348 @default.
- W4384157932 hasConcept C163258240 @default.
- W4384157932 hasConcept C177264268 @default.
- W4384157932 hasConcept C199360897 @default.
- W4384157932 hasConcept C26517878 @default.
- W4384157932 hasConcept C2776760102 @default.
- W4384157932 hasConcept C2777904410 @default.
- W4384157932 hasConcept C2780992000 @default.
- W4384157932 hasConcept C41008148 @default.
- W4384157932 hasConcept C43126263 @default.
- W4384157932 hasConcept C53942775 @default.
- W4384157932 hasConcept C62520636 @default.
- W4384157932 hasConcept C77019957 @default.
- W4384157932 hasConceptScore W4384157932C1009929 @default.
- W4384157932 hasConceptScore W4384157932C111065885 @default.
- W4384157932 hasConceptScore W4384157932C111498074 @default.
- W4384157932 hasConceptScore W4384157932C111919701 @default.
- W4384157932 hasConceptScore W4384157932C115903868 @default.
- W4384157932 hasConceptScore W4384157932C121332964 @default.
- W4384157932 hasConceptScore W4384157932C133162039 @default.
- W4384157932 hasConceptScore W4384157932C149635348 @default.
- W4384157932 hasConceptScore W4384157932C163258240 @default.
- W4384157932 hasConceptScore W4384157932C177264268 @default.
- W4384157932 hasConceptScore W4384157932C199360897 @default.
- W4384157932 hasConceptScore W4384157932C26517878 @default.
- W4384157932 hasConceptScore W4384157932C2776760102 @default.
- W4384157932 hasConceptScore W4384157932C2777904410 @default.
- W4384157932 hasConceptScore W4384157932C2780992000 @default.
- W4384157932 hasConceptScore W4384157932C41008148 @default.
- W4384157932 hasConceptScore W4384157932C43126263 @default.
- W4384157932 hasConceptScore W4384157932C53942775 @default.
- W4384157932 hasConceptScore W4384157932C62520636 @default.
- W4384157932 hasConceptScore W4384157932C77019957 @default.
- W4384157932 hasFunder F4320321003 @default.
- W4384157932 hasFunder F4320321181 @default.
- W4384157932 hasLocation W43841579321 @default.
- W4384157932 hasOpenAccess W4384157932 @default.
- W4384157932 hasPrimaryLocation W43841579321 @default.
- W4384157932 hasRelatedWork W1507167368 @default.
- W4384157932 hasRelatedWork W1556087793 @default.
- W4384157932 hasRelatedWork W157156687 @default.
- W4384157932 hasRelatedWork W1616316822 @default.
- W4384157932 hasRelatedWork W1981665907 @default.
- W4384157932 hasRelatedWork W2384847609 @default.
- W4384157932 hasRelatedWork W2387645942 @default.
- W4384157932 hasRelatedWork W270927586 @default.
- W4384157932 hasRelatedWork W283806354 @default.
- W4384157932 hasRelatedWork W4360585589 @default.
- W4384157932 isParatext "false" @default.
- W4384157932 isRetracted "false" @default.
- W4384157932 workType "article" @default.