首页 > 科技圈 > 正文

2020图灵奖今日出炉:龙书《编译原理》作者获奖

原标题:图灵奖今日出炉,“龙书”作者、编程语言大佬 Alfred Aho和 Jeffrey Ullman获奖

来源:学术头条

作者:刘芳

计算机界最负盛名的奖项——图灵奖于今日出炉。

刚刚,国际计算机协会(ACM)官网宣布将此奖项授予哥伦比亚大学计算机科学名誉教授 Alfred Vaino Aho和斯坦福大学计算机科学名誉教授 Jeffrey David Ullman,以表彰他们在编程语言实现(programming language implementation)领域基础算法和理论方面的成就。

除了对编程语言实现本身的贡献以外,这两位教授还将此领域的诸多研究成果编纂成教材,深刻影响了数代计算机科学家,以及程序员。

图

图|哥伦比亚大学计算机科学名誉教授 Alfred Vaino Aho、斯坦福大学计算机科学名誉教授 Jeffrey David Ullman

图灵奖通常被称为“计算机界的诺贝尔奖”,奖金为 100万美元,由谷歌公司提供财政支持。该奖项以英国数学家艾伦・M・图灵(Alan M. Turing)的名字命名,他曾研究了计算的数学基础和极限问题。

两位编程语言大佬

计算机软件是现代社会人类与科技互动的驱动器。不论是在手机、汽车还是网络公司内部的大型服务器上,世界上的每一个程序都是人类使用高级语言编写,之后再翻译成低级语言以供计算机运行的。这种将高级语言程序翻译成计算机能识别的低级语言的技术在很大程度上要归功于 Aho和 Ullman。

Aho是哥伦比亚大学荣誉教授。他于 1995年加入哥伦比亚大学计算机科学系。在加入哥伦比亚大学之前,Aho是贝尔实验室负责计算科学研究的副总裁,在那里工作了 30多年。Aho本科毕业于多伦多大学,在普林斯顿大学获得电气工程/计算机科学硕士和博士学位。

Aho曾获得 IEEE冯诺伊曼奖章(John von Neumann Medal)和 NEC C&C基金会 C&C奖。他是美国国家工程院(US National Academy of Engineering)、美国艺术与科学院(American Academy of Arts and Sciences)和加拿大皇家学会(Royal Society of Canada)的成员。同时他也是世界计算机协会(ACM)、IEEE、贝尔实验室和美国科学促进会的成员。

Ullman是斯坦福大学名誉教授,也是以计算机科学主题的在线学习平台 Gradiance Corporation的首席执行官。他于 1979年加入斯坦福大学,在那之前曾于 1969年至 1979年在普林斯顿大学任教,并于 1966年至 1969年担任贝尔实验室的技术人员。厄尔曼毕业于哥伦比亚大学,在普林斯顿大学获得计算机科学博士学位。

Ullman的荣誉包括获得 IEEE冯诺伊曼奖章奖章、NEC C&C基金会 C&C奖、Donald E.Knuth奖和 ACM Karl V.Karlstrom杰出教育家奖。他是美国国家工程院、国家科学院、美国艺术与科学院的成员,也是世界计算机协会的成员。

1967年,两位计算机科学家在贝尔实验室开始了他们的合作。几十年间,Aho和 Ullman奠定了编程语言理论、编程语言实现及算法设计和分析的基础,他们通过技术创新和影响甚广的教材为编程语言领域做出了重大贡献。两位教授早期在算法设计和分析技术方面的合作为这一时期出现的计算机科学核心理论提供了关键思路。

世界计算机协会主席科西斯(Gabriele Kotsis)解释说:“计算机编程的实践和日益先进的软件系统开发几乎支撑了在过去 50年中社会上所有的技术变革。虽然无数研究人员和实践者为这些技术做出了贡献,但 Aho和 Ullman的工作尤其具有影响力,他们帮助我们理解了算法的理论基础,并为编译器(complier)和编程语言设计的研究和实践指明了方向。自 20世纪 70年代初以来,Aho和 Ullman一直是这一领域的思想领袖,他们的工作指导着一代又一代的程序员和研究人员,直到今天。”

