Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155216527> ?p ?o ?g. }
- W2155216527 endingPage "114" @default.
- W2155216527 startingPage "101" @default.
- W2155216527 abstract "Software dataplanes are emerging as an alternative to traditional hardware switches and routers, promising programmability and short time to market. These advantages are set against the risk of disrupting the network with bugs, unpredictable performance, or security vulnerabilities. We explore the feasibility of verifying software dataplanes to ensure smooth network operation. For general programs, verifiability and performance are competing goals; we argue that software dataplanes are different--we can write them in a way that enables verification and preserves performance. We present a verification tool that takes as input a software dataplane, written in a way that meets a given set of conditions, and (dis)proves that the dataplane satisfies crash-freedom, bounded-execution, and filtering properties. We evaluate our tool on stateless and simple stateful Click pipelines; we perform complete and sound verification of these pipelines within tens of minutes, whereas a state-of-the-art general-purpose tool fails to complete the same task within several hours." @default.
- W2155216527 created "2016-06-24" @default.
- W2155216527 creator A5011668097 @default.
- W2155216527 creator A5067857662 @default.
- W2155216527 date "2014-04-02" @default.
- W2155216527 modified "2023-10-01" @default.
- W2155216527 title "Software dataplane verification" @default.
- W2155216527 cites W1497028280 @default.
- W2155216527 cites W1515508441 @default.
- W2155216527 cites W1576549127 @default.
- W2155216527 cites W158224344 @default.
- W2155216527 cites W1675033504 @default.
- W2155216527 cites W1697123834 @default.
- W2155216527 cites W1710734607 @default.
- W2155216527 cites W186989516 @default.
- W2155216527 cites W1882012874 @default.
- W2155216527 cites W1979693894 @default.
- W2155216527 cites W2010365467 @default.
- W2155216527 cites W2018041465 @default.
- W2155216527 cites W2042804814 @default.
- W2155216527 cites W2065675749 @default.
- W2155216527 cites W207759855 @default.
- W2155216527 cites W2082000355 @default.
- W2155216527 cites W2096449544 @default.
- W2155216527 cites W2111648865 @default.
- W2155216527 cites W2111734949 @default.
- W2155216527 cites W2115526539 @default.
- W2155216527 cites W2117009500 @default.
- W2155216527 cites W2121021091 @default.
- W2155216527 cites W2124909257 @default.
- W2155216527 cites W2131195907 @default.
- W2155216527 cites W2132897303 @default.
- W2155216527 cites W2133612077 @default.
- W2155216527 cites W2134875273 @default.
- W2155216527 cites W2136310957 @default.
- W2155216527 cites W2140069682 @default.
- W2155216527 cites W2148994573 @default.
- W2155216527 cites W2150990339 @default.
- W2155216527 cites W2151062909 @default.
- W2155216527 cites W2162360270 @default.
- W2155216527 cites W2170736936 @default.
- W2155216527 cites W2171469152 @default.
- W2155216527 cites W2171999426 @default.
- W2155216527 cites W2202294430 @default.
- W2155216527 doi "https://doi.org/10.5555/2616448.2616459" @default.
- W2155216527 hasPublicationYear "2014" @default.
- W2155216527 type Work @default.
- W2155216527 sameAs 2155216527 @default.
- W2155216527 citedByCount "21" @default.
- W2155216527 countsByYear W21552165272014 @default.
- W2155216527 countsByYear W21552165272015 @default.
- W2155216527 countsByYear W21552165272016 @default.
- W2155216527 countsByYear W21552165272017 @default.
- W2155216527 countsByYear W21552165272019 @default.
- W2155216527 countsByYear W21552165272020 @default.
- W2155216527 crossrefType "proceedings-article" @default.
- W2155216527 hasAuthorship W2155216527A5011668097 @default.
- W2155216527 hasAuthorship W2155216527A5067857662 @default.
- W2155216527 hasConcept C103613024 @default.
- W2155216527 hasConcept C110251889 @default.
- W2155216527 hasConcept C111065885 @default.
- W2155216527 hasConcept C127413603 @default.
- W2155216527 hasConcept C149635348 @default.
- W2155216527 hasConcept C16160715 @default.
- W2155216527 hasConcept C162324750 @default.
- W2155216527 hasConcept C175309249 @default.
- W2155216527 hasConcept C177264268 @default.
- W2155216527 hasConcept C186846655 @default.
- W2155216527 hasConcept C187736073 @default.
- W2155216527 hasConcept C199360897 @default.
- W2155216527 hasConcept C22927095 @default.
- W2155216527 hasConcept C2777904410 @default.
- W2155216527 hasConcept C2780451532 @default.
- W2155216527 hasConcept C31258907 @default.
- W2155216527 hasConcept C33054407 @default.
- W2155216527 hasConcept C41008148 @default.
- W2155216527 hasConcept C43521106 @default.
- W2155216527 hasConcept C48103436 @default.
- W2155216527 hasConcept C529173508 @default.
- W2155216527 hasConcept C87717796 @default.
- W2155216527 hasConceptScore W2155216527C103613024 @default.
- W2155216527 hasConceptScore W2155216527C110251889 @default.
- W2155216527 hasConceptScore W2155216527C111065885 @default.
- W2155216527 hasConceptScore W2155216527C127413603 @default.
- W2155216527 hasConceptScore W2155216527C149635348 @default.
- W2155216527 hasConceptScore W2155216527C16160715 @default.
- W2155216527 hasConceptScore W2155216527C162324750 @default.
- W2155216527 hasConceptScore W2155216527C175309249 @default.
- W2155216527 hasConceptScore W2155216527C177264268 @default.
- W2155216527 hasConceptScore W2155216527C186846655 @default.
- W2155216527 hasConceptScore W2155216527C187736073 @default.
- W2155216527 hasConceptScore W2155216527C199360897 @default.
- W2155216527 hasConceptScore W2155216527C22927095 @default.
- W2155216527 hasConceptScore W2155216527C2777904410 @default.
- W2155216527 hasConceptScore W2155216527C2780451532 @default.
- W2155216527 hasConceptScore W2155216527C31258907 @default.
- W2155216527 hasConceptScore W2155216527C33054407 @default.
- W2155216527 hasConceptScore W2155216527C41008148 @default.