{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:11:42Z","timestamp":1767262302417,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,3,3]],"date-time":"2020-03-03T00:00:00Z","timestamp":1583193600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100012659","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61802225"],"award-info":[{"award-number":["61802225"]}],"id":[{"id":"10.13039\/501100012659","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Zhongguancun Haihua Institute for Frontier Information Technology."}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,3,3]]},"DOI":"10.1145\/3373360.3380832","type":"proceedings-article","created":{"date-parts":[[2020,3,4]],"date-time":"2020-03-04T17:35:21Z","timestamp":1583343321000},"page":"34-40","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Redundant Logic Elimination in Network Functions"],"prefix":"10.1145","author":[{"given":"Bangwen","family":"Deng","sequence":"first","affiliation":[{"name":"Tsinghua University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenfei","family":"Wu","sequence":"additional","affiliation":[{"name":"Tsinghua University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linhai","family":"Song","sequence":"additional","affiliation":[{"name":"The Pennsylvania State University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,3,4]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Balance. https:\/\/www.inlab.de\/balance.html.  Balance. https:\/\/www.inlab.de\/balance.html."},{"key":"e_1_3_2_1_2_1","unstructured":"clicknat. https:\/\/github.com\/kohler\/click\/blob\/master\/conf\/thomer-nat.click.  clicknat. https:\/\/github.com\/kohler\/click\/blob\/master\/conf\/thomer-nat.click."},{"key":"e_1_3_2_1_3_1","unstructured":"DG Static Slicer. https:\/\/github.com\/mchalupa\/dg.  DG Static Slicer. https:\/\/github.com\/mchalupa\/dg."},{"key":"e_1_3_2_1_4_1","unstructured":"DPDK. https:\/\/www.dpdk.org.  DPDK. https:\/\/www.dpdk.org."},{"key":"e_1_3_2_1_5_1","unstructured":"Haproxy. http:\/\/www.haproxy.org.  Haproxy. http:\/\/www.haproxy.org."},{"key":"e_1_3_2_1_6_1","unstructured":"iptables. https:\/\/www.netfilter.org\/projects\/iptables\/index.html.  iptables. https:\/\/www.netfilter.org\/projects\/iptables\/index.html."},{"key":"e_1_3_2_1_7_1","unstructured":"PAN. https:\/\/www.paloaltonetworks.com\/.  PAN. https:\/\/www.paloaltonetworks.com\/."},{"key":"e_1_3_2_1_8_1","unstructured":"pfsense. https:\/\/www.pfsense.org\/.  pfsense. https:\/\/www.pfsense.org\/."},{"key":"e_1_3_2_1_9_1","unstructured":"PRADS. https:\/\/github.com\/gamelinux\/prads.  PRADS. https:\/\/github.com\/gamelinux\/prads."},{"key":"e_1_3_2_1_10_1","unstructured":"Snort IDS. https:\/\/www.snort.org\/.  Snort IDS. https:\/\/www.snort.org\/."},{"key":"e_1_3_2_1_11_1","unstructured":"Suricata IDS\/IPS. https:\/\/suricata-ids.org\/.  Suricata IDS\/IPS. https:\/\/suricata-ids.org\/."},{"key":"e_1_3_2_1_12_1","unstructured":"Symbiotic. http:\/\/staticafi.github.io\/symbiotic.  Symbiotic. http:\/\/staticafi.github.io\/symbiotic."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934892"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620744"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934875"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI '08)","author":"Cadar C.","year":"2008","unstructured":"Cadar , C. , Dunbar , D. , and Engler , D . Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI '08) (San Diego, California , 2008 ). Cadar, C., Dunbar, D., and Engler, D. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI '08) (San Diego, California, 2008)."},{"key":"e_1_3_2_1_17_1","volume-title":"May 18","author":"Devarajan S.","year":"2017","unstructured":"Devarajan , S. , Stepanenko , V. , Verma , R. , and Kawamoto , J . Multi-tenant cloud-based firewall systems and methods , May 18 2017 . US Patent App . 14\/943,579. Devarajan, S., Stepanenko, V., Verma, R., and Kawamoto, J. Multi-tenant cloud-based firewall systems and methods, May 18 2017. US Patent App. 14\/943,579."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626313"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2019.00016"},{"key":"e_1_3_2_1_22_1","volume-title":"14th USENIX Symposium on Networked Systems Design and Implementation (NSDI '17)","author":"Kablan M.","year":"2017","unstructured":"Kablan , M. , Alsudais , A. , Keller , E. , and Le , F . Stateless network functions: Breaking the tight coupling of state and processing . In 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI '17) (BOSTON, MA, 2017 ). Kablan, M., Alsudais, A., Keller, E., and Le, F. Stateless network functions: Breaking the tight coupling of state and processing. In 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI '17) (BOSTON, MA, 2017)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.7717\/peerj-cs.98"},{"key":"e_1_3_2_1_24_1","volume-title":"13th USENIX Symposium on Networked Systems Design and Implementation (NSDI '16)","author":"Khalid J.","year":"2016","unstructured":"Khalid , J. , Gember-Jacobson , A. , Michael , R. , Abhashkumar , A. , and Akella , A . Paving the way for {NFV}: Simplifying middlebox modifications using statealyzr . In 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI '16) (Santa Clara, CA , 2016 ). Khalid, J., Gember-Jacobson, A., Michael, R., Abhashkumar, A., and Akella, A. Paving the way for {NFV}: Simplifying middlebox modifications using statealyzr. In 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI '16) (Santa Clara, CA, 2016)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934897"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230563"},{"key":"e_1_3_2_1_28_1","volume-title":"11th USENIX Symposium on Networked Systems Design and Implementation (NSDI '14)","author":"Martins J.","year":"2014","unstructured":"Martins , J. , Ahmed , M. , Raiciu , C. , Olteanu , V. , Honda , M. , Bifulco , R. , and Huici , F . Clickos and the art of network function virtualization . In 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI '14) (Seattle, MA, 2014 ). Martins, J., Ahmed, M., Raiciu, C., Olteanu, V., Honda, M., Bifulco, R., and Huici, F. Clickos and the art of network function virtualization. In 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI '14) (Seattle, MA, 2014)."},{"key":"e_1_3_2_1_29_1","first-page":"46","article-title":"The bsd packet filter: A new architecture for user-level packet capture","author":"McCanne S.","year":"1993","unstructured":"McCanne , S. , and Jacobson , V . The bsd packet filter: A new architecture for user-level packet capture . In USENIX winter ( 1993 ), vol. 46 . McCanne, S., and Jacobson, V. The bsd packet filter: A new architecture for user-level packet capture. In USENIX winter (1993), vol. 46.","journal-title":"USENIX"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2017.8057138"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3267809.3267831"},{"key":"e_1_3_2_1_32_1","volume-title":"12th USENIX Symposium on Operating Systems Design and Implementation (OSDI '16)","author":"Panda A.","year":"2016","unstructured":"Panda , A. , Han , S. , Jang , K. , Walls , M. , Ratnasamy , S. , and Shenker , S . Netbricks: Taking the v out of nfv . In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI '16) (Savannah, GA, 2016 ). Panda, A., Han, S., Jang, K., Walls, M., Ratnasamy, S., and Shenker, S. Netbricks: Taking the v out of nfv. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI '16) (Savannah, GA, 2016)."},{"key":"e_1_3_2_1_33_1","volume-title":"9th USENIX Symposium on Networked Systems Design and Implementation (NSDI '12)","author":"Sekar V.","year":"2012","unstructured":"Sekar , V. , Egi , N. , Ratnasamy , S. , Reiter , M. K. , and Shi , G . Design and implementation of a consolidated middlebox architecture . In 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI '12) (San Jose, CA , 2012 ). Sekar, V., Egi, N., Ratnasamy, S., Reiter, M. K., and Shi, G. Design and implementation of a consolidated middlebox architecture. In 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI '12) (San Jose, CA, 2012)."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA482657"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098826"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ANCS.2013.6665173"},{"key":"e_1_3_2_1_37_1","volume-title":"2014 USENIX Annual Technical Conference (USENIX ATC '14)","author":"Vasiliadis G.","year":"2014","unstructured":"Vasiliadis , G. , Koromilas , L. , Polychronakis , M. , and Ioannidis , S . GASPP: A gpu-accelerated stateful packet processing framework . In 2014 USENIX Annual Technical Conference (USENIX ATC '14) (Philadelphia, PA, 2014 ). Vasiliadis, G., Koromilas, L., Polychronakis, M., and Ioannidis, S. GASPP: A gpu-accelerated stateful packet processing framework. In 2014 USENIX Annual Technical Conference (USENIX ATC '14) (Philadelphia, PA, 2014)."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/800078.802557"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3005745.3005754"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106989.3106990"},{"key":"e_1_3_2_1_41_1","volume-title":"15th USENIX Symposium on Networked Systems Design and Implementation (NSDI '18)","author":"Zhang K.","year":"2018","unstructured":"Zhang , K. , He , B. , Hu , J. , Wang , Z. , Hua , B. , Meng , J. , and Yang , L . G-net: Effective GPU sharing in NFV systems . In 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI '18) (Renton, WA, 2018 ). Zhang, K., He, B., Hu, J., Wang, Z., Hua, B., Meng, J., and Yang, L. G-net: Effective GPU sharing in NFV systems. In 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI '18) (Renton, WA, 2018)."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2940147.2940155"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3050220.3050236"}],"event":{"name":"SOSR '20: Symposium on SDN Research","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"San Jose CA USA","acronym":"SOSR '20"},"container-title":["Proceedings of the Symposium on SDN Research"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373360.3380832","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373360.3380832","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:32:58Z","timestamp":1750199578000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373360.3380832"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,3]]},"references-count":42,"alternative-id":["10.1145\/3373360.3380832","10.1145\/3373360"],"URL":"https:\/\/doi.org\/10.1145\/3373360.3380832","relation":{},"subject":[],"published":{"date-parts":[[2020,3,3]]},"assertion":[{"value":"2020-03-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}