查看原文
其他

2020 图灵奖发布,两位编程语言先驱、《龙书》作者获奖

数据实战派 数据实战派 2022-01-14

刚刚,最新一届图灵奖颁出,Alfred Aho、Jeffrey Ullman两位计算机科学家因基础算法和理论而获得2020年ACM 图灵奖。

根据ACM的介绍,两人获奖的成就是:“提出了编程语言实现的基本算法和理论,以及将这些成果与其他结果集结到他们极有影响力的著作中,这些著作影响了几个世代的计算机科学家。”

Alfred Aho是哥伦比亚大学劳伦斯·古斯曼名誉教授。他于1995年加入了哥伦比亚大学计算机科学系。在此之前,Aho曾担任贝尔实验室计算科学研究副总裁,且工作了30余年。Aho毕业于多伦多大学,并在普林斯顿大学获得电气工程/计算机科学硕士和博士学位。

Aho的荣誉包括IEEE 冯诺依曼奖和NEC C&C基金会C&C奖。此外,他是美国国家工程学院、美国艺术与科学学院和加拿大皇家学会的成员、ACM、IEEE、贝尔实验室和美国科学促进会(AAAS)的成员。

Jeffrey Ullman是斯坦福大学的Stanford W. Ascherman名誉教授,以及Gradient Corporation的首席执行官,这是一个针对各种计算机科学主题的在线学习平台。此外,他于1979年加入斯坦福大学。在此之前,他于1969年至1979年在普林斯顿大学任教,1966年至1969年在贝尔实验室担任技术人员。Ullman毕业于哥伦比亚大学,在普林斯顿大学获得计算机科学博士学位。

Ullman的荣誉包括获得IEEE 冯诺依曼奖、NEC C&C基金会C&C奖、高德纳奖(Donald E. Knuth)和ACM Karl V. Karlstrom杰出教育奖。他是美国国家工程院、美国国家科学院、美国艺术与科学学院的成员,同时也担任ACM的研究员。

如今,一切与我们产生互动的技术中,计算机软件几乎都在背后提供“动力”。

从我们所使用的手机上、汽车中的程序,到公司内部大型服务器场上运行的程序,都是由人类采用高级编程语言编写、再编译为较低级的代码才得以运行。在这个过程中,用于翻译现代编程语言的诸多技术,便源于Aho和Ullman的成就。

1967年起,两人在贝尔实验室中开始了合作,这种合作关系一直持续了几十年,期间,Aho和Ullman共同奠定了编程语言的理论与实现、算法的设计和分析。通过其技术贡献和著书立作,他们为编程领域做出了广泛且奠基式的贡献。

正如现任ACM主席Gabriele Kotsis所说:“计算机程序设计的实践和日益先进的软件系统开发,支撑了过去五年来人类社会经历的几乎所有技术转型。

几十年来,尽管无数的研究人员和从业人员为这些技术做出了贡献,但Aho和Ullman的工作尤为重要。他们提出了帮助我们了解算法的理论基础,并规划了编译器和编程语言设计方面的研究和实践课程。

自1970年代初以来,Aho和Ullman一直是思想领袖,他们的工作一直指导着几代程序员和研究人员。”

Google高级研究员Jeff Dean表示:“Aho和Ullman建立了关于算法、形式语言、编译器和数据库的基础思想,这些思想对当今编程和软件领域的发展至关重要。他们还阐明了不同学科之间是如何紧密联系在一起的。

Aho和Ullman介绍了包括算法在内的关键技术概念,这些概念一直是必不可少的。在计算机科学教育领域,他们的教科书一直是培养学生、研究人员和从业人员的黄金标准。"

在加入贝尔实验室之前,两人都在普林斯顿大学获得了博士学位。而在贝尔实验室工作期间,他们早期的工作包括开发出用于分析和翻译编程语言的有效算法。

1969年,Ullman开始了新的学术生涯,最终进入到斯坦福大学任教,而Aho 则在加入哥伦比亚大学之前,一直在贝尔实验室工作了30年。

尽管两人后来身处不同的机构,但他们的合作并未中断,特别是在合著介绍算法、编程语言技术书籍和论文上,两人一直保持同步。

据了解,Aho和Ullman共合著了九本有影响力的书籍(将第一版和后续版本包含在内)。

其中影响力最广泛的两本分别是:

《计算机算法的设计与分析(1974)》(The Design and Analysis of Computer Algorithms ),这本书由Aho、Ullman和John Hopcroft(同样是图灵奖得主)共同撰写,此书不仅被公认为该领域的经典之作,还是近十多年来在计算机科学研究中引用率最多的书籍之一。

当计算机科学还是一个新兴领域时,它便成为了全球算法课程的标准教科书。除了将自己的研究成果融入到算法中,《计算机算法的设计与分析》还引入了随机访问机器(RAM, Random Access Machine)作为利用递推关系(recurrence relations)分析计算机算法的时间和空间复杂性的基本模型。RAM模型也将不同的算法编入通用的设计方法。RAM模型和在这本书中介绍的一般算法设计技术现在形成了标准计算机科学课程的一个组成部分。


另一本则是《编译设计原则(1977)》(Principles of Compiler Design)。

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

由于其封面设计,此书经常被称为“龙书”(Dragon Book)。它不仅清晰地列出了将高级编程语言翻译成机器代码的阶段化过程,而且模块化了编译器构造的整个企业。其中包括作者对词汇分析、语法分析技术和代码生成的有效技术所做的算法贡献。这本书的当前版本为 Compilers: Principles, Techniques and Tools  (Ravi Sethi和Monica Lam合著),于2007年出版,仍然是编译器设计的标准教科书。




 往期推荐 

丨陈天桥雒芊芊脑机接口中心等团队新成果:超声波 “读脑”,用思想控制机器的新方法
语言模型能知道一头大象有多重吗?
听李宏毅点评 GPT-3:来自猎人暗黑大陆的模型
麻省理工学院学者万字长文:计算机作为一种通用技术的衰落
你的脸是这样丢掉的:人脸数据集的史上最大规模调查
是什么让女性在计算机史上 “隐身” 了?
 AI 加剧系统性剥削,这一类人时薪已低至 2 美元
量子 NLP 已来?一英国创企:实现迄今最大规模量子自然语言处理
 MIT 机器人教父 Rodney Brooks:机械臂编程语言的起源
一家图灵奖得主背书创企的陨落,暴露了 AI 弱国 “恒弱” 的困境?
从本体论到知识图谱, 著名学者 Pascal Hitzler 长文回顾语义网 20 年发展
丨吴恩达团队新研究:在 ImageNet 上优化的模型,真的能更好胜任医学影像任务吗?
华为 AI 水军被推特封禁的背后,谁应为 AI 应用的边界负责?
果蝇能学会 Word Embedding 吗?

关于数据实战派
数据实战派希望用真实数据和行业实战案例,帮助读者提升业务能力,共建有趣的大数据社区。

您可能也对以下帖子感兴趣

文章有问题?点此查看未经处理的缓存