{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T10:03:23Z","timestamp":1766484203843,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T00:00:00Z","timestamp":1633910400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,10,11]]},"DOI":"10.1145\/3482898.3483352","type":"proceedings-article","created":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T11:07:28Z","timestamp":1636369648000},"page":"122-134","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["DBVal"],"prefix":"10.1145","author":[{"given":"K Shiv","family":"Kumar","sequence":"first","affiliation":[{"name":"IIT Hyderabad, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ranjitha","family":"K","sequence":"additional","affiliation":[{"name":"IIT Hyderabad, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P S","family":"Prashanth","sequence":"additional","affiliation":[{"name":"IIT Hyderabad, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mina Tahmasbi","family":"Arashloo","sequence":"additional","affiliation":[{"name":"Cornell University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Venkanna","family":"U.","sequence":"additional","affiliation":[{"name":"IIIT-NR, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Praveen","family":"Tammana","sequence":"additional","affiliation":[{"name":"IIT Hyderabad, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,11,8]]},"reference":[{"volume-title":"C Minimal Perfect Hashing Library.Retrieved","year":"2021","key":"e_1_3_2_1_1_1","unstructured":"2012. C Minimal Perfect Hashing Library.Retrieved June 2021 from http:\/\/cmph.sourceforge.net\/ 2012. C Minimal Perfect Hashing Library.Retrieved June 2021 from http:\/\/cmph.sourceforge.net\/"},{"volume-title":"BMv2 switch.p4.Retrieved","year":"2021","key":"e_1_3_2_1_2_1","unstructured":"2015. BMv2 switch.p4.Retrieved May 2021 from https:\/\/github.com\/p4lang\/switch 2015. BMv2 switch.p4.Retrieved May 2021 from https:\/\/github.com\/p4lang\/switch"},{"volume-title":"Netronome Agilio CX SmartNICs.Retrieved","year":"2021","key":"e_1_3_2_1_3_1","unstructured":"2016. Netronome Agilio CX SmartNICs.Retrieved June 2021 from https:\/\/www.netronome.com\/products\/agilio-cx\/ 2016. Netronome Agilio CX SmartNICs.Retrieved June 2021 from https:\/\/www.netronome.com\/products\/agilio-cx\/"},{"volume-title":"Network path not found? Forward Networks Blog.Retrieved","year":"2021","key":"e_1_3_2_1_4_1","unstructured":"2017. Network path not found? Forward Networks Blog.Retrieved February 2021 from https:\/\/bit.ly\/2FzpEEZ 2017. Network path not found? Forward Networks Blog.Retrieved February 2021 from https:\/\/bit.ly\/2FzpEEZ"},{"volume-title":"P4 tutorials.Retrieved","year":"2020","key":"e_1_3_2_1_5_1","unstructured":"2017. P4 tutorials.Retrieved February 2020 from https:\/\/github.com\/p4lang 2017. P4 tutorials.Retrieved February 2020 from https:\/\/github.com\/p4lang"},{"key":"e_1_3_2_1_6_1","unstructured":"2017. p4c issues.https:\/\/github.com\/p4lang\/p4c\/issues  2017. p4c issues.https:\/\/github.com\/p4lang\/p4c\/issues"},{"key":"e_1_3_2_1_7_1","unstructured":"2018. Intel FPGAs and Programmable Devices.https:\/\/www.intel.in\/content\/www\/in\/en\/products\/programmable.html  2018. Intel FPGAs and Programmable Devices.https:\/\/www.intel.in\/content\/www\/in\/en\/products\/programmable.html"},{"volume-title":"flowlet_switching.p4.Retrieved","year":"2021","key":"e_1_3_2_1_8_1","unstructured":"2019. flowlet_switching.p4.Retrieved June 2021 from https:\/\/github.com\/nsg-ethz\/p4-learning\/blob\/master\/exercises\/05-Flowlet_Switching\/solution\/p4src\/flowlet_switching.p4 2019. flowlet_switching.p4.Retrieved June 2021 from https:\/\/github.com\/nsg-ethz\/p4-learning\/blob\/master\/exercises\/05-Flowlet_Switching\/solution\/p4src\/flowlet_switching.p4"},{"volume-title":"forwarding.p4.Retrieved","year":"2021","key":"e_1_3_2_1_9_1","unstructured":"2019. forwarding.p4.Retrieved June 2021 from https:\/\/github.com\/nsg-ethz\/p4-learning\/blob\/master\/examples\/ip_forwarding\/forwarding.p4 2019. forwarding.p4.Retrieved June 2021 from https:\/\/github.com\/nsg-ethz\/p4-learning\/blob\/master\/examples\/ip_forwarding\/forwarding.p4"},{"volume-title":"heavy_hitter.p4.Retrieved","year":"2021","key":"e_1_3_2_1_10_1","unstructured":"2019. heavy_hitter.p4.Retrieved June 2021 from https:\/\/github.com\/nsg-ethz\/p4-learning\/blob\/master\/examples\/heavy_hitter\/heavy_hitter.p4 2019. heavy_hitter.p4.Retrieved June 2021 from https:\/\/github.com\/nsg-ethz\/p4-learning\/blob\/master\/examples\/heavy_hitter\/heavy_hitter.p4"},{"volume-title":"mpls.p4.Retrieved","year":"2021","key":"e_1_3_2_1_11_1","unstructured":"2019. mpls.p4.Retrieved June 2021 from https:\/\/github.com\/nsg-ethz\/p4-learning\/blob\/master\/exercises\/04-MPLS\/mpls_basics\/solution\/basics.p4 2019. mpls.p4.Retrieved June 2021 from https:\/\/github.com\/nsg-ethz\/p4-learning\/blob\/master\/exercises\/04-MPLS\/mpls_basics\/solution\/basics.p4"},{"volume-title":"P4 learning.Retrieved","year":"2021","key":"e_1_3_2_1_12_1","unstructured":"2019. P4 learning.Retrieved January 2021 from https:\/\/github.com\/nsg-ethz\/p4-learning 2019. P4 learning.Retrieved January 2021 from https:\/\/github.com\/nsg-ethz\/p4-learning"},{"volume-title":"P4 programs survey.Retrieved","year":"2021","key":"e_1_3_2_1_13_1","unstructured":"2019. P4 programs survey.Retrieved June 2021 from https:\/\/github.com\/muhe1991\/p4-programs-survey 2019. P4 programs survey.Retrieved June 2021 from https:\/\/github.com\/muhe1991\/p4-programs-survey"},{"volume-title":"stateful_firewall.p4.Retrieved","year":"2021","key":"e_1_3_2_1_14_1","unstructured":"2019. stateful_firewall.p4.Retrieved June 2021 from https:\/\/github.com\/nsg-ethz\/p4-learning\/blob\/master\/examples\/stateful_firewall\/stateful_firewall.p4 2019. stateful_firewall.p4.Retrieved June 2021 from https:\/\/github.com\/nsg-ethz\/p4-learning\/blob\/master\/examples\/stateful_firewall\/stateful_firewall.p4"},{"volume-title":"traceroutable.p4.Retrieved","year":"2021","key":"e_1_3_2_1_15_1","unstructured":"2019. traceroutable.p4.Retrieved June 2021 from https:\/\/github.com\/nsg-ethz\/p4-learning\/blob\/master\/exercises\/09-Traceroutable\/solution\/p4src\/traceroutable.p4 2019. traceroutable.p4.Retrieved June 2021 from https:\/\/github.com\/nsg-ethz\/p4-learning\/blob\/master\/exercises\/09-Traceroutable\/solution\/p4src\/traceroutable.p4"},{"volume-title":"BMV2 software switch.Retrieved","year":"2021","key":"e_1_3_2_1_16_1","unstructured":"2020. BMV2 software switch.Retrieved April 2021 from https:\/\/github.com\/p4lang\/behavioral-model 2020. BMV2 software switch.Retrieved April 2021 from https:\/\/github.com\/p4lang\/behavioral-model"},{"volume-title":"World's Fastest P4-Programmable Ethernet Switch ASICs.Retrieved","year":"2019","key":"e_1_3_2_1_17_1","unstructured":"2020. Tofino , World's Fastest P4-Programmable Ethernet Switch ASICs.Retrieved November 2019 from https:\/\/www.barefootnetworks.com\/products\/brief-tofino\/ 2020. Tofino, World's Fastest P4-Programmable Ethernet Switch ASICs.Retrieved November 2019 from https:\/\/www.barefootnetworks.com\/products\/brief-tofino\/"},{"key":"e_1_3_2_1_18_1","unstructured":"2021. DBVal code.https:\/\/github.com\/networked-systems-iith\/DBValidator.git  2021. DBVal code.https:\/\/github.com\/networked-systems-iith\/DBValidator.git"},{"volume-title":"fast_reroute.p4.Retrieved","year":"2021","key":"e_1_3_2_1_19_1","unstructured":"2021. fast_reroute.p4.Retrieved June 2021 from https:\/\/github.com\/nsg-ethz\/p4-learning\/blob\/master\/exercises\/12-Fast-Reroute\/solution\/p4src\/fast_reroute.p4 2021. fast_reroute.p4.Retrieved June 2021 from https:\/\/github.com\/nsg-ethz\/p4-learning\/blob\/master\/exercises\/12-Fast-Reroute\/solution\/p4src\/fast_reroute.p4"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3427796.3427798"},{"key":"e_1_3_2_1_21_1","unstructured":"Carolyn Jane Anderson Nate Foster Arjun Guha Jean-Baptiste Jeannin Dexter Kozen Cole Schlesinger and David Walker. 2014. NetKAT: Semantic Foundations for Networks. In POPL.  Carolyn Jane Anderson Nate Foster Arjun Guha Jean-Baptiste Jeannin Dexter Kozen Cole Schlesinger and David Walker. 2014. NetKAT: Semantic Foundations for Networks. In POPL."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3405669.3405818"},{"key":"e_1_3_2_1_23_1","volume-title":"Larus","author":"Ball Thomas","year":"1996","unstructured":"Thomas Ball and James R . Larus . 1996 . Efficient Path Profiling. In MICRO. Thomas Ball and James R. Larus. 1996. Efficient Path Profiling. In MICRO."},{"key":"e_1_3_2_1_24_1","volume-title":"An Assertion Language for Debugging SDN Applications. In Workshop on Hot topics in software defined networking.","author":"Beckett Ryan","year":"2014","unstructured":"Ryan Beckett , Xuan Kelvin Zou , Shuyuan Zhang , Sharad Malik , Jennifer Rexford , and David Walker . 2014 . An Assertion Language for Debugging SDN Applications. In Workshop on Hot topics in software defined networking. Ryan Beckett, Xuan Kelvin Zou, Shuyuan Zhang, Sharad Malik, Jennifer Rexford, and David Walker. 2014. An Assertion Language for Debugging SDN Applications. In Workshop on Hot topics in software defined networking."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Pietro Bressana Noa Zilberman and Robert Soul\u00e9. 2020. Finding hard-to-find data plane bugs with a PTA. In CoNEXT.  Pietro Bressana Noa Zilberman and Robert Soul\u00e9. 2020. Finding hard-to-find data plane bugs with a PTA. In CoNEXT.","DOI":"10.1145\/3386367.3431313"},{"key":"e_1_3_2_1_26_1","unstructured":"Marco Canini Daniele Venzano Peter Pere\u0161\u00edni Dejan Kosti\u0107 and Jennifer Rexford. 2012. A NICE Way to Test OpenFlow Applications. In USENIX NSDI.  Marco Canini Daniele Venzano Peter Pere\u0161\u00edni Dejan Kosti\u0107 and Jennifer Rexford. 2012. A NICE Way to Test OpenFlow Applications. In USENIX NSDI."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Marinos Dimolianis Adam Pavlidis and Vasilis Maglaris. 2020. A Multi-Feature DDoS Detection Schema on P4 Network Hardware. In ICIN.  Marinos Dimolianis Adam Pavlidis and Vasilis Maglaris. 2020. A Multi-Feature DDoS Detection Schema on P4 Network Hardware. In ICIN.","DOI":"10.1109\/ICIN48450.2020.9059327"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Dragos Dumitrescu Radu Stoenescu Lorina Negreanu and Costin Raiciu. 2020. bf4: towards bug-free P4 programs. In ACM SIGCOMM.  Dragos Dumitrescu Radu Stoenescu Lorina Negreanu and Costin Raiciu. 2020. bf4: towards bug-free P4 programs. In ACM SIGCOMM.","DOI":"10.1145\/3387514.3405888"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Lucas Freire Miguel Neves Lucas Leal Kirill Levchenko Alberto Schaeffer-Filho and Marinho Barcellos. 2018. Uncovering Bugs in P4 Programs with Assertion-Based Verification. In ACM SOSR.  Lucas Freire Miguel Neves Lucas Leal Kirill Levchenko Alberto Schaeffer-Filho and Marinho Barcellos. 2018. Uncovering Bugs in P4 Programs with Assertion-Based Verification. In ACM SOSR.","DOI":"10.1145\/3185467.3185499"},{"key":"e_1_3_2_1_30_1","unstructured":"Nikhil Handigol Brandon Heller Vimalkumar Jeyakumar David Mazi\u00e8res and Nick McKeown. 2014. I Know What Your Packet Did Last Hop: Using Packet Histories to Troubleshoot Networks. In USENIX NSDI.  Nikhil Handigol Brandon Heller Vimalkumar Jeyakumar David Mazi\u00e8res and Nick McKeown. 2014. I Know What Your Packet Did Last Hop: Using Packet Histories to Troubleshoot Networks. In USENIX NSDI."},{"key":"e_1_3_2_1_31_1","volume-title":"Contra: A Programmable System for Performance-aware Routing. In USENIX NSDI.","author":"Hsu Kuo-Feng","year":"2020","unstructured":"Kuo-Feng Hsu , Ryan Beckett , Ang Chen , Jennifer Rexford , and David Walker . 2020 . Contra: A Programmable System for Performance-aware Routing. In USENIX NSDI. Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, and David Walker. 2020. Contra: A Programmable System for Performance-aware Routing. In USENIX NSDI."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Theo Jepsen Ali Fattaholmanan Masoud Moshref Nate Foster Antonio Carzaniga and Robert Soul\u00e9. 2020. Forwarding and Routing with Packet Subscriptions. In CoNEXT.  Theo Jepsen Ali Fattaholmanan Masoud Moshref Nate Foster Antonio Carzaniga and Robert Soul\u00e9. 2020. Forwarding and Routing with Packet Subscriptions. In CoNEXT.","DOI":"10.1145\/3386367.3431315"},{"key":"e_1_3_2_1_33_1","unstructured":"Qiao Kang Jiarong Xing and Ang Chen. 2019. Automated Attack Discovery in Data Plane Systems. In USENIX CSET.  Qiao Kang Jiarong Xing and Ang Chen. 2019. Automated Attack Discovery in Data Plane Systems. In USENIX CSET."},{"key":"e_1_3_2_1_34_1","unstructured":"Qiao Kang Lei Xue Adam Morrison Yuxin Tang Ang Chen and Xiapu Luo. 2020. Programmable In-Network Security for Context-aware BYOD Policies. In USENIX Security.  Qiao Kang Lei Xue Adam Morrison Yuxin Tang Ang Chen and Xiapu Luo. 2020. Programmable In-Network Security for Context-aware BYOD Policies. In USENIX Security."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Naga Katta Omid Alipourfard Jennifer Rexford and David Walker. 2016. CacheFlow: Dependency-Aware Rule-Caching for Software-Defined Networks. In ACM SOSR.  Naga Katta Omid Alipourfard Jennifer Rexford and David Walker. 2016. CacheFlow: Dependency-Aware Rule-Caching for Software-Defined Networks. In ACM SOSR.","DOI":"10.1145\/2890955.2890969"},{"key":"e_1_3_2_1_36_1","volume-title":"HULA: Scalable Load Balancing UsingProgrammable Data Planes. In ACM SOSR.","author":"Katta Naga","year":"2016","unstructured":"Naga Katta , Mukesh Hira , Changhoon Kim , Anirudh Sivaraman , and Jennifer Rexford . 2016 . HULA: Scalable Load Balancing UsingProgrammable Data Planes. In ACM SOSR. Naga Katta, Mukesh Hira, Changhoon Kim, Anirudh Sivaraman, and Jennifer Rexford. 2016. HULA: Scalable Load Balancing UsingProgrammable Data Planes. In ACM SOSR."},{"key":"e_1_3_2_1_37_1","volume-title":"TEA: Enabling State-Intensive Network Functions on Programmable Switches. In ACM SIGCOMM.","author":"Kim Daehyeok","year":"2020","unstructured":"Daehyeok Kim , Zaoxing Liu , Yibo Zhu , Changhoon Kim , Jeongkeun Lee , Vyas Sekar , and Srinivasan Seshan . 2020 . TEA: Enabling State-Intensive Network Functions on Programmable Switches. In ACM SIGCOMM. Daehyeok Kim, Zaoxing Liu, Yibo Zhu, Changhoon Kim, Jeongkeun Lee, Vyas Sekar, and Srinivasan Seshan. 2020. TEA: Enabling State-Intensive Network Functions on Programmable Switches. In ACM SIGCOMM."},{"key":"e_1_3_2_1_38_1","volume-title":"Praveen Tammana, and Jennifer Rexford.","author":"Kodeswaran Suriya","year":"2020","unstructured":"Suriya Kodeswaran , Mina Tahmasbi Arashloo , Praveen Tammana, and Jennifer Rexford. 2020 . Tracking P4 Program Execution in the Data Plane. In ACM SOSR. Suriya Kodeswaran, Mina Tahmasbi Arashloo, Praveen Tammana, and Jennifer Rexford. 2020. Tracking P4 Program Execution in the Data Plane. In ACM SOSR."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Jed Liu William Hallahan Cole Schlesinger Milad Sharif Jeongkeun Lee Robert Soul\u00e9 Han Wang C\u0103lin Ca\u015fcaval Nick McKeown and Nate Foster. 2018. P4V: Practical Verification for Programmable Data Planes. In ACM SIGCOMM.  Jed Liu William Hallahan Cole Schlesinger Milad Sharif Jeongkeun Lee Robert Soul\u00e9 Han Wang C\u0103lin Ca\u015fcaval Nick McKeown and Nate Foster. 2018. P4V: Practical Verification for Programmable Data Planes. In ACM SIGCOMM.","DOI":"10.1145\/3230543.3230582"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Roland Meier Thomas Holterbach Stephan Keck Matthias St\u00e4hli Vincent Lenders Ankit Singla and Laurent Vanbever. 2019. (Self) Driving Under the Influence: Intoxicating Adversarial Network Inputs. In ACM HotNets.  Roland Meier Thomas Holterbach Stephan Keck Matthias St\u00e4hli Vincent Lenders Ankit Singla and Laurent Vanbever. 2019. (Self) Driving Under the Influence: Intoxicating Adversarial Network Inputs. In ACM HotNets.","DOI":"10.1145\/3365609.3365850"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098824"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"Miguel Neves Lucas Freire Alberto Schaeffer-Filho and Marinho Barcellos. 2018. Verification of P4 Programs in Feasible Time using Assertions. In CoNEXT.  Miguel Neves Lucas Freire Alberto Schaeffer-Filho and Marinho Barcellos. 2018. Verification of P4 Programs in Feasible Time using Assertions. In CoNEXT.","DOI":"10.1145\/3281411.3281421"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"crossref","unstructured":"Andres N\u00f6tzli Jehandad Khan Andy Fingerhut Clark Barrett and Peter Athanas. 2018. P4pktgen: Automated Test Case Generation for P4 Programs. In ACM SOSR.  Andres N\u00f6tzli Jehandad Khan Andy Fingerhut Clark Barrett and Peter Athanas. 2018. P4pktgen: Automated Test Case Generation for P4 Programs. In ACM SOSR.","DOI":"10.1145\/3185467.3185497"},{"key":"e_1_3_2_1_45_1","volume-title":"Software-Defined Networks: A Systems Approach.https:\/\/sdn.systemsapproach.org\/ Accessed","author":"Vachuska Peterson O'Connor","year":"2021","unstructured":"O'Connor Vachuska Peterson , Cascone and Davie . 2020. Software-Defined Networks: A Systems Approach.https:\/\/sdn.systemsapproach.org\/ Accessed : June 2021 . O'Connor Vachuska Peterson, Cascone and Davie. 2020. Software-Defined Networks: A Systems Approach.https:\/\/sdn.systemsapproach.org\/ Accessed: June 2021."},{"key":"e_1_3_2_1_46_1","volume-title":"Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing. In USENIX OSDI.","author":"Ruffy Fabian","year":"2020","unstructured":"Fabian Ruffy , Tao Wang , and Anirudh Sivaraman . 2020 . Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing. In USENIX OSDI. Fabian Ruffy, Tao Wang, and Anirudh Sivaraman. 2020. Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing. In USENIX OSDI."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2020.2999653"},{"volume-title":"Fix with P6: Verifying Programmable Switches at Runtime","author":"Shukla Apoorv","key":"e_1_3_2_1_48_1","unstructured":"Apoorv Shukla , Kevin Hudemann , Zsolt V\u00e1gi , Lily H\u00fcgerich , Georgios Smaragdakis , Artur Hecker , Stefan Schmid , and Anja Feldmann . 2021. Fix with P6: Verifying Programmable Switches at Runtime . In IEEE INFOCOM. Apoorv Shukla, Kevin Hudemann, Zsolt V\u00e1gi, Lily H\u00fcgerich, Georgios Smaragdakis, Artur Hecker, Stefan Schmid, and Anja Feldmann. 2021. Fix with P6: Verifying Programmable Switches at Runtime. In IEEE INFOCOM."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341216.3342206"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"crossref","unstructured":"Radu Stoenescu Dragos Dumitrescu Matei Popovici Lorina Negreanu and Costin Raiciu. 2018. Debugging P4 Programs with Vera. In ACM SIGCOMM.  Radu Stoenescu Dragos Dumitrescu Matei Popovici Lorina Negreanu and Costin Raiciu. 2018. Debugging P4 Programs with Vera. In ACM SIGCOMM.","DOI":"10.1145\/3230543.3230548"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"crossref","unstructured":"Hongyi Zeng Peyman Kazemian George Varghese and Nick McKeown. 2012. Automatic Test Packet Generation. In CoNEXT.  Hongyi Zeng Peyman Kazemian George Varghese and Nick McKeown. 2012. Automatic Test Packet Generation. In CoNEXT.","DOI":"10.1145\/2413176.2413205"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"crossref","unstructured":"Yu Zhou Jun Bi Tong Yang Kai Gao Cheng Zhang Jiamin Cao and Yangyang Wang. 2018. KeySight: Troubleshooting Programmable Switches via Scalable High-Coverage Behavior Tracking. In ICNP.  Yu Zhou Jun Bi Tong Yang Kai Gao Cheng Zhang Jiamin Cao and Yangyang Wang. 2018. KeySight: Troubleshooting Programmable Switches via Scalable High-Coverage Behavior Tracking. In ICNP.","DOI":"10.1109\/ICNP.2018.00045"}],"event":{"name":"SOSR '21: The ACM SIGCOMM Symposium on SDN Research","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Virtual Event USA","acronym":"SOSR '21"},"container-title":["Proceedings of the ACM SIGCOMM Symposium on SDN Research (SOSR)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3482898.3483352","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3482898.3483352","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:45Z","timestamp":1750193325000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3482898.3483352"}},"subtitle":["Validating P4 Data Plane Runtime Behavior"],"short-title":[],"issued":{"date-parts":[[2021,10,11]]},"references-count":51,"alternative-id":["10.1145\/3482898.3483352","10.1145\/3482898"],"URL":"https:\/\/doi.org\/10.1145\/3482898.3483352","relation":{},"subject":[],"published":{"date-parts":[[2021,10,11]]},"assertion":[{"value":"2021-11-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}