{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:12:55Z","timestamp":1743001975393,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031248405"},{"type":"electronic","value":"9783031248412"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-24841-2_12","type":"book-chapter","created":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T00:04:39Z","timestamp":1673222679000},"page":"180-196","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["SwitchLog: A Logic Programming Language for\u00a0Network Switches"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2357-3023","authenticated-orcid":false,"given":"Vaibhav","family":"Mehta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1127-8932","authenticated-orcid":false,"given":"Devon","family":"Loehr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9127-161X","authenticated-orcid":false,"given":"John","family":"Sonchack","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3681-149X","authenticated-orcid":false,"given":"David","family":"Walker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,1,8]]},"reference":[{"key":"12_CR1","unstructured":"Differential datalog. VMWare (2019). https:\/\/github.com\/vmware\/differential-datalog"},{"issue":"3","key":"12_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/2656877.2656890","volume":"44","author":"P Bosshart","year":"2014","unstructured":"Bosshart, P., et al.: P4: Programming protocol-independent packet processors. ACM SIGCOMM Comput. Commun. Rev. 44(3), 87\u201395 (2014)","journal-title":"ACM SIGCOMM Comput. Commun. Rev."},{"key":"12_CR3","doi-asserted-by":"publisher","unstructured":"Eichholz, M., Campbell, E.H., Krebs, M., Foster, N., Mezini, M.: Dependently-typed data plane programming. In: Proceedings of the ACM Programming Languages 6(POPL) (2022). https:\/\/doi.org\/10.1145\/3498701","DOI":"10.1145\/3498701"},{"key":"12_CR4","doi-asserted-by":"publisher","unstructured":"Gao, J., et al.: Lyra: a cross-platform language and compiler for data plane programming on heterogeneous asics. In: Proceedings of the Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication, p. 435\u2013450. SIGCOMM\u201920, Association for Computing Machinery, New York, NY, USA (2020). https:\/\/doi.org\/10.1145\/3387514.3405879","DOI":"10.1145\/3387514.3405879"},{"key":"12_CR5","doi-asserted-by":"publisher","unstructured":"Gao, X., et al.: Switch code generation using program synthesis. In: Proceedings of the Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication, pp. 44\u201361. SIGCOMM\u201920, Association for Computing Machinery, New York, NY, USA (2020). https:\/\/doi.org\/10.1145\/3387514.3405852","DOI":"10.1145\/3387514.3405852"},{"key":"12_CR6","doi-asserted-by":"publisher","unstructured":"Gupta, A., Harrison, R., Canini, M., Feamster, N., Rexford, J., Willinger, W.: Sonata: query-driven streaming network telemetry. In: Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, pp. 357\u2013371. SIGCOMM\u201918, Association for Computing Machinery, New York, NY, USA (2018). https:\/\/doi.org\/10.1145\/3230543.3230555","DOI":"10.1145\/3230543.3230555"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Harrison, R., Cai, Q., Gupta, A., Rexford, J.: Network-wide heavy hitter detection with commodity switches. In: Proceedings of the Symposium on SDN Research, pp. 1\u20137 (2018)","DOI":"10.1145\/3185467.3185476"},{"key":"12_CR8","unstructured":"Hsu, K.F., Beckett, R., Chen, A., Rexford, J., Walker, D.: Contra: a programmable system for performance-aware routing. In: 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20), pp. 701\u2013721 (2020)"},{"key":"12_CR9","doi-asserted-by":"publisher","unstructured":"Laffranchini, P., Rodrigues, L.E.T., Canini, M., Krishnamurthy, B.: Measurements as first-class artifacts. In: 2019 IEEE Conference on Computer Communications, INFOCOM 2019, Paris, France, 29 April - 2 May 2019, pp. 415\u2013423. IEEE (2019). https:\/\/doi.org\/10.1109\/INFOCOM.2019.8737383","DOI":"10.1109\/INFOCOM.2019.8737383"},{"key":"12_CR10","doi-asserted-by":"publisher","unstructured":"Loehr, D., Walker, D.: Safe, modular packet pipeline programming. In: Proceedings ACM Programming Languages 6(POPL) (2022). https:\/\/doi.org\/10.1145\/3498699","DOI":"10.1145\/3498699"},{"key":"12_CR11","unstructured":"Loo, B.T.: The design and implementation of declarative networks, p. 210 (2006). http:\/\/digicoll.lib.berkeley.edu\/record\/139082"},{"issue":"4","key":"12_CR12","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/1090191.1080126","volume":"35","author":"BT Loo","year":"2005","unstructured":"Loo, B.T., Hellerstein, J.M., Stoica, I., Ramakrishnan, R.: Declarative routing: extensible routing with declarative queries. ACM SIGCOMM Comput. Commun. Rev. 35(4), 289\u2013300 (2005)","journal-title":"ACM SIGCOMM Comput. Commun. Rev."},{"key":"12_CR13","unstructured":"Narayana, S., Arashloo, M.T., Rexford, J., Walker, D.: Compiling path queries. In: Proceedings of the 13th Usenix Conference on Networked Systems Design and Implementation, pp. 207\u2013222. NSDI\u201916, USENIX Association, USA (2016)"},{"key":"12_CR14","doi-asserted-by":"publisher","unstructured":"Narayana, S., et al.: Language-directed hardware design for network performance monitoring. In: Proceedings of the Conference of the ACM Special Interest Group on Data Communication, pp. 85\u201398. SIGCOMM\u201917, Association for Computing Machinery, New York, NY, USA (2017). https:\/\/doi.org\/10.1145\/3098822.3098829","DOI":"10.1145\/3098822.3098829"},{"key":"12_CR15","doi-asserted-by":"publisher","unstructured":"Sivaraman, A., et al.: Packet transactions: high-level programming for line-rate switches. In: Proceedings of the 2016 ACM SIGCOMM Conference, pp. 15\u201328. SIGCOMM\u201916, Association for Computing Machinery, New York, NY, USA (2016). https:\/\/doi.org\/10.1145\/2934872.2934900","DOI":"10.1145\/2934872.2934900"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Sonchack, J., Aviv, A.J., Keller, E., Smith, J.M.: Turboflow: information rich flow record generation on commodity switches. In: Proceedings of the 13th EuroSys Conference, pp. 1\u201316 (2018)","DOI":"10.1145\/3190508.3190558"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Sonchack, J., Loehr, D., Rexford, J., Walker, D.: Lucid: a language for control in the data plane. In: Proceedings of the 2021 ACM SIGCOMM 2021 Conference, pp. 731\u2013747 (2021)","DOI":"10.1145\/3452296.3472903"},{"key":"12_CR18","unstructured":"Sonchack, J., Michel, O., Aviv, A.J., Keller, E., Smith, J.M.: Scaling hardware accelerated network monitoring to concurrent and dynamic queries with $$\\{$$* Flow$$\\}$$. In: 2018 USENIX Annual Technical Conference (USENIX ATC 18), pp. 823\u2013835 (2018)"},{"key":"12_CR19","doi-asserted-by":"publisher","unstructured":"Soni, H., Rifai, M., Kumar, P., Doenges, R., Foster, N.: Composing dataplane programs with $$\\mu $$p4. In: Proceedings of the Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication, pp. 329\u2013343. SIGCOMM\u201920, Association for Computing Machinery, New York, NY, USA (2020). https:\/\/doi.org\/10.1145\/3387514.3405872","DOI":"10.1145\/3387514.3405872"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-540-92995-6_5","volume-title":"Practical Aspects of Declarative Languages","author":"A Wang","year":"2008","unstructured":"Wang, A., Basu, P., Loo, B.T., Sokolsky, O.: Declarative network verification. In: Gill, A., Swift, T. (eds.) PADL 2009. LNCS, vol. 5418, pp. 61\u201375. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-92995-6_5"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-24841-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T14:09:40Z","timestamp":1673273380000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-24841-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031248405","9783031248412"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-24841-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"8 January 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PADL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Practical Aspects of Declarative Languages","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Boston , MA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 January 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 January 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"padl2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/popl23.sigplan.org\/home\/PADL-2023","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easy Chair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"36","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"15","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"42% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}