2020图灵奖颁给“龙书”两位作者:他们让计算机读懂代码

最近,2020年图灵奖公布了获奖名单。


哥伦比亚大学计算机科学名誉教授Alfred Vaino Aho和斯坦福大学计算机科学名誉教授Jeffrey David Ullman共享了这一殊荣。


根据国际计算机协会(ACM)报道,二人“创造了全球数百万编程人员使用的工具和教材”,此次颁奖也是为了表彰他们在“推进编程语言实现的基础算法和理论”做出的努力。


而除了在编程语言方面外,二人同时也将这些研究成果写入了教材。1977年出版的《编译程序设计原理》可以说是无人不知,书中不仅列出了将高级编程语言转换为机器码的各个阶段,还借此阐明了作者在算法方面对有效的词法分析技术、语法分析技术和代码生成技术做出的贡献。


在业内,《编译程序设计原理》也被戏称为“龙书”。2007年,该书最新版本《编译器:原理、技术和工具》出版,至今仍是编译器设计的标准教科书。


根据图灵奖标准,AhoUllman将共享100万美元的奖金。


“没有他们的努力,我们就无法为手机编写应用程序”,微软研究员Krysta Svore说,“甚至我们连汽车都还没有发明出来”。


ACM主席Gabriele Kotsis说:“计算机编程的实践和日益发展的软件系统,为过去五十年来大部分的技术进步奠定了基础。无数研究者和从业者为此做出了贡献,其中AhoUllman的研究工作尤为重要。他们帮助我们了解了算法的理论基础,规划了编译器和编程语言设计方面的研究和实践课程。自20世纪70年代初以来,AhoUllman就一直是这一领域的思想领袖。到今天为止,他们的工作已经指导了几代开发者和研究人员。


合作数十年,终获图灵奖


1967年在贝尔实验室共事开始,AhoUllman二人的合作持续了几十年,一直到今天。


Aho本科毕业于加拿大的多伦多大学,并在普林斯顿大学获得电气工程/计算机科学硕士和博士学位。1995年,Aho加入哥伦比亚大学计算机科学系,同时也是哥伦比亚大学荣誉教授。


Ullman本科毕业于哥伦比亚大学,在普林斯顿大学获得计算机科学博士学位。1979年,Ullman加入斯坦福大学,出任斯坦福大学名誉教授,同时Ullman还是在线学习平台Gradiance Corporation的首席执行官。


可以看到,两人在人生经历上存在诸多相似点。


而在1967年至1969年间,AhoUllman在贝尔实验室共事,共同开发了分析、编译编程语言的高效算法。


1969年,Ullman决心投身学术研究,随后在斯坦福大学拿到教职。而Aho,在加入哥伦比亚大学之前,在贝尔实验室工作了30年。


尽管身居异地,二人的合作在几十年间并没有间断。在此期间,他们合著了不少论文、教科书,还引入了算法、编程语言、编译器、软件系统方面的新技术。


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


AhoUllman阐明了学科之间的紧密联系,还引入了关键的技术概念,包括已经成为核心算法的具体算法。就计算机科学教育而言,他们的教材也一直是培训学生、研究人员和从业者的黄金标准。


计算机之父图灵肖像登上50英镑纸币


就在前几天,根据英国媒体报道,印有图灵肖像的50英镑样币已经出炉,计划于623日,也就是图灵诞辰那一天,正式发行。


要知道,50英镑纸币是英国最高面额纸币。目前流通的50英镑纸币上,背面印的是蒸汽机发明者詹姆·瓦特,以及瓦特的合伙人、让蒸汽机得以量产的企业家马修·博尔顿。


在计算机技术高速发展的现代社会,图灵的影响力丝毫未减,图灵测试、图灵奖等等,我们都能看到图灵精神的延续。


图灵生于1912年,是英国的数学家、逻辑学家。图灵对于计算机科学有着不可磨灭的功劳,他最大的贡献之一就是和团队研制出了世界上“第一台”计算机。


在二战期间,他被邀请从事破译德国密码系统“英格玛”的工作,由于破译过程涉及太多的可能性,是人类无法在短时间计算出的,因此图灵和他的团队共同研制出了这样一台强大的“机器大脑”,最终成功破解密码!帮助盟军取得了二战的胜利,甚至使得二战足足提早两年结束。


图灵在战争中流尽鲜血,却在和平中寸步难行。二战结束后,图灵因同性恋倾向被英国政府定罪,要么进监狱,要么进行“激素治疗”,图灵选择了后者。


1954年,图灵在家中服毒自尽,享年41岁。直到2013年,在英国司法大臣克里斯·格雷灵的要求下,英国女王伊丽莎白二世宣布了对图灵的赦免。同时,英国前首相卡梅伦表示:图灵在二战时破解德军密码、拯救国家上发挥了关键作用,是一个了不起的人。   


关于图灵在二战期间破译密码、扭转历史这一传奇经历,2014年有一部电影《模仿游戏》,就生动地再现了整段历史,该片还获得当年奥斯卡最佳影片、最佳导演、最佳改编剧本在内的8项提名。


为了纪念他对计算机科学做出的巨大贡献,由美国计算机协会(ACM)1966年设立了一年一度的图灵奖(Turing Award) ,全称A.M. 图灵奖”,以表彰在计算机科学中做出突出贡献的人。


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


不仅是计算机科学,图灵也为后来的人工智能科学提供了开创性的构思。他提出了一种用于判定机器是否具有智能的试验方法,即著名的“图灵测试”。


图灵曾说过,“有时候,正是那些意想不到之人,成就了无人能成之事”。今天,用这句话来形容此次获奖的两位大师依然贴切,我们也期待未来有更多用技术让我们生活更美好的“意想不到之人”还有“无人能成之事”。