研究论文

开放式访问

比较综合：通过查询学习近最优网络设计

作者:

小康邱、和

桑贾伊饶作者信息和声明

美国计算机学会程序设计语言会议录,体积7,发行POPL公司

文章编号：4，页数91-120

https://doi.org/10.1145/3571197

出版:2023年1月11日出版历史

PDF格式电子阅读器

摘要

在管理广域网时，网络架构师必须决定如何平衡多个相互冲突的指标，并确保对竞争流量的公平分配，同时优先考虑关键流量。实践状态带来了挑战，因为架构师必须使用抽象概念（如效用函数和特别手动调整的旋钮）将其意图准确地编码为正式的优化模型。在本文中，我们首次尝试使用基于交互式程序综合的方法来综合具有不确定目标的最优网络设计。我们做出了三项贡献。首先，我们提出了比较综合，这是一种交互式综合框架，它通过两种查询（验证和比较）生成接近最优的程序（网络设计），而没有明确给出目标。其次，我们开发了第一种用于比较综合的学习算法，在该算法中，投票引导的学习者在每次迭代中选择信息量最大的查询。我们对算法的收敛速度进行了理论分析。第三，我们实现了基于我们的方法的系统Net10Q，并使用黑盒预言和模拟实验，以及由网络研究人员和从业者组成的试点用户研究，在四个真实世界的网络案例研究中证明了其有效性。理论和实验结果都表明了我们的方法的前景。

补充材料

辅助档案（popl23main-p33-p-archive.zip）

本附录包括其他实验结果。

下载
1.22 MB

工具书类

[1]

格伦·阿蒙斯（Glenn Ammons）、拉斯蒂斯拉夫·博迪克（Rastislav Bodík）和詹姆斯·拉鲁斯（James R.Larus）。2002.采矿规范。第29届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录（POPL'02）。计算机械协会，美国纽约州纽约市，4-16。编号：1581134509https://doi.org/10.1145/503272.503275

数字图书馆

[2]

达娜·安格鲁因。2004年，重新访问了查询。理论计算机科学，313，2（2004），175-194。发行编号：0304-3975https://doi.org/10.1016/j.tcs.2003.11.004算法学习理论

数字图书馆

[3]

Ryan Beckett、Aarti Gupta、Ratul Mahajan和David Walker。2019.分布式网络控制平面的抽象解释。程序。ACM计划。Lang.，4，POPL（2019），第42条，12月，27页。https://doi.org/10.1145/3371110

数字图书馆

[4]

Rüdiger Birkner、Dana Drachsler-Cohen、Laurent Vanbever和Martin Vechev。2020年。Config2规范：从网络配置中挖掘网络规范。第17届USENIX网络系统设计与实现研讨会论文集（NSDI’20）。

[5]

杰里米·博格尔（Jeremy Bogle）、尼基尔·巴蒂亚（Nikhil Bhatia）、曼尼亚·戈巴迪（Manya Ghobadi）、伊斯海·梅纳奇（Ishai Menache）、尼古拉·比约纳（Nikolajörner）、阿萨夫·瓦拉达斯基（Asaf Valadarsk。2019.TEAVAR：在广域网流量工程中实现正确的利用率-可用性平衡。在ACM数据通信特别兴趣小组会议记录（SIGCOMM’19）中。美国纽约州纽约市计算机协会29–43。编号：9781450359566https://doi.org/10.1145/3341302.3342069

数字图书馆

[6]

詹姆斯·博恩霍尔特（James Bornholt）、埃米娜·托拉克（Emina Torlak）、丹·格罗斯曼（Dan Grossman）和路易斯·塞兹（Luis Ceze）。2016。使用元草图优化合成。第43届ACM SIGPLAN-SIGACT编程语言原理研讨会（POPL’16）会议记录。美国纽约计算机械协会，775–788。编号：9781450335492https://doi.org/10.1145/2837614.2837666

数字图书馆

[7]

斯蒂芬·博伊德和利文·范登伯格。2004.凸优化。美国剑桥大学出版社：0521833787

[8]

格雷戈里·查廷（Gregory J.Chaitin）。1975年，程序大小理论与信息理论形式上相同。J.ACM，22，3（1975），7月，329-340。编号：0004-5411https://doi.org/10.1145/321892.321894

数字图书馆

[9]

