​ACM新闻- CCF简报：2021年9月

头条

ACM Focus是探索ACM内容并与之交互的一个全新途径

ACM Focus 是探索ACM内容的广度和多样性，并在技术社区中紧跟最新趋势的一个全新途径。ACM Focus由一组人工智能按主题精选的自定义资讯组成，每则资讯提供一组最新的与ACM相关的焦点内容。这些高层面、基于主题的原创精选资讯对相关ACM活动、人员、演讲和各种已发表的作品提供了概要介绍。目前的主题领域包括人工智能、信息系统、网络、社会与计算机专业、应用计算、图形学与计算机辅助设计、网络和通讯、架构、硬件、人机交互、安全和隐私、软件工程与编程语言和计算理论。这些资讯以自动化方式进行构建，并在用户与之交互时进行优化。

奖项

呼吁提名法兰西斯·艾伦导师奖

ACM宣布了一个新的奖项，该奖项旨在表彰为培养计算机专业人士提供指导的杰出人士。ACM法兰西斯·艾伦杰出导师奖重点关注在指导来自多元社区的学生和年轻专业人士方面所作出的贡献。请为该促进计算机多样性的奖项提名一位名至实归的人选。 提名截止至12月15日。

ACM SIGACT宣布2021年高德纳（Knuth）和哥德尔（Gödel）奖得主

ACM算法与计算理论兴趣组（ACM SIGACT）最近宣布，莱斯大学的Moshe Vardi获得了2021年高德纳奖，以表彰其将数学逻辑应用于计算机科学的多个基础领域所做出的杰出贡献。ACM SIGACT还宣布，有5名研究人员荣获2021年哥德尔奖，他们分别是：西蒙弗雷泽大学的Andrei Bulatov、利兹大学Martin E. Dyer、埃塞克斯大学David Richerby、威斯康星大学麦迪逊分校Jin-Yi Cai以及哥伦比亚大学Xi Chen，以表彰他们在理论计算机科学的重要领域约束满足方面所做出的贡献。阅读ACM新闻稿。

伊利诺伊大学香槟分校毕业生获得ACM博士论文奖

来自麻省理工学院的范楚楚凭借着题为“安全自主性的形式方法：数据驱动的验证、综合和应用”的论文，获得2020年ACM博士论文奖。 范博士的论文为嵌入式和网络物理系统的验证作出了奠基性贡献，并证明了已开发的验证技术在工业规模系统中的适用性。她的论文推进了敏感性分析和符号化可达性的理论，并开发了相关的验证算法和软件工具（DryVR、Realsyn）。该论文的主要贡献包括第一个提出使用灵敏度分析的非线性混合系统有界验证的数据驱动算法。

2020年ACM博士论文荣誉提名奖授予麻省理工学院的Henry Corrigan-Gibbs和麻省理工学院马克斯·普朗克软件系统研究所的Ralf Jung。Corrigan-Gibbs的论文标题为“通过分裂信任来保护隐私”，该论文利用理论和实践相结合的技术改进了互联网上的用户隐私保护。Jung的论文标题为“理解和发展Rust编程语言”,在创新编程语言Rust中为安全系统编程奠定了第一个正式基础。

2020年博士论文奖获得者将于10月23日在旧金山举行的ACM年度颁奖晚宴上获得正式表彰。博士论文奖奖金为20,000美元，荣誉提名奖奖金为10,000美元。阅读ACM新闻稿。

学生新闻

ACM 学生研究竞赛总决赛优胜者

以下为由微软赞助的ACM学生研究竞赛（SRC）总决赛获奖名单。每届学生研究竞赛均分为两轮，最终在总决赛中分出胜负。所有该年度内学生研究竞赛的本科生和研究生优胜者将进入研究竞赛总决赛，然后将由不同的评审小组通过网络对其进行评估。本年度的学生研究竞赛总决赛获奖者是：

研究生类别：

第一名：Jiaqi Gu，德克萨斯大学奥斯汀分校，“人工智能中的光：基于光学神经网络的高效神经形态计算”(ICCAD 2020)

第二名：Konstantinos Kallas，宾夕法尼亚大学 ,“数据并行Shell脚本编程” (POPL 2021)

第三名：Guyue Huang，清华大学，“基于自适应负载平衡和并行规约的高效稀疏矩阵核” (SIGMICRO 2020)

本科生类别：

第一名：Thomas McHugh，西北大学，“通过社区驱动的辅助技术设计构建机构和可用性” (ASSETS 2020)

第二名：Chuangtao Chen，浙江大学，“最佳近似浮点乘法器”(ICCAD 2020)

第三名：Rakshit Mittal，皮拉尼比尔拉理工学院，“采用着色Petri网对线程级并行转换的编译验证”(PLDI 2020) 

即将举行的ACM学生研究竞赛:提交截止日期

更多竞赛详情请查阅SRC提交页面和SRC学生指南。

学习中心

ACM ByteCast访谈

在ACM的ACM ByteCast播客系列当中，主持人Rashmi Mohan将采访那些处于计算研究和实践交叉领域的研究者、从业者和创新者。最近采访的人士包括Oxide Computer Company的联合创始人兼首席技术官Bryan Cantrill，和Spotify研究主管兼个性化技术研究主管Mounia Lalmas。最新一期的嘉宾是俄亥俄州立大学工程学院院长Ayanna Howard，同时她也是Zyrobotics的创始人兼董事会主席。
您可以在这里收听最近的ByteCasts播客节目。

ACM 技术对话

欢迎ACM成员和非成员参加我们广受欢迎的免费技术对话系列活动，该活动邀请业界专家、杰出的ACM奖项得主以及来自工业界和学术界的具有远见卓识的研究者。最近的ACM技术对话：

6月7日：从数据中学习：两种文化，嘉宾是Shirley Ho，她是Flatiron研究所计算天体物理中心代理主任

7月9日：从数据中学习：两种文化，嘉宾是Adji Bousso Dieng，她是“The Africa I Know”的创始人、谷歌研究员、普林斯顿大学计算机科学助理教授。

8月11日： 在Windows上运行Linux应用程序:如何做？为什么这么做？嘉宾是微软Web开发人员Scott Hanselman

9月9日： 量子计算霸权，嘉宾是Scott Aaronson，他是德克萨斯大学奥斯汀分校计算机科学教授、2020年ACM计算奖得主

即将举行的会议

2021年ACM国际多媒体会议（ACMMM），10月20-24日，成都 

ACM国际多媒体会议让来自学术界和工业界的研究人员和实践者齐聚一堂，展示创新的研究成果并讨论最新进展。研讨会将涵盖智能电视内容的制作、获取和分发；城市数据计算；以人为中心的多媒体分析等等。主讲嘉宾包括高文（北京大学和鹏城实验室）、H.V.Jagadish（密歇根大学）、Cordelia Schmid（INRIA和谷歌）、James Lester（北卡罗来纳州立大学）、张正友（腾讯AI Lab及腾讯Robotics X实验室）和周靖人（蚂蚁集团）。

2021年人工智能造福人类全球峰会（在线），持续的数字活动

2021年人工智能造福人类全球峰会是一项持续的数字活动，每周都会举办跨多种形式、平台和多个时区的活动，包括主题演讲、专家网络研讨会、项目推介、问答、表演、演示、采访、网络交流等。即将到来的重点演讲包括关于人工智能和气候科学、健康和数据的演讲，以及关于“欧盟人工智能法案：它将如何影响你的生活和业务？”的专题研究。