2022年ACM博士论文奖公布了

简介: 2022年ACM博士论文奖公布了


UCLA 博士毕业的 Aayush Jain 摘得了密码学「皇冠上的明珠」。


近日,新一届 ACM 博士论文奖正式公布。

CMU 助理教授 Aayush Jain 因其论文《Indistinguishability Obfuscation from Well-Studied Assumptions》而获得 2022 年 ACM 博士论文奖。荣誉提名奖授予了在康奈尔大学获得博士学位的 Alane Suhr 和在剑桥大学获得博士学位的 Conrad Watt。

ACM 2022 博士论文奖(左)及荣誉提名奖(中、右)获得者


ACM 博士论文奖每年颁发一次,旨在奖励计算机科学与工程领域最佳的博士论文的作者。博士论文奖的奖金为 2 万美元,荣誉提名奖的奖金总共有 1 万美元。

2022 年 ACM 博士论文奖
Aayush Jain 获奖论文标题为《Indistinguishability Obfuscation from Well-Studied Assumptions》,该论文建立了从已经研究的困难猜想中实现的数学严谨软件混淆的可行性。


软件混淆的核心目标是改造源代码,在不改变其计算内容的情况下使其无法理解。其中可以添加额外的条件,例如要求转换后的代码与原始代码的性能相似,甚至没有区别。作为一种软件安全机制,软件混淆必须有一个坚实的数学基础。

该论文也获得了 STOC 2021 的最佳论文奖,并且在 Quanta Magazine 上被报道。当时,Quanta Magazine 称这篇研究摘得密码学 “皇冠上的明珠”。

机器之心曾编译介绍了 Quanta Magazine 对该论文的报道, 感兴趣的读者可以查看《不可区分混淆被实现,计算机科学家摘得这颗密码学 “皇冠上的明珠”》。

Jain 是卡内基梅隆大学的助理教授,他对密码学理论和应用,以及密码学与理论计算机科学相关领域的联系很感兴趣。Jain 在印度理工学院获得了电气工程学士学位和信息与通信技术硕士学位,并在加州大学洛杉矶分校获得了计算机科学博士学位。

此外,2022 ACM 博士论文奖还有两位荣誉提名获得者,分别是在康奈尔大学获得博士学位的 Alane Suhr 和在剑桥大学获得博士学位的 Conrad Watt。

Alane Suhr

Alane Suhr 的论文《Reasoning and Learning in Interactive Natural Language Systems》制定和设计了协作交互中用于持续语言学习的算法,并设计了用于上下文相关语义推理的方法。Suhr 的这篇论文为自然语言处理(NLP)领域做出了变革性的贡献。

Suhr 目前是加州大学伯克利分校的助理教授。Suhr 的研究重点是自然语言处理、机器学习和计算机视觉,她在俄亥俄州立大学获得了计算机科学与工程学士学位,并在康奈尔大学获得了计算机科学博士学位。

Conrad Watt

Watt 目前是剑桥大学的博士后研究员,其研究重心在于机械化形式验证、并发机制和 WebAssembly 语言。他先后在帝国理工学院和剑桥大学获得计算机科学硕士和博士学位。

Watt 的博士论文题目为《Mechanising and evolving the formal semantics of WebAssembly: the Web's new low-level language》,创建了 WebAssembly 的机械化语义并定义其并发模型。该模型将成为当前和未来网络工程的基础。

Watt 的博士论文被认为是「开发和使用完全严格的机械化语义来直接影响和改进工业计算基础设施主要组件设计的典范。」


相关文章
|
11月前
|
Shell Linux 测试技术
Linux Shell循环详解(从零开始掌握Shell脚本中的循环结构)
本文介绍Linux Shell脚本中for和while循环的基本语法与应用,帮助新手掌握自动化任务处理技巧,提升脚本编写效率。
|
10月前
|
自然语言处理 编译器 Python
深入理解Python语法分析(从零开始掌握AST与解析器原理)
教程来源https://www.vpshk.cn/本教程带你深入浅出地学习Python语法分析,了解编译原理入门知识。通过ast模块解析代码结构,掌握抽象语法树(AST)的生成与遍历,轻松理解Python解析器工作原理,适合编程新手快速上手。
|
4月前
|
数据采集 前端开发 JavaScript
别只盯着HTML了!教你高效抓取并解析PDF/Excel隐藏附件?
本文聚焦网页附件(PDF/Excel)爬取痛点,系统讲解隐藏链接识别、二进制文件下载、pdfplumber/pandas精准解析及代理IP轮换反爬策略,并附完整实战代码,助你高效获取高价值结构化数据。(239字)
591 0
|
5月前
|
存储 人工智能 搜索推荐
Geo优化中,“知识图谱”与“知识库”到底有何不同?
在生成式AI时代,SEO正向GEO(生成式引擎优化)演进。本文深度解析知识图谱与知识库的本质差异及在GEO中的协同作用,并系统介绍于磊提出的“两大核心(人性化GEO+交叉验证)+四轮驱动”方法论,助力企业构建AI信任、提升数字权威。
249 3
|
10月前
|
存储 SQL Java
Doris Catalog 已上线!性能提升 200x ,全面优于 JDBC Catalog,跨集群查询迈入高性能分析时代
Apache Doris 4.0.2 版本推出重磅特性:Doris Catalog。该功能专为跨 Doris 集群联邦分析设计,支持通过 Arrow Flight 和虚拟集群两种模式,进行更高效、更贴合原生优化的跨集群查询。
490 9
Doris Catalog 已上线!性能提升 200x ,全面优于 JDBC Catalog,跨集群查询迈入高性能分析时代
|
机器学习/深度学习 算法 大数据
构建数据中台,为什么“湖仓一体”成了大厂标配?
在大数据时代,数据湖与数据仓库各具优势,但单一架构难以应对复杂业务需求。湖仓一体通过融合数据湖的灵活性与数据仓的规范性,实现数据分层治理、统一调度,既能承载海量多源数据,又能支撑高效分析决策,成为企业构建数据中台、推动智能化转型的关键路径。
|
11月前
|
存储 人工智能 智能设计
建筑机电协同必备:Inventor 2026 新版本亮点 附安装包
Inventor 2026 是专业级三维机械设计平台,强化智能建模、性能优化与工程协同。支持AI驱动参数化设计、大型装配体流畅操作、智能出图及BOM管理,深度融合制造流程,助力设计到生产的高效转化。
1322 8
|
10月前
|
监控 关系型数据库 MySQL
索引失效场景(阿里高频踩坑点)
MySQL索引可显著提升查询性能,但存在多种失效场景:数据类型不匹配、索引列使用函数、LIKE以%开头、复合索引未遵循最左前缀、OR条件中部分无索引、NULL值查询、频繁更新导致索引失衡、ORDER BY/GROUP BY未用索引列、配置或版本差异及过度依赖索引。阿里等大厂高频踩坑点需特别警惕。合理设计索引并结合执行计划优化,才能保障高效查询。(238字)
|
10月前
|
存储 开发者
如何绘制有效的业务架构图
本文介绍业务架构的核心概念与绘制方法,涵盖业务定义、架构域分类及业务架构图的分层、模块化设计。通过医疗系统示例,展示如何构建清晰的业务层级与信息流,提升团队协作与沟通效率。
|
Java 编译器
通义灵码的使用体验
作为一名Java开发工程师,我使用通义灵码辅助开发,通过IDEA插件实现便捷的问题检索与解决,显著提升开发效率。该插件还提供代码解释、生成优化建议等实用功能,助力高效编程。