最新消息 2020图灵奖今日出炉:龙书《编译原理》作者获奖( 二 )


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 年转为中国科学院院士) 。

推荐阅读