ACM已經(jīng)頒發(fā)了2012年度的計(jì)算領(lǐng)域創(chuàng)新獎(jiǎng),其中的軟件系統(tǒng)獎(jiǎng)?lì)C發(fā)給了LLVM的創(chuàng)建者。
計(jì)算機(jī)協(xié)會(huì)(ACM)宣布了2012年度6個(gè)著名獎(jiǎng)項(xiàng)的得主,獎(jiǎng)勵(lì)他們“在將計(jì)算機(jī)科學(xué)應(yīng)用于解決現(xiàn)實(shí)挑戰(zhàn)方面的重大貢獻(xiàn)”,這也反映了“在計(jì)算機(jī)網(wǎng)絡(luò)、信息檢索、計(jì)算機(jī)科學(xué)教育、多智能體系統(tǒng)、通用編譯技術(shù)和人機(jī)交互技術(shù)等方面的成就”。
軟件系統(tǒng)獎(jiǎng)是其中之一,由Vikram S Adve、Evan Cheng和Chris Lattner獲得,獎(jiǎng)勵(lì)他們?cè)贚LVM編譯器基礎(chǔ)架構(gòu)方面的貢獻(xiàn)。LLVM工具集支持對(duì)任意語言進(jìn)行代碼分析和變換。LLVM技術(shù)已經(jīng)應(yīng)用于多家公司的產(chǎn)品,如Apple、Adobe、AMD、Arxan、AutoESL、Cray、Google、Intel、National Instruments、nVidia、REAL Software、XMOS等等。LLVM 3.2版發(fā)布于2012年12月,3.3版本會(huì)在不久的將來發(fā)布。
ACM軟件系統(tǒng)獎(jiǎng)自1983年設(shè)立以來,已被授予很多著名人物,如Dennis Ritchie和Ken Thompson(UNIX)、Alan Kay(Smalltalk)、Michael Stonebraker(INGRES)、Vinton Cerf(TCP/IP)和Tim Berners-Lee(WWW)等等。完整的列表很長(zhǎng),在此不再一一列舉。
Martin Casado和Dina Katabi獲得了Grace Murray Hopper獎(jiǎng)(該獎(jiǎng)項(xiàng)授予當(dāng)年的優(yōu)秀青年計(jì)算機(jī)專家),以表彰他們對(duì)網(wǎng)絡(luò)效率的改進(jìn)。Casado發(fā)起了軟件定義網(wǎng)絡(luò)(SDN)運(yùn)動(dòng),他的的貢獻(xiàn)在于使用OpenFlow(一種開放API)、OpenVswitch以及NOX和ONIX SDN控制器給基于硬件的網(wǎng)絡(luò)計(jì)算機(jī)提供了軟件替代方案。Dina Katabi提出了一種新的網(wǎng)絡(luò)協(xié)議設(shè)計(jì)方案,在網(wǎng)絡(luò)擁塞控制方面有重要貢獻(xiàn)。
Andrei Broder、Moses Charikar和Piotr Indyk因?yàn)榫植棵舾泄#↙SH)算法獲得Paris Kanellakis理論與實(shí)踐獎(jiǎng),該算法用于在大型數(shù)據(jù)庫中檢索相似條目。
Eric Roberts獲得Karl V. Karlstrom杰出教育家獎(jiǎng),以獎(jiǎng)勵(lì)他在計(jì)算機(jī)科學(xué)教育方面的貢獻(xiàn)。Roberts是《Thinking Recursively》一書的作者,他在斯坦福大學(xué)創(chuàng)建了計(jì)算機(jī)科學(xué)本科培養(yǎng)計(jì)劃并且在百慕大群島的公立高中開設(shè)了計(jì)算機(jī)課程。
Yoav Shoham和Moshe Tennenholtz獲得ACM / AAAI Newell獎(jiǎng),以表彰他們?cè)凇翱缬?jì)算機(jī)科學(xué)、博弈論和經(jīng)濟(jì)學(xué)的多智能體系統(tǒng)”方面的貢獻(xiàn)。作為先驅(qū)者,Shoham提供了一種方法來“說明分布式多智能體系統(tǒng)”。而作為開拓者,Tennenholtz提供了幾種方法來“設(shè)計(jì)與分析計(jì)算設(shè)置中決策者之間的相互作用”。Tennenholtz還創(chuàng)造了RMax,這是一種通過與環(huán)境交互進(jìn)行學(xué)習(xí)的算法。
Thomas Bartoschek和Johannes Sch?ning因?yàn)椤靶@地理信息科學(xué)”(GI@School)獲得Eugene L. Lawler獎(jiǎng)。該程序使得學(xué)生可以“在他們的社區(qū)設(shè)計(jì)問題解決方案時(shí)綜合利用地理信息和人機(jī)交互技術(shù)”。
本文轉(zhuǎn)載自infoQ