Yiyang Chang、Sanjay Rao和Mohit Tawarmalani。2017年，不确定需求和故障下网络设计的稳健验证。在第14届USENIX网络系统设计与实现（NSDI）研讨会上。347–362.

[10]

斯瓦拉特·乔杜里（Swarat Chaudhuri）、马丁·克罗查德（Martin Clochard）和阿曼多·索拉勒扎马（Armando Solar-Lezama）。2014.使用平滑证明搜索桥接布尔和定量合成。第41届ACM SIGPLAN-SIGACT编程语言原理研讨会（POPL’14）会议记录。计算机械协会，美国纽约州纽约市207–220。编号：9781450325448https://doi.org/10.1145/2535838.2535859

数字图书馆

[11]

艾米莉·丹纳（Emilie Danna）、Subhasree Mandal和阿琼·辛格（Arjun Singh）。2012年。用于平衡流量工程中最大最小公平性和吞吐量目标的实用算法。2012年IEEE INFOCOM会议记录。846–854. https://doi.org/10.109/INFCOM.2012.6195833

[12]

莱昂纳多·门登萨·德·莫拉和尼古拉·比约纳。2008年。Z3：高效的SMT解决方案。在TACAS'08（LNCS，第4963卷）中。施普林格，337-340。编号：978-3-540-78799-0https://doi.org/10.1007/978-3-540-78800-3_24

[13]

托马斯·迪特里奇（Thomas G.Dietterich）。2000年，《机器学习中的集成方法》。计算机科学课堂讲稿，1-15。isbn:9783540450146 issn:0302-9743https://doi.org/10.1007/3-5440-45014-9_1

[14]

达娜·德拉赫斯勒-科恩（Dana Drachsler-Cohen）、莎朗·肖姆（Sharon Shoham）和埃兰·雅哈（Eran Yahav）。2017.摘要实例的合成。在计算机辅助验证中，Rupak Majumdar和Viktor Kunčak（编辑）。施普林格国际出版公司，Cham。254–278. 国际标准编号：978-3-319-63387-9

[15]

Ian Drosos、Titus Barik、Philip J.Guo、Robert DeLine和Sumit Gulwani。2020年，Wrex：为数据科学家合成可读代码的统一编程示例交互。《2020年CHI计算机系统人为因素会议论文集》（CHI'20）。美国纽约州纽约市计算机协会1–12。编号：9781450367080https://doi.org/10.1145/3313831.3376442

数字图书馆

[16]

Ahmed El-Hassany、Petar Tsankov、Laurent Vanbever和Martin Vechev。2017.网络范围配置综合。在计算机辅助验证中，Rupak Majumdar和Viktor Kunčak（编辑）。施普林格国际出版公司，Cham。261–281. 国际标准编号：978-3-319-63390-9

[17]

Ahmed El-Hassany、Petar Tsankov、Laurent Vanbever和Martin Vechev。2018.NetComplete：具有自动完成功能的实用网络范围配置合成。在第15届USENIX网络系统设计与实现研讨会上（NSDI 18）。华盛顿州伦顿USENIX协会。579–594. 编号：978-1-931971-43-0https://www.usenix.org/conference/nsdi18/presentation/el-hassany

[18]

B.Fortz和M.Thorup。2000.通过优化OSPF权重进行互联网流量工程。在INFOCOM 2000中。IEEE计算机和通信协会第十九届年度联合会议。诉讼程序。IEEE标准。519–528.

[19]

Gao Xiangyu、Taegyun Kim、Aatish Kishan Varma、Anirudh Sivaraman和Srinivas Narayana。2019.使用程序合成自动生成快速数据包处理代码。第18届ACM网络热点专题研讨会论文集（HotNets’19）。计算机协会，美国纽约州纽约市，150–160。编号：9781450370202https://doi.org/10.1145/3365609.3365858

数字图书馆

[20]

Pranav Garg、Christof Löding、P.Madhusudan和Daniel Neil。2014.ICE：学习不变量的强大框架。在CAV’14中。69–87. https://doi.org/10.1007/978-3-319-08867-9_5

数字图书馆

[21]

沃尔特·高奇。1997年。数值分析：简介。Birkhäuser，第215页。

[22]

A.Ghosh、Sangtae Ha、E.Crabbe和J.Rexford。2013.数据中心主干网络中的可扩展多类流量管理。IEEE通讯选定领域杂志，31（2013），2673–2684。

[23]

