清华90后校友范楚楚获ACM博士论文奖，Rust社区Ralf Jung荣誉提名( 二 )

文章图片
Corrigan-Gibbs获得提名的博士论文为《ProtectingPrivacybySplittingTrust》，这项研究借助理论与实践相结合的技术改善了互联网用户隐私问题。他提出了一种新型的概率可验证明(PCP)系统，然后应用这种技术开发了可扩展、满足实际行业需求的Prio系统。 Prio已经部署在包括Mozilla在内的几家大公司中，自2019年底以来，它一直在夜间版本的火狐浏览器中发挥作用，这是有史以来最大的PCP部署。

文章图片
论文地址：https://people.csail.mit.edu/henrycg/files/academic/papers/dissertation.pdf
Corrigan-Gibbs的论文研究了如何在不了解有关用户的任何其他信息的情况下，有效计算有关用户群的聚合统计数据。例如，该论文介绍了一种工具，使Mozilla能够测量有多少火狐用户遇到了某种网络跟踪器，而无需了解是哪些用户遇到了该跟踪器或遇到的原因。这项研究开发了一种新的概率可验证明系统，该系统允许每个浏览器发送一个简短的零知识证明，证明其对聚合统计数据的加密贡献格式正确。论文的关键创新是验证证明的速度非常快。
Corrigan-Gibbs是MIT电气工程和计算机科学系的助理教授，他也是计算机科学和人工智能实验室的成员。他的研究重点是计算机安全、密码学和计算机系统。此前， Corrigan-Gibbs在斯坦福大学获得计算机科学博士学位。
RalfJung的博士论文为《UnderstandingandEvolvingtheRustProgrammingLanguage(https://people.mpi-sws.org/~jung/phd/thesis-screen.pdf)》，该论文为Rust语言的安全系统编程奠定了第一个正式的基础。

文章图片
自从2010年Mozilla开发Rust以来，它在整个行业中越来越受欢迎。 Rust解决了语言设计中一个长期存在的问题：如何平衡安全性和控制。与C++一样， Rust为程序员提供了对系统资源的低级控制。不同的是， Rust采用了强大的“基于所有权”的系统来静态确保安全，从而不会出现内存访问错误、数据竞争等安全漏洞。
然而，在Jung的论文之前，没有严格调查表明Rust的安全声明是否真的成立，并且由于Rust库中广泛使用“unsafeescapehatches” ，这些声明就很难评估。

文章图片
https://people.mpi-sws.org/~jung/phd/thesis-screen.pdf
在他的博士论文中， Jung通过为Rust开发直接解释安全和不安全代码之间相互作用的语义基础，来解决这一挑战。在这些基础上， Jung为Rust的一个重要子集提供了安全性证明。此外，该证明在自动证明助手Coq中被形式化，因此其正确性得到保证。此外， Jung提供了一个平台，即使存在不安全代码的情况下也可用于正式验证基于类型的优化。
通过Jung的领导和对Rust不安全代码指南工作组的积极参与，他的工作已经对Rust的设计产生了深远的影响，并为其未来奠定了重要的基础。
Jung是马克斯普朗克软件系统研究所的博士后研究员，也是MIT并行和分布式操作系统组的研究员。他的研究兴趣包括编程语言、验证、语义和类型系统。他在马克斯普朗克软件系统研究所进行了博士研究，并在萨尔大学获得了计算机科学的博士、硕士和学士学位。
机器之心先前也报道过2018年、2019年的博士论文奖。
2018年， UC伯克利博士生ChelseaFinn凭借论文《LearningtoLearnwithGradients》荣获此奖。来自微软的RyanBeckett、本科毕业于清华姚班的马腾宇获得荣誉提名。