7 位大牛获奖！ACM 公布软件系统奖、卡内拉克斯理论与实践奖、艾伦·纽厄尔奖三项大奖

来源 | 学术头条（ID:SciTouTiao）

头图 | ACM 官网 

2020年5月20日，计算机协会（Association for Computing Machinery）宣布了三项著名技术奖的获得者。这些获奖者由同行选出，旨在表彰他们为计算机技术创新所做出的贡献。

ACM 软件系统奖

ACM 软件系统奖主要颁发给开发出具有长远影响力软件系统的机构或个人，这些影响体现在对概念的贡献，商业价值或两者兼有之。软件系统奖的奖金为 35,000 美元，由 IBM 公司提供资金支持。

开发域名系统（DNS）的 ThreatSTOP 首席科学家 Paul Mockapetris 获得了 ACM 软件系统奖。DNS 主要提供全球分布式目录服务，是全球互联网功能的重要组成部分。

Paul Mockapetris 获得 ACM 软件系统奖 图源：ACM官网

在上个世纪 80 年代初，互联网在线社区主要通过集中管理目录将计算机主机名与 IP 地址相匹配。随着互联网的高速发展，维护单个集中式主机目录变得缓慢而低效，因此需要新的可扩展架构。为满足这一需求，Paul Mockapetris 于 1983 年设计并构建域名系统（DNS），同时创建了相关查询协议，服务器实现和初始根服务器。

在 Paul Mockapetris 开发 DNS 之时，每天有数千个用于建立关联 IP 地址的名称查找。如今，DNS 仍然使用 37 年前构建的核心组件，但已管控 3.5 亿个单独管理的域，且每天响应数百亿次查询。

DNS 已成为许多应用程序（包括电子邮件和网址）的基础。万维网的核心组件通用资源定位器（URL）和通用资源标识符（URI），也依赖 DNS 系统中引入的域名。虽然其他开发者已为 DNS 添加许多新功能，但 Paul Mockapetris 创建的原始架构可以合并这些新的功能，证明了其开发工作的价值。

卡内拉克斯理论与实践奖

卡内拉克斯理论与实践奖旨在表彰对计算实践产生重大影响的特定理论成就。该奖项的奖金为 10,000 美元，由卡内拉克斯家族提供，并由计算机协会的算法和计算理论特别兴趣小组（SIGACT）、设计自动化（SIGDA），数据管理（SIGMOD）、编程语言（SIGPLAN），ACM SIG 项目基金以及个人捐款提供额外资金支持。

来自普林斯顿大学和特拉维夫大学的 Noga Alon、卡内基梅隆大学的 Phillip Gibbons、谷歌和特拉维夫大学的 Yossi Matias、罗格斯大学的 Mario Szegedy 共同获得卡内拉克斯理论与实践奖。他们为流算法（streaming algorithms）及其大规模数据分析应用做出了开创性工作。

图源：ACM官网

Noga Alon、Phillip Gibbons、Yossi Matias 和 Mario Szegedy 率先提出一种用于处理大规模海量数据集的算法框架。目前，他们的 Sketch 算法和流算法仍是流式传输大数据的核心方法，且构成算法领域中的整个子区域。此外，他们所引入的 sketch 和概要（synopses）概念如今已常用于数据库中的各种数据分析、网络监控、互联网产品使用情况分析，自然语言处理和机器学习。

在他们的开创性论文 "The Space Complexity of Approximating the Frequency Moments"中， Alon、Matias 和 Szegedy 为使用有限内存分析数据流奠定了基础。

后续论文，包括由 Alon、Gibbons、Matias 和 Szegedy 完成的 "Tracking Join and Self-join Sizes in Limited Storage"，以及由 Gibbons、Matias 完成的"New Sampling-Based Summary Statistics for Improving Approximate Query Answers"，扩展了数据概要的概念，并在流媒体和草图算法这一新兴领域的发展中发挥了重要作用。这项工作已经应用于数据库中的查询规划和处理，以及用于监控网络中生成的大量数据的小型概要的设计。

ACM – AAAI 艾伦·纽厄尔奖

