當(dāng)?shù)貢r(shí)間 3 月 31 日,，國際計(jì)算機(jī)協(xié)會(huì)（ACM）宣布將圖靈獎(jiǎng)（Turing Award）授予哥倫比亞大學(xué)計(jì)算機(jī)科學(xué)名譽(yù)教授 Alfred Vaino Aho 和斯坦福大學(xué)計(jì)算機(jī)科學(xué)名譽(yù)教授 Jeffrey David Ullman,，以表彰他們?cè)诰幊陶Z言實(shí)現(xiàn)（programming language implementation）方面的基礎(chǔ)算法和理論成就,。

圖 | 左 Jeffrey David Ullman 右 Alfred Vaino Aho（來源：The New York Times）

“計(jì)算機(jī)編程的實(shí)踐和日益先進(jìn)的軟件系統(tǒng)的發(fā)展支撐了我們?cè)谶^去 50 年里社會(huì)經(jīng)歷的幾乎所有的技術(shù)變革?！盇CM 主席 Gabriele Kotsis 解釋說,。“雖然無數(shù)的研究人員和實(shí)踐者為這些技術(shù)做出了貢獻(xiàn),，但 Aho 和 Ullman 的工作尤其具有影響力,。他們幫助我們理解算法的理論基礎(chǔ)，并為編譯器和編程語言設(shè)計(jì)的研究和實(shí)踐繪制課程,。自 20 世紀(jì) 70 年代初以來,，Aho 和 Ullman 一直被認(rèn)為是領(lǐng)導(dǎo)者，他們的工作一直指導(dǎo)著一代又一代的程序員和研究人員,，直到今天,。”

谷歌高級(jí)研究員和高級(jí)副總裁 Jeff Dean 補(bǔ)充道,，“Aho 和 Ullman 建立了關(guān)于算法,、形式語言、編譯器和數(shù)據(jù)庫的基本思想,，這對(duì)當(dāng)今編程和軟件領(lǐng)域的發(fā)展至關(guān)重要,。”

“他們也說明了這些不同的學(xué)科是如何緊密相連的,。Aho 和 Ullman 介紹了關(guān)鍵的技術(shù)概念,，包括關(guān)鍵的特定算法。就計(jì)算機(jī)科學(xué)教育而言,，他們的教科書一直是培訓(xùn)學(xué)生,、研究人員和從業(yè)者的黃金標(biāo)準(zhǔn)?！?他表示,。

圖 | Jeff dean ：“研究生時(shí)上編譯課用了'龍書’，非常愉快的回憶,?！保▉碓矗篢witter）

相遇普林斯頓：十幾年的合作默契

1963 年，Aho 和 Ullman 在普林斯頓大學(xué)讀研的第一天排隊(duì)等候注冊(cè)時(shí)相遇,，那時(shí)計(jì)算機(jī)科學(xué)還是一個(gè)陌生的新世界,。

1967 年，二人在貝爾實(shí)驗(yàn)室共事并持續(xù)幾十年,。在貝爾實(shí)驗(yàn)室期間,，他們的早期工作包括開發(fā)分析和翻譯編程語言的高效算法。這些工作為同時(shí)期的計(jì)算機(jī)科學(xué)理論做出了貢獻(xiàn),。

1969 年,，Ullman 開始進(jìn)行學(xué)術(shù)深造,，并最終在斯坦福大學(xué)任教。Aho 后加入哥倫比亞大學(xué),。盡管二人身在不同機(jī)構(gòu),，Aho 和 Ullman 仍繼續(xù)維持了幾十年的合作，在這期間他們合著了書籍和論文,，并介紹了算法,、編程語言、編譯器和軟件系統(tǒng)的新技術(shù),。

人機(jī)語言的翻譯者：編譯器

Aho 和 Ullman 是 “編譯器”（compilers）領(lǐng)域的先驅(qū),。編譯（compile）是將人類使用的高級(jí)語言翻譯成計(jì)算機(jī)可以理解和執(zhí)行的低級(jí)語言 —— 也就是 “0” 和 “1” 的過程。

過去,，使用一臺(tái)計(jì)算機(jī)需要一系列艱深的技術(shù),，這些技術(shù)通常只有受過專業(yè)訓(xùn)練的工程師和數(shù)學(xué)家才能掌握。但是今天,，在編譯器的作用下,，任何人都可以使用計(jì)算機(jī)并且通過編寫程序來執(zhí)行新任務(wù)。倘若沒有 J&A 的發(fā)明,，人們將陷入人與計(jì)算機(jī) “雞同鴨講” 的尷尬之中，計(jì)算機(jī)的使用與軟件的更迭也將囿于一小部分人群,。

