{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T07:18:01Z","timestamp":1776755881290,"version":"3.51.2"},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"National Key R&D Program of China","award":["2017YFB0801701"],"award-info":[{"award-number":["2017YFB0801701"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61872426"],"award-info":[{"award-number":["61872426"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE\/ACM Trans. Networking"],"published-print":{"date-parts":[[2019,8]]},"DOI":"10.1109\/tnet.2019.2927110","type":"journal-article","created":{"date-parts":[[2019,7,24]],"date-time":"2019-07-24T19:51:18Z","timestamp":1563997878000},"page":"1714-1727","source":"Crossref","is-referenced-by-count":7,"title":["P4DB: On-the-Fly Debugging for Programmable Data Planes"],"prefix":"10.1109","volume":"27","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3469-0906","authenticated-orcid":false,"given":"Yu","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8695-1047","authenticated-orcid":false,"given":"Jun","family":"Bi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cheng","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4572-4956","authenticated-orcid":false,"given":"Bingyang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhaogeng","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2713-0748","authenticated-orcid":false,"given":"Yangyang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6034-904X","authenticated-orcid":false,"given":"Mingli","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","year":"2018","journal-title":"Agilio cx 2x10gbe"},{"key":"ref38","first-page":"103","article-title":"Compiling packet programs to reconfigurable switches","author":"jose","year":"2015","journal-title":"Proc USENIX NSDI"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098823"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486011"},{"key":"ref31","year":"2018","journal-title":"GDB The GNU Project Debugger"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCN.2017.8038396"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3050220.3060600"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2999572.2999607"},{"key":"ref34","year":"2018","journal-title":"Barefoot tofino switch"},{"key":"ref10","year":"2018","journal-title":"P4runtime A control plane framework and tools for the p4 programming language"},{"key":"ref40","year":"2018","journal-title":"Over-Sized Ternary Match Cause Black Holes in Smartnic"},{"key":"ref11","year":"2018","journal-title":"P4 Support via BMv2 and P4runtime"},{"key":"ref12","year":"2018","journal-title":"Consolidated switch repo (api sai and nettlink)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342453"},{"key":"ref14","first-page":"71","article-title":"I know what your packet did last hop: Using packet histories to troubleshoot networks","author":"handigol","year":"2014","journal-title":"Proc USENIX NSDI"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2829988.2787483"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2674005.2674993"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2999572.2999605"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2016.7524562"},{"key":"ref19","first-page":"29","article-title":"OFRewind: Enabling record and replay troubleshooting for networks","author":"wundsam","year":"2011","journal-title":"Proc USENIX ATC"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230582"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098824"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3185467.3185499"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491190"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132764"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230548"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3050220.3050228"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2774993.2774999"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2890955.2890968"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"ref9","first-page":"35","article-title":"NetChain: Scale-free sub-RTT coordination","author":"jin","year":"2018","journal-title":"Proc NSDI"},{"key":"ref1","first-page":"1","article-title":"P4DB: On-the-fly debugging of the programmable data plane","author":"zhang","year":"2017","journal-title":"Proc ICNP"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2013.2253121"},{"key":"ref22","first-page":"113","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"Proc USENIX NSDI"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018470"},{"key":"ref42","author":"zeng","year":"2018","journal-title":"A survey on network troubleshooting"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2716281.2836117"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2815675.2815692"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2016.7524333"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3185467.3185497"},{"key":"ref25","article-title":"Automatically verifying reachability and well-formedness in P4 networks","author":"mckeown","year":"2016"}],"container-title":["IEEE\/ACM Transactions on Networking"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/90\/8804282\/08771219.pdf?arnumber=8771219","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T21:14:52Z","timestamp":1657746892000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8771219\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8]]},"references-count":42,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tnet.2019.2927110","relation":{},"ISSN":["1063-6692","1558-2566"],"issn-type":[{"value":"1063-6692","type":"print"},{"value":"1558-2566","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,8]]}}}