程序员们的回忆——“绿龙书”作者摘得 2020 图灵奖

当地时间 3 月 31 日,国际计算机协会(ACM)宣布将图灵奖(Turing Award)授予哥伦比亚大学计算机科学名誉教授 Alfred Vaino Aho 和斯坦福大学计算机科学名誉教授 Jeffrey David Ullman,以表彰他们在编程语言实现(programming language implementation)方面的基础算法和理论成就。

图 | 左 Jeffrey David Ullman 右 Alfred Vaino Aho(来源:The New York Times)

“计算机编程的实践和日益先进的软件系统的发展支撑了我们在过去 50 年里社会经历的几乎所有的技术变革。”ACM 主席 Gabriele Kotsis 解释说。“虽然无数的研究人员和实践者为这些技术做出了贡献,但 Aho 和 Ullman 的工作尤其具有影响力。他们帮助我们理解算法的理论基础,并为编译器和编程语言设计的研究和实践绘制课程。自 20 世纪 70 年代初以来,Aho 和 Ullman 一直被认为是领导者,他们的工作一直指导着一代又一代的程序员和研究人员,直到今天。”

谷歌高级研究员和高级副总裁 Jeff Dean 补充道,“Aho 和 Ullman 建立了关于算法、形式语言、编译器和数据库的基本思想,这对当今编程和软件领域的发展至关重要。”

“他们也说明了这些不同的学科是如何紧密相连的。Aho 和 Ullman 介绍了关键的技术概念,包括关键的特定算法。就计算机科学教育而言,他们的教科书一直是培训学生、研究人员和从业者的黄金标准。” 他表示。

图 | Jeff dean :“研究生时上编译课用了'龙书’,非常愉快的回忆。”(来源:Twitter)

相遇普林斯顿:十几年的合作默契

1963 年,Aho 和 Ullman 在普林斯顿大学读研的第一天排队等候注册时相遇,那时计算机科学还是一个陌生的新世界。

1967 年,二人在贝尔实验室共事并持续几十年。在贝尔实验室期间,他们的早期工作包括开发分析和翻译编程语言的高效算法。这些工作为同时期的计算机科学理论做出了贡献。

1969 年,Ullman 开始进行学术深造,并最终在斯坦福大学任教。Aho 后加入哥伦比亚大学。尽管二人身在不同机构,Aho 和 Ullman 仍继续维持了几十年的合作,在这期间他们合著了书籍和论文,并介绍了算法、编程语言、编译器和软件系统的新技术。

人机语言的翻译者:编译器

Aho 和 Ullman 是 “编译器”(compilers)领域的先驱。编译(compile)是将人类使用的高级语言翻译成计算机可以理解和执行的低级语言 —— 也就是 “0” 和 “1” 的过程。

过去,使用一台计算机需要一系列艰深的技术,这些技术通常只有受过专业训练的工程师和数学家才能掌握。但是今天,在编译器的作用下,任何人都可以使用计算机并且通过编写程序来执行新任务。倘若没有 J&A 的发明,人们将陷入人与计算机 “鸡同鸭讲” 的尴尬之中,计算机的使用与软件的更迭也将囿于一小部分人群。

微软的研究人员 Krysta Svore 说道,没有他们的工作,“我们将无法编写手机中的 App 程序,也无法拥有我们今天开的汽车”。Krysta Svore 曾与 Aho 在哥伦比亚大学学习,是当时计算机科学系的主任。

程序员们的回忆:绿龙书《编译器设计原理》

图 | 绿龙书” green dragon book(来源:awards.acm)

这本因封面设计被人们称为 “绿龙书”(green dragon book)的《编辑器设计原理》(Principles of Compiler Design) 由 Aho 和 Ullman 合著出版于 1977 年。这本书是编译器技术领域内的权威书籍,该书汇集了形式语言理论和语法导向的翻译技术,并将其运用到编译器设计过程中。这本书清晰地列出了将高级编程语言翻译成机器代码的阶段,其中包括作者在词汇分析、语法分析技术和代码生成的有效技术等算放领域方面所做的突出贡献。

“绿龙书” 后又经历了两次升级与变身。1986 年,该书的两位作者加上 Ravi Sethi,将此书更名为《编译器:原则、技术和工具》(Compilers: Principles, Techniques and Tools),并进行了内容上的提升。不过,此版在封面上依然沿用骑士和龙的独特造型,只是将龙的颜色变成了红色,因此被人们称为 “红龙书”。

2007 年,又经历了一次升级的 “紫龙书” 出版,作者一栏增加了 Monica Lam。在这一版的前言中,Aho 写道:“编写编译器的原理和技术具有十分普遍的意义,以至于在每个计算机科学家的研究生涯中,本书中的原理和技术都会反复被用到”。目前该书仍然是编译器设计的标准教科书。

“计算机界的诺贝尔奖”:图灵奖

图灵奖(Turing Award),是计算机科学协会(ACM)颁发的年度奖项,于 1966 年设立,以表彰 “对计算机领域具有持久而重大的重要技术成果”。 该奖项名称取自计算机科学先驱、英国科学家艾伦・麦席森・图灵(Alan M. Turing),图灵通常被认为是理论计算机科学和人工智能的主要创始人。

图灵奖对获奖条件要求极高,评奖程序极严,它通常被认为是计算机科学领域的最高荣誉,经常被称为 “诺贝尔计算奖”。

从 2007 年到 2013 年,该奖项奖金为 25 万美元,由英特尔和谷歌提供。自 2014 年以来,该奖项奖金提升至 100 万美元,由 Google 提供财政支持。

1966 年,ACM 将第一个图灵奖授予了卡内基梅隆大学的 Alan Perlis。 而首位图灵奖女性获得者是 2006 年 IBM 的 Frances E. Allen。

(0)

相关推荐