Sumit Gulwani、Kunal Pathak、Arjun Radhakrishna、Ashish Tiwari和Abhishek Udupa。2019.通过实例进行定量规划。阿西夫：1909.05964。

[24]

Gurobi Optimization有限责任公司。2020年古罗比优化器参考手册。网址：http://www.gurobi.com

[25]

Nikola Gvozdiev、Stefano Vissicchio、Brad Karp和Mark Handley。2018年。关于低速拓扑及其对域内路由设计的影响。《2018年ACM数据通信特别利益小组会议记录》（SIGCOMM’18）。美国纽约州纽约市计算机协会88–102。编号：9781450355674https://doi.org/10.1145/3230543.3230575

数字图书馆

[26]

Chi-Yao Hong、Srikanth Kandula、Ratul Mahajan、Ming Zhang、Vijay Gill、Mohan Nanduri和Roger Wattenhofer。2013.通过软件驱动的广域网实现高利用率。《2013年ACM SIGCOMM SIGCCOMM会议记录》（SIGCOMM'13）。ACM，美国纽约州纽约市，15-26。国际标准编号：978-1-4503-2056-6https://doi.org/10.1145/2486001.2486012

数字图书馆

[27]

胡秦和平和洛丽斯·德安东尼。2018年。句法指导合成，具有定量句法目标。在计算机辅助验证中，Hana Chockler和Georg Weissenbacher（编辑）。施普林格国际出版公司，Cham。386–403. 国际标准编号：978-3-319-96145-3

[28]

Sushant Jain、Alok Kumar、Subhasree Mandal、Joon Ong、Leon Poutievski、Arjun Singh、Subbaiah Venkata、Jim Wanderer、Junlan Zhou、Min Zhu等，2013年。B4：具有全球部署软件定义Wan的经验。SIGCOMM计算。Commun公司。修订版，43，4（2013），8月3日至14日。发行编号：0146-4833https://doi.org/10.1145/2534169.2486019

数字图书馆

[29]

Susmit Jha、Sumit Gulwani、Sanjit A.Seshia和Ashish Tiwari，2010年。基于Oracle-Guided组件的程序合成。在第32届ACM/IEEE国际软件工程会议论文集第1卷（ICSE'10）。计算机械协会，美国纽约州纽约市，215–224。国际标准编号：9781605587196https://doi.org/10.1145/1806799.1806833

数字图书馆

[30]

Susmit Jha和Sanjit A.Seshia。2017年，通过归纳学习的形式合成理论。《信息学报》，54,7（2017），693-726年2月。发行编号：1432-0525https://doi.org/10.1007/s00236-017-0294-5

数字图书馆

[31]

季如一、梁晶晶、熊英飞、张璐、胡镇江，2020年。交互式程序合成的问题选择。第41届ACM SIGPLAN编程语言设计与实现会议记录（PLDI 2020）。计算机械协会，美国纽约州纽约市1143–1158。编号：9781450376136https://doi.org/10.1145/3385412.3386025

数字图书馆

[32]

川江、桑杰·饶和莫希特·塔瓦马拉尼。2020年，PCF：弹性十足的灵活路由。ACM计算机通信应用、技术、架构和协议数据通信特别兴趣小组年度会议记录（SIGCOMM’20）。计算机械协会，美国纽约州纽约市139–153。编号：9781450379557https://doi.org/10.1145/3387514.3405858

数字图书馆

[33]

S.Knight、H.X.Nguyen、N.Falkner、R.Bowden和M.Roughan。2011年，互联网拓扑动物园。IEEE通讯选定领域杂志，29,9（2011），1765-1775年10月。发行编号：1558-0008https://doi.org/10.1109/JSAC.2011.111002

[34]

Alok Kumar、Sushant Jain、Uday Naik、Anand Raghuraman、Nikhil Kasindahuni、Enrique Cauich Zermeno、C.Stephen Gunn、Jing Ai、Björn Carlin、Mihai Amarandei-Stavila等，2015年。BwE：用于广域网分布式计算的灵活、分层带宽分配。SIGCOMM计算。Commun公司。第45版，第4版（2015年），8月1日至14日。发行编号：0146-4833https://doi.org/10.1145/2829988.2787478

数字图书馆

[35]