(来源:Pixabay)

(来源:Pixabay)

谷歌高级研究员、谷歌人工智能高级副总裁迪恩(Jeff Dean)补充道:“Aho和 Ullman在算法、形式语言理论(formal language theory)、编译器和数据库方面确立了基本概念,这些概念对当今编程和软件领域的发展起到了重要作用。他们还向人们展示了这些不同领域的研究是如何紧密联系在一起的。Aho和 Ullman为计算机科学引入了关键的技术性概念,包括必不可少的特定算法等。在计算机科学教育方面,他们的教材一直是培养学生、研究人员和从业人员的黄金标准。”

Aho和 Ullman在加入贝尔实验室之前都是在普林斯顿大学获得博士学位的,他们从 1967年到 1969年在贝尔实验室工作。在那期间,他们开发了用于分析和翻译编程语言的高效算法。

1969年,Ullman开始了在学术界的职业生涯,并最终加入了斯坦福大学。而 Aho在加入哥伦比亚大学之前在贝尔实验室工作了 30年。尽管在不同的机构工作,但两人的合作持续了数十年。在此期间,他们共同撰写了书籍和论文,并为算法、编程语言、编译器和软件系统引入了新技术。

影响深远的教材

Aho和 Ullman合著了九本影响深远的教材(包括更新版本)——

A. V. Aho and J. D. Ullman, The Theory of Parsing, Translation, and Compiling, Vol. 1, Parsing. Prentice Hall, 1972. ISBN 0-13-914556-7

A. V. Aho and J. D. Ullman, The Theory of Parsing, Translation, and Compiling, Vol. 2, Compiling. Prentice-Hall, 1973. ISBN 978-0-13-914564-3

A. V. Aho, J. E. Hopcroft, J. D. Ullman, The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974. ISBN 0-201-00023-7

A. V. Aho and J. D. Ullman, Principles of Compiler Design. Addison-Wesley, 1977. ISBN 0-201-00022-9

A. V. Aho, J. E. Hopcroft, J. D. Ullman, Data Structures and Algorithms. Addison-Wesley, 1983. ISBN 0-201-00023-7

A. V. Aho, R. Sethi, J. D. Ullman, Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading MA 1986. ISBN 0-201-10088-6

A. V. Aho and J. D. Ullman, Foundations of Computer Science. W. H. Freeman/Computer Science Press, 1992.

A. V. Aho and J. D. Ullman, Foundations of Computer Science, C Edition. W. H. Freeman, 1995. ISBN 978-0-7167-8284-1

A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman, Compilers: Principles, Techniques, and Tools, Second Edition. Addison-Wesley, 2007. ISBN 978-0-321-48681-3

其中,最广为人知的两本书是:

《编译程序设计原理》(1977)

Principles of Compiler Design(1977)

2020图灵奖今日出炉:龙书《编译原理》作者获奖

由 Aho和 Ullman合著的这本关于编译器技术的权威书籍将形式语言理论(formal language theory)和语法制导翻译技术(syntax-directed translation techniques)集成到编译器设计过程中。

由于其封面设计,它通常被称为“龙书”。书中清晰地列出了将高级编程语言转换为机器码的各个阶段,使整个编译器构建模块化。同时作者在此书中还阐明了自己在算法方面对对有效的词法分析技术(lexical analysis)、语法分析技术(syntax analysis techniques)和代码生成技术所做贡献。

2020图灵奖今日出炉:龙书《编译原理》作者获奖

本书的最新版本《编译器:原理、技术和工具》Compilers: Principles, Techniques and Tools(与 Ravi Sethi和 Monica Lam合著)于 2007年出版,至今仍是编译器设计的标准教科书。

《计算机算法设计与分析》(1974)

The Design and Analysis of Computer Algorithms(1974)

