创造数百万编程人员使用的“神书”作者获图灵奖
機(jī)器之心報(bào)道
機(jī)器之心編輯部
正是編譯器的存在,才讓人類語言轉(zhuǎn)換為計(jì)算機(jī)可以理解的0和1。
Jeffrey Ullman(左)和 Alfred Aho(右)是創(chuàng)建「編譯器」的先驅(qū)。
1963年,當(dāng)阿爾弗雷德 · 艾侯(Alfred Aho)和杰弗里 · 烏爾曼(Jeffrey Ullman)在普林斯頓大學(xué)研究生院開學(xué)第一天一同登記排隊(duì)的時(shí)候,計(jì)算機(jī)科學(xué)仍然是一個(gè)陌生的新世界。
如今因?yàn)檫@兩位學(xué)者的努力,幾乎任何人都可以使用計(jì)算機(jī)并對計(jì)算機(jī)進(jìn)行編程以執(zhí)行新任務(wù)。
北京時(shí)間3月31日,ACM 宣布將2020年圖靈獎(jiǎng)授予 Alfred Vaino Aho 和 Jeffrey David Ullman 二人,兩位友誼持續(xù)半個(gè)世紀(jì)的學(xué)者將分享百萬美元的獎(jiǎng)金。
Aho 是哥倫比亞大學(xué)計(jì)算機(jī)科學(xué)系名譽(yù)教授,Ullman 是斯坦福大學(xué)計(jì)算機(jī)科學(xué)系的 Stanford W. Ascherman 教授。
據(jù) ACM 官方公告, Alfred Vaino Aho 和 Jeffrey David Ullman 的獲獎(jiǎng)理由為「創(chuàng)造了全球數(shù)百萬編程人員使用的工具和教材」,獎(jiǎng)項(xiàng)旨在表彰二人「推進(jìn)編程語言實(shí)現(xiàn)的基礎(chǔ)算法和理論,并在極具影響力的書籍中綜述了這些研究成果。」
計(jì)算機(jī)軟件是現(xiàn)代社會人類與科技互動(dòng)的驅(qū)動(dòng)器,每一個(gè)程序都運(yùn)行在現(xiàn)實(shí)世界里——不論是在手機(jī)、汽車,還是網(wǎng)絡(luò)公司內(nèi)部的大型服務(wù)器。世界上的每一個(gè)程序都是人類使用高級語言編寫,之后再編譯成低級語言讓計(jì)算機(jī)運(yùn)行。這種將高級語言編譯成計(jì)算機(jī)能夠識別的低級語言的技術(shù),在很大程度上要?dú)w因于 Aho 和 Ullman。
從1967年在貝爾實(shí)驗(yàn)室共事開始,二人的合作持續(xù)幾十年至今。Aho 和 Ullman 奠定了編程語言的理論及實(shí)現(xiàn)和算法設(shè)計(jì)與分析的基礎(chǔ)。二人通過技術(shù)貢獻(xiàn)和極具影響力的教科書,在編程語言編譯器領(lǐng)域做出了廣泛深遠(yuǎn)的貢獻(xiàn);在算法設(shè)計(jì)和分析技術(shù)方面的早期合作,也為這一時(shí)期出現(xiàn)的計(jì)算機(jī)科學(xué)理論核心做出了重要貢獻(xiàn)。
圖靈獎(jiǎng)是 ACM 于1966年設(shè)立的獎(jiǎng)項(xiàng),專門獎(jiǎng)勵(lì)對計(jì)算機(jī)事業(yè)作出重要貢獻(xiàn)的個(gè)人,有「計(jì)算機(jī)界諾貝爾獎(jiǎng)」之稱,獎(jiǎng)金為100萬美元,由谷歌贊助。圖靈獎(jiǎng)的名稱取自英國數(shù)學(xué)家艾倫 · 圖靈(Alan M. Turing),他奠定了計(jì)算機(jī)的數(shù)學(xué)基礎(chǔ),也闡述了其局限性。
ACM 主席 Gabriele Kotsis 說:「計(jì)算機(jī)編程的實(shí)踐和日益發(fā)展的軟件系統(tǒng)為過去五十年來大部分的技術(shù)進(jìn)步奠定了基礎(chǔ)。無數(shù)研究者和從業(yè)者為這些技術(shù)做出了貢獻(xiàn),其中 Aho 和 Ullman 的研究工作尤為重要且影響深遠(yuǎn)。他們幫助我們了解了算法的理論基礎(chǔ),并規(guī)劃了編譯器和編程語言設(shè)計(jì)方面的研究和實(shí)踐課程。自20世紀(jì)70年代初以來,Aho 和 Ullman 就一直是這一領(lǐng)域的思想領(lǐng)袖。到今天為止,他們的工作已經(jīng)指導(dǎo)了幾代開發(fā)者和研究人員。」
「Aho 和 Ullman 建立了關(guān)于算法、形式語言、編譯器和數(shù)據(jù)庫的基本思想,這對當(dāng)今編程和軟件領(lǐng)域的發(fā)展至關(guān)重要,」谷歌 AI 高級研究員和高級副總裁 Jeff Dean 補(bǔ)充道,「他們還闡明了這些學(xué)科之間的緊密聯(lián)系。Aho 和 Ullman 引入了關(guān)鍵的技術(shù)概念,包括已經(jīng)成為核心算法的具體算法。就計(jì)算機(jī)科學(xué)教育而言,他們的教材一直是培訓(xùn)學(xué)生、研究人員和從業(yè)者的黃金標(biāo)準(zhǔn)。」
橫跨幾十年的合作
在加入貝爾實(shí)驗(yàn)室之前,Aho 和 Ullman 都在普林斯頓大學(xué)拿到了博士學(xué)位。1967年到1969年間,兩人在貝爾實(shí)驗(yàn)室共事,開發(fā)了分析、編譯編程語言的高效算法。
1969年,Ullman 投身學(xué)術(shù)研究,在斯坦福大學(xué)拿到了教職;而 Aho 則在加入哥倫比亞大學(xué)之前在貝爾實(shí)驗(yàn)室工作了30年。盡管不在一個(gè)地方工作,兩人的合作在幾十年間并沒有間斷。在此期間,他們合著了不少論文、教科書,還引入了算法、編程語言、編譯器、軟件系統(tǒng)方面的新技術(shù)。
順帶一提,Jeffrey Ullman 是谷歌聯(lián)合創(chuàng)始人謝爾蓋 · 布林的 PhD 導(dǎo)師。
那些影響深遠(yuǎn)的教材
Aho 和 Ullman 兩人共合著了9本影響深遠(yuǎn)的教材(包括初版和更新版本),其中最受歡迎的是《計(jì)算機(jī)算法的設(shè)計(jì)與分析》(1974)和《編譯器設(shè)計(jì)原則》(1977)。
如果有人問「大家在計(jì)算機(jī)學(xué)習(xí)路上,都看過哪些神一般的書?」,大部分人的回答中肯定包含這兩本。
《計(jì)算機(jī)算法的設(shè)計(jì)與分析》(1974)
本書由 Aho、Ullman 和1986年圖靈獎(jiǎng)得主 John Hopcroft 合著,被譽(yù)為該領(lǐng)域的經(jīng)典著作,并且是十多年來計(jì)算機(jī)科學(xué)研究中被引用數(shù)量最多的書籍之一。當(dāng)計(jì)算機(jī)科學(xué)還是一個(gè)新興領(lǐng)域時(shí),這本書就成為了全世界算法課程的標(biāo)準(zhǔn)教材。
在本書中,除了闡述他們對算法的研究貢獻(xiàn)外,還介紹了如何將隨機(jī)存儲器(RAM)作為基本模型來分析遞歸關(guān)系算法的時(shí)間和空間復(fù)雜度。RAM 模型還將獨(dú)立的算法編成通用設(shè)計(jì)方法。書中介紹的 RAM 模型和通用算法設(shè)計(jì)構(gòu)成了當(dāng)今標(biāo)準(zhǔn)計(jì)算機(jī)科學(xué)課程的重要組成部分。
《編譯器設(shè)計(jì)原則》(1977)
《編譯器設(shè)計(jì)原則》由 Aho 和 Ullman 共同撰寫,是一關(guān)于編譯器技術(shù)的權(quán)威書籍,將形式語言理論和基于語法的編譯技術(shù)集成到了編譯器設(shè)計(jì)過程中。因?yàn)榉饷鎴D片,這本書也通常被稱為「龍書」,它清晰地列出了將高級編程語言轉(zhuǎn)換為機(jī)器代碼,模塊化整個(gè)編譯器構(gòu)造的階段。
目前常見的「龍書」編譯原理是2006年底的升級版,它已成為計(jì)算機(jī)科學(xué)本科生的教材。
這本書包含了作者對有效的詞法分析技術(shù)、語法分析技術(shù)和代碼生成技術(shù)所做的算法貢獻(xiàn)。本書的最新版本《編譯器:原理,技術(shù)和工具》(與 Ravi Sethi 和 Monica Lam 合著)于2007年出版,至今仍是有關(guān)編譯器設(shè)計(jì)的標(biāo)準(zhǔn)教科書。
參考鏈接:https://amturing.acm.org/
https://www.nytimes.com/2021/03/31/technology/turing-award-aho-ullman.html
原標(biāo)題:《編譯器神書「龍書」作者獲2020圖靈獎(jiǎng):創(chuàng)造數(shù)百萬編程人員使用的工具和教材》
總結(jié)
以上是生活随笔為你收集整理的创造数百万编程人员使用的“神书”作者获图灵奖的全部內(nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 求秋天的童话歌词。
- 下一篇: 美国法官认定苹果故意出售有缺陷的MacB