Praveen Kumar、Yang Yuan、Chris Yu、Nate Foster、Robert Kleinberg、Petr Lapukhov、Chiun Lin Lim和Robert Soulé。2018年，《半疏忽交通工程：未采取的道路》。在第15届USENIX网络系统设计与实现研讨会上（NSDI 18）。华盛顿州伦顿USENIX协会。157–170. 编号：978-1-939133-01-4https://www.usenix.org/conference/nsdi18/presentation/kumar（网址：https://www.usenix.org/conference/nsdi18/presentation/kumar）

数字图书馆

[36]

Yi Li、Aws Albarghouthi、Zachary Kincaid、Arie Gurfinkel和Marsha Chechik。2014.使用SMT求解器进行符号优化。第41届ACM SIGPLAN-SIGACT编程语言原理研讨会（POPL’14）会议记录。计算机械协会，美国纽约州纽约市607–618。编号：9781450325448https://doi.org/10.1145/2535838.2535857

数字图书馆

[37]

洪强·哈里·刘、斯里坎思·坎杜拉、拉图尔·马哈扬、张明和大卫·盖伦特。2014.前方故障修正交通工程。2014年ACM SIGCOMM会议记录（SIGCOMM'14）。美国纽约州纽约市计算机协会，527-538。编号：9781450328364https://doi.org/10.1145/2619239.2626314

数字图书馆

[38]

米卡·迈耶、古斯塔沃·索亚雷斯、马克西姆·格雷奇金、武勒、马克·马龙、奥列克桑德·波洛佐夫、里沙布·辛格、本杰明·佐恩和苏米特·古尔瓦尼。2015.示例编程中消除歧义的用户交互模型。第28届ACM用户界面软件与技术年度研讨会（UIST’15）会议记录。计算机械协会，美国纽约州纽约市291–301。编号：9781450337793https://doi.org/10.1145/2807442.2807459

数字图书馆

[39]

杰迪迪亚·麦克卢格、侯赛因·霍贾特、内特·福斯特和帕沃尔·乔恩。2016.事件驱动网络编程。第37届ACM SIGPLAN编程语言设计与实现会议记录（PLDI’16）。计算机械协会，美国纽约州纽约市369–385。编号：9781450342612https://doi.org/10.1145/2908080.2908097

数字图书馆

[40]

杰迪迪亚·麦克卢格、侯赛因·霍贾特、帕沃尔·乔恩和内特·福斯特。2015年，网络更新的高效综合。第36届ACM SIGPLAN编程语言设计与实现会议记录（PLDI’15）。计算机械协会，美国纽约州纽约市196–207。编号：9781450334686https://doi.org/10.1145/2737924.2737980

数字图书馆

[41]

Kaisa Miettinen、Francisco Ruiz和Andrzej P.Wierzbicki。2008年，《多目标优化导论：交互式方法》。在《多目标优化：交互与进化方法》一书中，Jürgen Branke、Kalyanmoy Deb、Kaisa Miettinen和Roman Słowiński（编辑）。施普林格-柏林-海德堡，柏林，海德堡。27-57。国际标准编号：978-3-540-88908-3https://doi.org/10.1007/978-3-540-88908-3_2

数字图书馆

[42]

希拉·佩莱、莎伦·肖姆和埃兰·雅哈。2018.编程不仅仅是示例。第40届国际软件工程会议（ICSE’18）论文集。计算机械协会，美国纽约州纽约市，1114-1124。编号：9781450356381https://doi.org/10.1145/3180155.3180189

数字图书馆

[43]

列奥尼德·雷日克（Leonid Ryzhyk）、尼古拉·比约纳（Nikolaj Björner）、马可·卡尼尼（Marco Canini）、珍妮·巴蒂斯特·珍妮（Jean-Baptiste Jeannin）、科尔·施莱辛格（Cole Schlesinger）、道格拉斯·特里（Douglas B.Ter。2017年，施工网络使用逐步细化进行纠正。第14届USENIX网络系统设计与实现研讨会（NSDI 17）。USENIX协会，马萨诸塞州波士顿，683–698。国际标准编号：978-1-931971-37-9https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/ryzhyk

[44]

Shambwaditya Saha、Santhosh Prabhu和P.Madhusudan。2015年，NetGen:综合网络政策的数据平面配置。在第一届ACM SIGCOMM软件定义网络研究研讨会（SOSR’15）的会议记录中。美国纽约州纽约市ACM第17条，共6页。国际标准编号：978-1-4503-3451-8https://doi.org/10.1145/2774993.2775006

数字图书馆

[45]