2020图灵奖今日出炉:龙书《编译原理》作者获奖

这本书由 Aho、Ullman和 John Hopcroft合著,被认为是该领域的经典之作,也是十多年来计算机科学研究中被引用最多的书籍之一。当计算机科学还是一个新兴领域时,它就成了全世界算法课程的标准教科书。

除了阐述他们自己对算法的贡献外,《计算机算法的设计与分析》还探讨了如何用随机存取存储器(RAM)作为基本模型,分析递归关系算法的时间和空间复杂性。RAM模型还将不同的独立算法编成通用的设计方法。本书中介绍的 RAM模型和通用算法设计技术构成了当今标准计算机科学课程的一个组成部分。

“计算机界的诺贝尔奖”

图灵奖(Turing Award),由 ACM于 1966年设立,全称 ACM A.M.图灵奖,专门奖励那些对计算机事业作出重要贡献的个人。

图灵奖名称取自计算机科学先驱、英国科学家艾伦・麦席森・图灵(Alan M. Turing),这个奖设立目的之一正是为了纪念这位伟大的科学家。

图灵奖对获奖者要求极高,评奖程序极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名在同一方向上做出贡献的科学家同时获奖。因此,图灵奖也是计算机界最负盛名、最崇高的一个奖项,有“计算机界的诺贝尔奖”之称。

每一年的图灵奖一般在下一年的 3月颁发,从 1966年至 2019年共有 73名科学家获此殊荣。其中美国学者最多,此外还有英国、瑞士、荷兰、以色列等国少数学者。截至目前,获此殊荣的华人学者仅有 1位,即 2000年图灵奖得主姚期智(2005年出任香港中文大学博文讲座教授,2011年担任清华大学交叉信息研究院院长,2017年转为中国科学院院士)。

2020图灵奖今日出炉:龙书《编译原理》作者获奖

计算机之父:图灵

艾伦・麦席森・图灵(Alan Mathison Turing,1912年 6月 23日-1954年 6月 7日),英国数学家、逻辑学家,被称为计算机之父,人工智能之父。

1931年,图灵进入剑桥大学国王学院,毕业后到美国普林斯顿大学攻读博士学位。二战爆发后,图灵回到剑桥,后曾协助军方破解德国的著名密码系统 Enigma,帮助盟军取得了二战的胜利。

图灵提出的著名的图灵机模型,为现代计算机的逻辑工作方式奠定了基础。此外,图灵对于人工智能的发展有诸多贡献,提出了一种用于判定机器是否具有智能的试验方法,即图灵测试。至今,每年都有图灵测试的比赛。

但不幸的是,二战结束后,图灵因同性恋倾向在当时的英国遭受歧视,被政府定罪,被迫接受“治疗”,职业生涯结束。

1954年 6月 7日,图灵被发现死于家中的床上,床头放着一个被咬了一口的苹果,其中含有氰化物,警方调查后结论为服毒自杀。

直到 2013年 12月 24日,英国司法部长宣布:图灵当时受到的判决“不公,有歧视”,现已获得女王伊丽莎白二世的赦免,称“女王的赦免是对这位优秀人物的献礼”。同时,英国前首相卡梅伦表示:图灵在二战时破解德军密码、拯救国家上发挥了关键作用,是一个“了不起的人”。

图

图|图灵及电影中图灵扮演者本尼迪克特・康伯巴奇

2014年,改编自安德鲁・霍奇斯编著传记《艾伦・图灵传》,由本尼迪克特・康伯巴奇主演的传记电影《模仿游戏》(The Imitation Game)上映,讲述了“计算机科学之父”艾伦・图灵的传奇人生。该片也一举获得第 87届奥斯卡金像奖最佳改编剧本奖,以及包括最佳影片、最佳导演、最佳男主角、最佳女配角在内的 7项提名。

相关阅读:
美国业务将更名为“大众电车”?大众汽车确认这是愚人节玩笑 特斯拉、丰田被曝欲二度“牵手” 合作突围抢占亚洲份额