{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:45:20Z","timestamp":1757544320842,"version":"3.37.3"},"reference-count":53,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,5,10]],"date-time":"2021-05-10T00:00:00Z","timestamp":1620604800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,5,10]],"date-time":"2021-05-10T00:00:00Z","timestamp":1620604800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,5,10]],"date-time":"2021-05-10T00:00:00Z","timestamp":1620604800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100002347","name":"Bundesministerium f\u00fcr Bildung und Forschung","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001821","name":"Vienna Science and Technology Fund","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001821","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,5,10]]},"DOI":"10.1109\/infocom42981.2021.9488772","type":"proceedings-article","created":{"date-parts":[[2021,7,27]],"date-time":"2021-07-27T00:07:32Z","timestamp":1627344452000},"page":"1-10","source":"Crossref","is-referenced-by-count":9,"title":["Fix with P6: Verifying Programmable Switches at Runtime"],"prefix":"10.1109","author":[{"given":"Apoorv","family":"Shukla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Hudemann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zsolt","family":"Vagi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lily","family":"Hugerich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgios","family":"Smaragdakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Artur","family":"Hecker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Schmid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anja","family":"Feldmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"ref39","article-title":"P416 Portable Switch Architecture (PSA)- Version 1.1: Ingress Deparser and Egress parser"},{"journal-title":"The P4 Language Specification Version 1 0 3","year":"0","key":"ref38"},{"journal-title":"Behavioral model repository","year":"2015","key":"ref33"},{"year":"0","key":"ref32"},{"year":"0","key":"ref31"},{"journal-title":"P4 switch","year":"0","key":"ref30"},{"year":"0","key":"ref37","article-title":"P416 Portable Switch Architecture (PSA)- Version 1.1: Programmable Blocks"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486011"},{"journal-title":"P6 Software","year":"2020","author":"shukla","key":"ref35"},{"year":"0","key":"ref34"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/581396.581397"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3318162"},{"year":"2018","key":"ref2","article-title":"P416 language specs, version 1.1.0"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00056"},{"key":"ref22","article-title":"Towards Consistent SDNs: A Case for Network State Fuzzing","author":"shukla","year":"2019","journal-title":"IEEE Transactions on Network and Service Management"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23368"},{"journal-title":"Reinforcement Learning An Introduction","year":"2018","author":"sutton","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3341216.3342206"},{"key":"ref26","article-title":"Visualization for Fault Localization","author":"jones","year":"2001","journal-title":"ACM\/IEEE ICSE Workshops"},{"journal-title":"Artificial Intelligence A Modern Approach","year":"2009","author":"russell","key":"ref25"},{"journal-title":"Virtualbox","year":"0","key":"ref50"},{"key":"ref51","article-title":"Correct by construction networks using stepwise refinement","author":"ryzhyk","year":"2017","journal-title":"NSDI"},{"article-title":"Why (and how) networks should run themselves","year":"2017","author":"feamster","key":"ref53"},{"key":"ref52","article-title":"Automatically verifying reachability and well-formedness in P4 Networks","author":"lopes","year":"2016","journal-title":"Technical Report Technical Report Microsoft Research"},{"key":"ref10","article-title":"Towards runtime verification of programmable networks","author":"shukla","year":"2020","journal-title":"Doctoral thesis"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3373360.3380843"},{"journal-title":"p4c","year":"2019","key":"ref40"},{"year":"2019","key":"ref12","article-title":"daPIPE: DAta Plane Incremental Programming Environment"},{"article-title":"American Fuzzy Lop: A Security-oriented Fuzzer","year":"2010","author":"zalewski","key":"ref13"},{"year":"0","key":"ref14","article-title":"Llvm Compiler Infrastructure: libfuzzer: a library for coverage-guided fuzz testing"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2093548.2093564"},{"year":"0","author":"fuzzer","key":"ref16"},{"year":"0","key":"ref17","article-title":"OpenRCE: sulley"},{"year":"0","key":"ref18","article-title":"Radamsa"},{"year":"0","key":"ref19","article-title":"ZZUF - MULTI-PURPOSE FUZZER"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230548"},{"article-title":"Network path not found?","year":"2017","author":"kazemian","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3281411.3281421"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230582"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3185467.3185497"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3185467.3185499"},{"journal-title":"Vagrant","year":"0","key":"ref49"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2020.2999653"},{"journal-title":"Keras The Python deep learning library","year":"0","key":"ref46"},{"article-title":"Parallel Distributed Processing: Explorations in the Microstructure of Cognition, Vol. 1. chapter Learning Internal Representations by Error Propagation","year":"1986","author":"rumelhart","key":"ref45"},{"journal-title":"Scapy","year":"0","key":"ref48"},{"journal-title":"TensorFlow™","year":"0","key":"ref47"},{"key":"ref42","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v30i1.10295","article-title":"Deep Reinforcement Learning with Double Q-Learning","author":"van hasselt","year":"2016","journal-title":"AAAI"},{"key":"ref41","article-title":"Alembic: automated model inference for stateful network functions","author":"moon","year":"2019","journal-title":"NSDI"},{"article-title":"Prioritized experience replay","year":"2015","author":"schaul","key":"ref44"},{"article-title":"Playing atari with deep reinforcement learning","year":"2013","author":"mnih","key":"ref43"}],"event":{"name":"IEEE INFOCOM 2021 - IEEE Conference on Computer Communications","start":{"date-parts":[[2021,5,10]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2021,5,13]]}},"container-title":["IEEE INFOCOM 2021 - IEEE Conference on Computer Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9488422\/9488423\/09488772.pdf?arnumber=9488772","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T15:20:37Z","timestamp":1672932037000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9488772\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,10]]},"references-count":53,"URL":"https:\/\/doi.org\/10.1109\/infocom42981.2021.9488772","relation":{},"subject":[],"published":{"date-parts":[[2021,5,10]]}}}