埃里克·施库夫扎（Eric Schkufza）、拉胡尔·夏尔马（Rahul Sharma）和亚历克斯·艾肯（Alex Aiken）。2013.随机超优化。《第十八届国际编程语言和操作系统体系结构支持会议记录》（ASPLOS’13）。ACM，美国纽约州纽约市305–316。编号：978-1-4503-1870-9https://doi.org/10.1145/2451116.2451150

数字图书馆

[46]

埃里克·施库夫扎（Eric Schkufza）、拉胡尔·夏尔马（Rahul Sharma）和亚历克斯·艾肯（Alex Aiken）。2014.浮点程序的随机优化，精度可调。第35届ACM SIGPLAN编程语言设计与实现会议论文集（PLDI’14）。美国纽约州纽约市ACM，53-64。国际标准编号：978-1-4503-2784-8https://doi.org/10.1145/2594291.2594302

数字图书馆

[47]

毛刺消失。2012.主动学习。人工智能和机器学习综合讲座，6，1（2012），1–114。https://doi.org/10.2200/S00429ED1V01Y201207AIM018arxiv公司：https://doi.org/10.2200/S00429ED1V01Y201207AIM018。

[48]

H.S.Seung、M.Opper和H.Sompolinsky。1992年。委员会提出的问题。第五届计算学习理论年度研讨会论文集（COLT’92）。美国纽约州纽约市计算机机械协会，第287–294页。编号：089791497Xhttps://doi.org/10.1145/130385.130417

数字图书馆

[49]

史磊（Lei Shi）、李亚辉（Yahui Li）、布恩·陶鲁（Boon Thau Loo）和拉杰夫·阿鲁尔（Rajeev Alur）。2021.按计划综合的网络流量分类。Jan Friso Groote和Kim Guldstrand Larsen（编辑）在《系统构建和分析的工具和算法》中发表。施普林格国际出版公司，Cham。430–448. 国际标准编号：978-3-030-72016-2

[50]

Anirudh Sivaraman、Alvin Cheung、Mihai Budiu、Changhoon Kim、Mohammad Alizadeh、Hari Balakrishnan、George Varghese、Nick McKeown和Steve Licking。2016.分组事务：线速交换机的高级编程。2016年ACM SIGCOMM会议记录（SIGCOMM'16）。计算机协会，美国纽约州纽约市，15-28。编号：9781450341936https://doi.org/10.1145/2934872.2934900

数字图书馆

[51]

阿曼多·索拉尔·勒扎马（Armando Solar-Lezama）。2016年，《素描程序员手册》。版本1.7.2

[52]

Armando Solar-Lezama、Liviu Tancau、Rastislav Bodik、Sanjit Seshia和Vijay Saraswat。2006.有限程序的组合草图绘制。在ASPLOS’06。美国医学会，404–415。

[53]

罗伯特·索莱（Robert Soulé）、什鲁塔西·巴苏（Shrutarshi Basu）、帕里萨·贾利利·马兰迪（Parisa Jalili Marandi）、费尔南多·佩多内（Fernando Pedone）、罗伯特·克莱恩伯格（Robert Kleinberg）、埃敏·贡·塞勒。2014.梅林：一种提供网络资源的语言。第十届ACM国际新兴网络实验和技术会议论文集（CoNEXT’14）。ACM，美国纽约州纽约市213–226。国际标准编号：978-1-4503-3279-8https://doi.org/10.1145/2674005.2674989

数字图书馆

[54]

Rayadurgam Srikant公司。2004年，《互联网拥塞控制数学》（系统与控制：基础与应用）。SpringerVerlag。编号：0817632271https://doi.org/10.1007/978-0-8176-8216-3

[55]

塞缪尔·斯特芬（Samuel Steffen）、蒂蒙·盖尔（Timon Gehr）、彼得·赞科夫（Petar Tsankov）、劳伦特·范贝弗（Laurent Vanbever）和马丁·维切夫（Martin Vechev）。2020.网络配置的概率验证。ACM计算机通信应用、技术、架构和协议数据通信特别兴趣小组年度会议记录（SIGCOMM’20）。计算机械协会，美国纽约州纽约市750–764。isbn:9781450379557https://doi.org/10.1145/3387514.3405900

数字图书馆

[56]

