{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T16:54:06Z","timestamp":1760028846846},"reference-count":43,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,5,20]],"date-time":"2024-05-20T00:00:00Z","timestamp":1716163200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,20]],"date-time":"2024-05-20T00:00:00Z","timestamp":1716163200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,5,20]]},"DOI":"10.1109\/infocom52122.2024.10621366","type":"proceedings-article","created":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T17:25:41Z","timestamp":1723483541000},"page":"2129-2138","source":"Crossref","is-referenced-by-count":1,"title":["P4Inv: Inferring Packet Invariants for Verification of Stateful P4 Programs"],"prefix":"10.1109","author":[{"given":"Delong","family":"Zhang","sequence":"first","affiliation":[{"name":"Tsinghua University,School of Software, BNRist,Beijing,China,100084"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chong","family":"Ye","sequence":"additional","affiliation":[{"name":"Tsinghua University,School of Software, BNRist,Beijing,China,100084"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fei","family":"He","sequence":"additional","affiliation":[{"name":"Tsinghua University,School of Software, BNRist,Beijing,China,100084"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2371999"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/pccc.2015.7410275"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICTON.2013.6602678"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/WAINA.2015.110"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CNSM.2016.7818437"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3185467.3185499"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405888"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472937"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230582"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230548"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOMWKSHPS50562.2020.9162975"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2020.2992106"},{"key":"ref14","first-page":"161","article-title":"Blink: Fast connectivity recovery entirely in the data plane","volume-title":"NSDI","author":"Holterbach"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3229574.3229580"},{"key":"ref16","first-page":"791","article-title":"P4 in-network source protection for sensor failover","volume-title":"Networking.","author":"Lindner","year":"2020"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934876"},{"key":"ref18","first-page":"469","article-title":"A general approach to network configuration analysis","volume-title":"NSDI","author":"Fogel"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132759"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018470"},{"key":"ref22","first-page":"113","article-title":"Header space analysis: Static checking for networks","volume-title":"NSDI","author":"Kazemian"},{"key":"ref23","first-page":"15","article-title":"Veriflow: Verifying network-wide invariants in real time","volume-title":"NSDI","author":"Khurshid"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934881"},{"key":"ref25","article-title":"Automatically verifying reachability and well-formedness in p4 networks","author":"Lopes","year":"2016","journal-title":"Technical Report, Tech. Rep"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"ref27","first-page":"499","article-title":"Checking beliefs in dynamic networks","volume-title":"NSDI","author":"Lopes"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446764"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567778"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_25"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45251-6_29"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3276501"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32304-2_16"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-020-09571-y"},{"key":"ref37","first-page":"7762","article-title":"Learning loop invariants for program verification","volume-title":"NeurIPS","author":"Si"},{"key":"ref38","first-page":"782","article-title":"Automatic loop-invariant generation and refinement through selective sampling","volume-title":"ASE","author":"Li"},{"journal-title":"P416 language specifcation","year":"2022","author":"Consortium","key":"ref39"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/11804192_17"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"volume-title":"Compilers: Principles, Techniques, and Tools","year":"1986","author":"Aho","key":"ref43"}],"event":{"name":"IEEE INFOCOM 2024 - IEEE Conference on Computer Communications","start":{"date-parts":[[2024,5,20]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2024,5,23]]}},"container-title":["IEEE INFOCOM 2024 - IEEE Conference on Computer Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10621050\/10621073\/10621366.pdf?arnumber=10621366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,13]],"date-time":"2024-08-13T05:27:59Z","timestamp":1723526879000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10621366\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,20]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/infocom52122.2024.10621366","relation":{},"subject":[],"published":{"date-parts":[[2024,5,20]]}}}