{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T12:33:36Z","timestamp":1764333216712,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T00:00:00Z","timestamp":1666137600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"INESC-ID","award":["UIDB\/50021\/2020"],"award-info":[{"award-number":["UIDB\/50021\/2020"]}]},{"name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","award":["CMU\/TIC\/0083\/2019,PTDC\/CCI-INF\/30340\/2017,PRT\/BD\/152195\/2021"],"award-info":[{"award-number":["CMU\/TIC\/0083\/2019,PTDC\/CCI-INF\/30340\/2017,PRT\/BD\/152195\/2021"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,19]]},"DOI":"10.1145\/3563647.3563656","type":"proceedings-article","created":{"date-parts":[[2022,10,6]],"date-time":"2022-10-06T16:08:51Z","timestamp":1665072531000},"page":"89-97","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Automatic generation of network function accelerators using component-based synthesis"],"prefix":"10.1145","author":[{"given":"Francisco","family":"Pereira","sequence":"first","affiliation":[{"name":"University of Lisbon and Carnegie Mellon University"}]},{"given":"Gon\u00e7alo","family":"Matos","sequence":"additional","affiliation":[{"name":"University of Lisbon"}]},{"given":"Hugo","family":"Sadok","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}]},{"given":"Daehyeok","family":"Kim","sequence":"additional","affiliation":[{"name":"Microsoft"}]},{"given":"Ruben","family":"Martins","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}]},{"given":"Justine","family":"Sherry","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}]},{"given":"Fernando M. V.","family":"Ramos","sequence":"additional","affiliation":[{"name":"University of Lisbon"}]},{"given":"Luis","family":"Pedrosa","sequence":"additional","affiliation":[{"name":"University of Lisbon"}]}],"member":"320","published-online":{"date-parts":[[2022,10,19]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/1879141.1879175"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/2656877.2656890"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/2486001.2486011"},{"key":"e_1_3_2_1_4_1","volume-title":"Engler","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson R . Engler . 2008 . KLEE : Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8--10, 2008, San Diego, California, USA, Proceedings, Richard Draves and Robbert van Renesse (Eds.). USENIX Association , 209--224. http:\/\/www.usenix.org\/events\/osdi08\/tech\/full_papers\/cadar\/cadar.pdf Cristian Cadar, Daniel Dunbar, and Dawson R. Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8--10, 2008, San Diego, California, USA, Proceedings, Richard Draves and Robbert van Renesse (Eds.). USENIX Association, 209--224. http:\/\/www.usenix.org\/events\/osdi08\/tech\/full_papers\/cadar\/cadar.pdf"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/3470496.3533043"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1109\/TCC.2022.3149817"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/3098822.3098823"},{"unstructured":"Intel Corporation. 2022. Intel Tofino 3. https:\/\/www.intel.com\/content\/www\/us\/en\/products\/network-io\/programmable-ethernet-switch.html  Intel Corporation. 2022. Intel Tofino 3. https:\/\/www.intel.com\/content\/www\/us\/en\/products\/network-io\/programmable-ethernet-switch.html","key":"e_1_3_2_1_8_1"},{"unstructured":"ETSI. 2012. Network Functions Virtualisation - White Paper. http:\/\/portal.etsi.org\/NFV\/NFV_White_Paper.pdf  ETSI. 2012. Network Functions Virtualisation - White Paper. http:\/\/portal.etsi.org\/NFV\/NFV_White_Paper.pdf","key":"e_1_3_2_1_9_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/3387514.3405879"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/3230543.3230555"},{"key":"e_1_3_2_1_12_1","volume-title":"Performance Contracts for Software Network Functions. In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19)","author":"Iyer Rishabh","year":"2019","unstructured":"Rishabh Iyer , Luis Pedrosa , Arseniy Zaostrovnykh , Solal Pirelli , Katerina Argyraki , and George Candea . 2019 . Performance Contracts for Software Network Functions. In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19) . USENIX Association, Boston, MA, 517--530. https:\/\/www.usenix.org\/conference\/nsdi19\/presentation\/iyer Rishabh Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina Argyraki, and George Candea. 2019. Performance Contracts for Software Network Functions. In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19). USENIX Association, Boston, MA, 517--530. https:\/\/www.usenix.org\/conference\/nsdi19\/presentation\/iyer"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/1806799.1806833"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/354871.354874"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/2534169.2486005"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1145\/2934872.2934906"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/2813885.2737980"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/3098822.3098824"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/3098822.3098829"},{"unstructured":"Netronome. 2022. Agilio LX SmartNICs. https:\/\/www.netronome.com\/products\/agilio-lx\/  Netronome. 2022. Agilio LX SmartNICs. https:\/\/www.netronome.com\/products\/agilio-lx\/","key":"e_1_3_2_1_20_1"},{"doi-asserted-by":"crossref","unstructured":"R. Pagh and F. F. Rodler. 2004. Cuckoo hashing. Journal of Algorithms (feb 2004). Issue 51.  R. Pagh and F. F. Rodler. 2004. Cuckoo hashing. Journal of Algorithms (feb 2004). Issue 51.","key":"e_1_3_2_1_21_1","DOI":"10.1016\/j.jalgor.2003.12.002"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/2815400.2815423"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/3477132.3483583"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.5555\/2228298.2228331"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1145\/2342356.2342359"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1145\/1065010.1065045"},{"key":"e_1_3_2_1_27_1","volume-title":"18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21)","author":"Sultana Nik","year":"2021","unstructured":"Nik Sultana , John Sonchack , Hans Giesen , Isaac Pedisich , Zhaoyang Han , Nishanth Shyamkumar , Shivani Burad , Andr\u00e9 DeHon , and Boon Thau Loo . 2021 . Flightplan: Dataplane disaggregation and placement for p4 programs . In 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21) . 571--592. Nik Sultana, John Sonchack, Hans Giesen, Isaac Pedisich, Zhaoyang Han, Nishanth Shyamkumar, Shivani Burad, Andr\u00e9 DeHon, and Boon Thau Loo. 2021. Flightplan: Dataplane disaggregation and placement for p4 programs. In 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21). 571--592."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1145\/2342356.2342388"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1145\/3230543.3230544"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1145\/3341301.3359647"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1145\/3387514.3405869"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_32_1","DOI":"10.5555\/3488766.3488827"},{"volume-title":"Enforcing Customizable Consistency Properties in Software-Defined Networks. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI15)","author":"Zhou Wenxuan","unstructured":"Wenxuan Zhou , Dong Jin , Jason Croft , Matthew Caesar , and P. Brighten Godfrey . 2015 . Enforcing Customizable Consistency Properties in Software-Defined Networks. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI15) . USENIX Association, Oakland, CA, 73--85. https:\/\/www.usenix.org\/conference\/nsdi15\/technical-sessions\/presentation\/zhou Wenxuan Zhou, Dong Jin, Jason Croft, Matthew Caesar, and P. Brighten Godfrey. 2015. Enforcing Customizable Consistency Properties in Software-Defined Networks. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI15). USENIX Association, Oakland, CA, 73--85. https:\/\/www.usenix.org\/conference\/nsdi15\/technical-sessions\/presentation\/zhou","key":"e_1_3_2_1_33_1"}],"event":{"sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"acronym":"SOSR '22","name":"SOSR '22: The ACM SIGCOMM Symposium on SDN Research","location":"Virtual Event"},"container-title":["Proceedings of the Symposium on SDN Research"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3563647.3563656","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3563647.3563656","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:34Z","timestamp":1750182694000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3563647.3563656"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,19]]},"references-count":33,"alternative-id":["10.1145\/3563647.3563656","10.1145\/3563647"],"URL":"https:\/\/doi.org\/10.1145\/3563647.3563656","relation":{},"subject":[],"published":{"date-parts":[[2022,10,19]]},"assertion":[{"value":"2022-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}