Kausik Subramanian、Anubhavnidhi Abhashkumar、Loris D'Antoni和Aditya Akella。2020年，检测分布式控制平面的网络负载违规。第41届ACM SIGPLAN编程语言设计与实现会议记录（PLDI 2020）。计算机械协会，美国纽约州纽约市，974–988。编号：9781450376136https://doi.org/10.1145/3385412.3385976

数字图书馆

[57]

考西克·苏布拉曼尼亚（Kausik Subramanian）、洛里斯·德安东尼（Loris D'Antoni）和阿迪蒂亚·阿凯拉（Aditya Akella）。2017年，Genesis：在多租户网络中合成转发表。第44届ACM SIGPLAN编程语言原理研讨会会议记录（POPL 2017）。美国纽约州纽约市ACM，572-585。国际标准编号：978-1-4503-4660-3https://doi.org/10.1145/3009837.3009845

数字图书馆

[58]

帕沃尔·乔恩和托马斯·汉津格。2011.从布尔到定量合成。第九届ACM嵌入式软件国际会议论文集（EMSOFT’11）。美国纽约州纽约市计算机协会149–154。编号：9781450307147https://doi.org/10.1145/2038642.2038666

数字图书馆

[59]

Yi Wang、Ioannis Avramopoulos和Jennifer Rexford。2009.可配置性设计：从头开始重新思考域间路由策略。IEEE通讯选定领域杂志，27，3（2009），336–348。https://doi.org/10.109/JSAC.2009.090409

数字图书馆

[60]

王燕君、姜川、邱晓康和饶三杰。2019.使用课程综合法学习网络设计目标。第18届ACM网络热点专题研讨会论文集（HotNets’19）。ACM，美国纽约州纽约市69–76。编号：978-1-4503-7020-2https://doi.org/10.1145/3365609.3365861

数字图书馆

[61]

王烨、王浩、阿杰·马希姆卡、理查德·阿利米、张茵、邱丽丽和杨理查德·杨。2010年R3：弹性路由重新配置。ACM SIGCOMM 2010年会议记录（SIGCOMM'10）。美国纽约州纽约市计算机协会，291-302。编号：9781450302012https://doi.org/10.1145/11851182.18511218

数字图书馆

[62]

Yifei Yuan、Dong Lin、Rajeev Alur和Boon Thau Loo。2015年，基于场景的SDN政策规划。在第11届ACM新兴网络实验与技术会议论文集（CoNEXT'15）。美国纽约州纽约市ACM第34条，共13页。isbn:978-1-4503-3412-9https://doi.org/10.1145/2716281.2836119

数字图书馆

索引术语

比较综合：通过查询学习近最优网络设计

建议

用亚甲基酮优化合成
流行'16

许多高级编程工具（对于最终用户和专家开发人员来说）都依赖于程序合成，以自动从高级规范生成实现。这些工具通常需要使用复杂的、定制的合成算法。。。
阅读更多信息
反应合成和语法引导合成能成为朋友吗？
2021年SPLASH指南：2021年ACM SIGPLAN系统、编程、语言和应用国际会议的指南：人性化软件

虽然近年来反应合成和合成导向合成（SyGuS）取得了巨大进展，但将这两种方法结合起来仍然是一个挑战。在这项工作中，我们提出了从时序流逻辑合成反应性程序。。。
阅读更多信息
反应合成和语法引导合成能成为朋友吗？
PLDI 2022:第43届ACM SIGPLAN编程语言设计与实现国际会议论文集

虽然近年来反应合成和合成导向合成（SyGuS）取得了巨大进展，但将这两种方法结合起来仍然是一个挑战。在这项工作中，我们提出了从时序流逻辑合成反应性程序。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片美国计算机学会编程语言会议录

美国计算机学会程序设计语言会议录第7卷，第POPL期

2023年1月

2196页

EISSN公司：2475-1421

内政部：10.1145/3554308

编辑：

版权所有©2023所有者/作者。

本作品根据Creative Commons Attribution 4.0国际许可证授权。

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2023年1月11日

在PACMPL中发布体积7,发行POPL公司

权限

请求对此文章的权限。

检查更新

徽章

评估的工件和功能/v1.1

作者标记

限定符

研究文章

资金来源

美国国家科学基金会

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

0
引文总数
355
下载总量

下载次数（过去12个月）263
下载次数（最近6周）33

其他指标

查看作者指标

引文

视图选项

查看选项

PDF格式

以PDF文件的形式查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此文章

媒体

数字

其他

桌子

查看问题目录