微軟的研究人員 Krysta Svore 說道,，沒有他們的工作，“我們將無法編寫手機(jī)中的 App 程序,，也無法擁有我們今天開的汽車”,。Krysta Svore 曾與 Aho 在哥倫比亞大學(xué)學(xué)習(xí)，是當(dāng)時(shí)計(jì)算機(jī)科學(xué)系的主任,。

程序員們的回憶：綠龍書《編譯器設(shè)計(jì)原理》

圖 | 綠龍書” green dragon book（來源：awards.acm）

這本因封面設(shè)計(jì)被人們稱為 “綠龍書”（green dragon book）的《編輯器設(shè)計(jì)原理》(Principles of Compiler Design) 由 Aho 和 Ullman 合著出版于 1977 年,。這本書是編譯器技術(shù)領(lǐng)域內(nèi)的權(quán)威書籍，該書匯集了形式語言理論和語法導(dǎo)向的翻譯技術(shù),，并將其運(yùn)用到編譯器設(shè)計(jì)過程中,。這本書清晰地列出了將高級(jí)編程語言翻譯成機(jī)器代碼的階段，其中包括作者在詞匯分析,、語法分析技術(shù)和代碼生成的有效技術(shù)等算放領(lǐng)域方面所做的突出貢獻(xiàn),。

“綠龍書” 后又經(jīng)歷了兩次升級(jí)與變身。1986 年,，該書的兩位作者加上 Ravi Sethi,，將此書更名為《編譯器：原則、技術(shù)和工具》（Compilers: Principles, Techniques and Tools）,，并進(jìn)行了內(nèi)容上的提升,。不過,，此版在封面上依然沿用騎士和龍的獨(dú)特造型，只是將龍的顏色變成了紅色,，因此被人們稱為 “紅龍書”,。

2007 年，又經(jīng)歷了一次升級(jí)的 “紫龍書” 出版,，作者一欄增加了 Monica Lam,。在這一版的前言中，Aho 寫道：“編寫編譯器的原理和技術(shù)具有十分普遍的意義,，以至于在每個(gè)計(jì)算機(jī)科學(xué)家的研究生涯中,，本書中的原理和技術(shù)都會(huì)反復(fù)被用到”。目前該書仍然是編譯器設(shè)計(jì)的標(biāo)準(zhǔn)教科書,。

“計(jì)算機(jī)界的諾貝爾獎(jiǎng)”：圖靈獎(jiǎng)

圖靈獎(jiǎng)（Turing Award）,，是計(jì)算機(jī)科學(xué)協(xié)會(huì)（ACM）頒發(fā)的年度獎(jiǎng)項(xiàng)，于 1966 年設(shè)立,，以表彰 “對(duì)計(jì)算機(jī)領(lǐng)域具有持久而重大的重要技術(shù)成果”,。 該獎(jiǎng)項(xiàng)名稱取自計(jì)算機(jī)科學(xué)先驅(qū)、英國科學(xué)家艾倫?麥席森?圖靈（Alan M. Turing）,，圖靈通常被認(rèn)為是理論計(jì)算機(jī)科學(xué)和人工智能的主要?jiǎng)?chuàng)始人,。

圖靈獎(jiǎng)對(duì)獲獎(jiǎng)條件要求極高，評(píng)獎(jiǎng)程序極嚴(yán),，它通常被認(rèn)為是計(jì)算機(jī)科學(xué)領(lǐng)域的最高榮譽(yù),，經(jīng)常被稱為 “諾貝爾計(jì)算獎(jiǎng)”。

從 2007 年到 2013 年,，該獎(jiǎng)項(xiàng)獎(jiǎng)金為 25 萬美元,，由英特爾和谷歌提供。自 2014 年以來,，該獎(jiǎng)項(xiàng)獎(jiǎng)金提升至 100 萬美元,，由 Google 提供財(cái)政支持。

1966 年,，ACM 將第一個(gè)圖靈獎(jiǎng)授予了卡內(nèi)基梅隆大學(xué)的 Alan Perlis,。 而首位圖靈獎(jiǎng)女性獲得者是 2006 年 IBM 的 Frances E. Allen。