ACM – AAAI 艾伦·纽厄尔奖颁发给那些在计算机科学领域或在计算机科学和其他学科之间起到桥梁作用的贡献者。艾伦·纽厄尔奖的 1 万美元奖金由 ACM 和美国人工智能促进会(AAAI)以及个人捐款提供。

莱斯大学的 Lydia E. Kavraki，斯坦福大学的 Daphne Koller，获得 ACM – AAAI 艾伦. 纽厄尔奖。

图源：ACM官网

Lydia Kavraki 因其在机器人运动规划方面的开创性贡献而受到认可，包括随机运动规划算法和概率路线图的发明，以及在生物信息学和生物医学方面的应用。

Kavraki 在物理算法方面进行了基础性工作，并开发了高效的高维搜索框架，这些框架影响了机器人技术(运动规划、混合系统、机器人学形式化方法、装配规划以及微灵活操作)，以及计算结构生物学、转化生物信息学和生物医学信息学。

Kavraki 已经撰写了超过 240 篇经过同行评审的出版物，也是广泛使用的机器人技术教科书《机器运动原理（Principles of Robot Motion）》的作者之一。她的开创性论文"Probabilistic Roadmaps for Path Planning in High Dimensional Configuration Spaces" ，是第一个建立用于开发高维空间路线图的概率方法的论文，这已成为复杂物理系统的运动规划的关键技术之一。

Kavraki 的贡献超越了机器人技术，还解决了蛋白质功能解读、代谢网络的理解以及分子构象和蛋白质灵活性研究背后的问题。她研究的问题包括生物分子的三维结构及其与其他生物分子相互作用的能力，主要用于药物设计，以及最近用于个性化癌症免疫治疗。

Daphne Koller 因其对机器学习和概率模型的开创性贡献、将这些技术应用于生物学和人类健康以及对民主化教育的贡献而被认可。

Koller 是图形模型开发和使用的领导者，包括学习模型结构及其参数，并率先统一了统计学习和关系建模语言。她还开发了在时间模型中进行推理和学习的基本方法。她的教科书(与 Nir Friedman 合著)《概率图模型（Probabilistic Graphical Models）》是这一领域的权威著作。

作为将机器学习方法引入生命科学的早期领导者，她开发了模块网络，她和她的同事利用基因调控程序中的模块性来建立一个有效的基因活动模型。她开发了机器学习在病理学上的突破性应用，这项工作不仅证明了机器学习的能力超过了人类病理学家，而且也是第一个强调间质组织在癌症预后中的重要性(现在已得到广泛认可)的工作之一。

Koller 也是 Coursera 的联合创始人和前联合首席执行官，Coursera 是一个向世界各地的人们提供顶尖大学免费教育的平台，创立八年来，已经触及了世界各国 5000 多万学习者的生活。Koller 目前是 Insitro 的创始人兼首席执行官，Insitro 是一家生物技术初创公司，致力于通过大规模整合机器学习和生物学来发现更好的药物。

关于 ACM

计算机科学协会（ACM）是世界上最大的教育和科学计算机学会，它将计算机教育工作者、研究人员和专业人士联合起来，以激发对话、共享资源并应对该领域的挑战。ACM 通过强大的领导力、最高标准的推广以及对技术卓越的认可，增强了计算机行业的集体声音。ACM 通过提供终身学习、职业发展和专业网络的机会来支持其成员的专业成长。

参考资料：
https://awards.acm.org/software-system
https://awards.acm.org/kanellakis
https://awards.acm.org/newell

【End】

更多精彩推荐
☞50 岁程序员创业说：两个月提交 50 个 PR，三个月内融资 2000 万美元
☞平安科技王健宗：所有 AI 前沿技术，都可以在联邦学习中大展身手！
☞踢翻这碗狗粮：程序员花 7 个月敲出 eBay，只因女票喜欢糖果盒！
☞我佛了！用KNN实现验证码识别，又 Get 到一招！
☞如何使用 SQL Server FILESTREAM 存储非结构化数据？这篇文章告诉你！
☞加密价格更新周期：看似杂乱无章，实际内藏玄机
你点的每个“在看”，我都认真当成了喜欢