《SPLASH Companion 2023》: 葡萄牙卡斯凯斯
瓦斯科红花 :
2023年ACM SIGPLAN系统、编程、语言和应用程序国际会议相关会议记录:人类软件,SPLASH 2023,葡萄牙卡斯凯斯,2023年10月22-27日。 ACM公司 2023 安德烈·佩西穆斯 :
动态语言的远程实时编译。 1-3 如意记 :
将程序综合扩大到高效算法。 4-6 弗朗西斯科·里贝罗 :
自动程序修复的大型语言模型。 7-9 路易斯·戈麦斯 :
将想法转化为代码:ML开发的可视化草图。 10-12 路易斯·卡瓦略 :
Python程序的语义版本控制。 13-15 托比亚斯·罗斯 :
重用单语分析进行多语言程序的静态分析。 16-18 布瑞丹·康斯丁 :
语法修复的语用方法。 19-21 詹氏 :
部分渐进依赖型理论。 22-24 Marta Davila Mateu女士 :
通过数据流约束合成递归程序。 25-27 杰西·胡伯格斯 :
模块化教育语言。 28-30 朱莉娅·弗里曼 , 蒂莫西·周 :
历史学家:具有最小锁的强一致分布式反应式编程。 31-33 卡特里娜·威尔逊 :
清理痕迹:开源维护工作的动机。 34-36 安东尼奥·泽加雷利 :
动态策略方面的设计和实现。 37-39 Phipathananunth综合征 :
Wigderson算法的形式化验证。 40-42 叶浩林 :
使用MaxSAT-Solver的最优结构感知代码差分框架。 43-45 Raven Rothkopf公司 :
罗斯:网络上的可扩展Autodiff。 46-48 米哈伊尔·巴拉什 , 尤利娅·斯特塞夫 , 罗尔夫·马丁·格洛姆斯鲁德 :
让用户参与广泛使用的语言设计:ECMAScript(JavaScript)标准化案例。 49-50 八度律 :
动态库分区。 51-52 亚当·韦尔克 , 萨姆·布莱克希尔 :
隋移:用对象进行现代区块链编程。 53-55 马图斯·苏利尔 , 米兰诺萨尔 :
JaMaBuild:Java项目的大规模构建。 56-57 大卫·斯皮尔曼 , 丹尼尔·索科洛夫斯基 , 吉多·萨尔瓦内奇 :
基础结构作为代码的可扩展测试。 58-60 岩泽优介 , 川本纯一郎 , Hidetsugu Irie公司 , 水池酒井 :
基于芯片的无线连接计算机的功能反应式编程语言。 61-62 大卫·H·洛伦兹 , Ofir Shmuel公司 :
ReactCOP:使用面向上下文编程进行模块化和可扩展的Web开发。 63-64 米尔科·科勒 , 吉多·萨尔瓦内奇 :
以数据为中心和以操作为中心的一致性的安全组合。 65-67 克努特·安德斯·斯托克 , 米哈伊尔·巴拉什 , 贾科·贾尔维 :
面向可重用GUI结构。 68-69 里朱尔·贾恩 , Wode Ni公司 , 约书亚阳光 :
为使用大型语言模型编写图表生成特定于域的程序。 70-71