7 位大牛獲獎!ACM 公布軟體系統獎、卡內拉克斯理論與實踐獎、艾倫...

2020-12-04 CSDN

頭圖 | ACM 官網

2020年5月20日,計算機協會(Association for Computing Machinery)宣布了三項著名技術獎的獲得者。這些獲獎者由同行選出,旨在表彰他們為計算機技術創新所做出的貢獻。

ACM 軟體系統獎

ACM 軟體系統獎主要頒發給開發出具有長遠影響力軟體系統的機構或個人,這些影響體現在對概念的貢獻,商業價值或兩者兼有之。軟體系統獎的獎金為 35,000 美元,由 IBM 公司提供資金支持。開發域名系統(DNS)的 ThreatSTOP 首席科學家 Paul Mockapetris 獲得了 ACM 軟體系統獎。DNS 主要提供全球分布式目錄服務,是全球網際網路功能的重要組成部分。

Paul Mockapetris 獲得 ACM 軟體系統獎 圖源:ACM官網

在上個世紀 80 年代初,網際網路在線社區主要通過集中管理目錄將計算機主機名與 IP 地址相匹配。隨著網際網路的高速發展,維護單個集中式主機目錄變得緩慢而低效,因此需要新的可擴展架構。為滿足這一需求,Paul Mockapetris 於 1983 年設計並構建域名系統(DNS),同時創建了相關查詢協議,伺服器實現和初始根伺服器。在 Paul Mockapetris 開發 DNS 之時,每天有數千個用於建立關聯 IP 地址的名稱查找。如今,DNS 仍然使用 37 年前構建的核心組件,但已管控 3.5 億個單獨管理的域,且每天響應數百億次查詢。DNS 已成為許多應用程式(包括電子郵件和網址)的基礎。全球資訊網的核心組件通用資源定位器(URL)和通用資源標識符(URI),也依賴 DNS 系統中引入的域名。雖然其他開發者已為 DNS 添加許多新功能,但 Paul Mockapetris 創建的原始架構可以合併這些新的功能,證明了其開發工作的價值。

卡內拉克斯理論與實踐獎

卡內拉克斯理論與實踐獎旨在表彰對計算實踐產生重大影響的特定理論成就。該獎項的獎金為 10,000 美元,由卡內拉克斯家族提供,並由計算機協會的算法和計算理論特別興趣小組(SIGACT)、設計自動化(SIGDA),數據管理(SIGMOD)、程式語言(SIGPLAN),ACM SIG 項目基金以及個人捐款提供額外資金支持。來自普林斯頓大學和特拉維夫大學的 Noga Alon、卡內基梅隆大學的 Phillip Gibbons、谷歌和特拉維夫大學的 Yossi Matias、羅格斯大學的 Mario Szegedy 共同獲得卡內拉克斯理論與實踐獎。他們為流算法(streaming algorithms)及其大規模數據分析應用做出了開創性工作。

圖源:ACM官網

Noga Alon、Phillip Gibbons、Yossi Matias 和 Mario Szegedy 率先提出一種用於處理大規模海量數據集的算法框架。目前,他們的 Sketch 算法和流算法仍是流式傳輸大數據的核心方法,且構成算法領域中的整個子區域。此外,他們所引入的 sketch 和概要(synopses)概念如今已常用於資料庫中的各種數據分析、網絡監控、網際網路產品使用情況分析,自然語言處理和機器學習。在他們的開創性論文 "The Space Complexity of Approximating the Frequency Moments"中, Alon、Matias 和 Szegedy 為使用有限內存分析數據流奠定了基礎。後續論文,包括由 Alon、Gibbons、Matias 和 Szegedy 完成的 "Tracking Join and Self-join Sizes in Limited Storage",以及由 Gibbons、Matias 完成的"New Sampling-Based Summary Statistics for Improving Approximate Query Answers",擴展了數據概要的概念,並在流媒體和草圖算法這一新興領域的發展中發揮了重要作用。這項工作已經應用於資料庫中的查詢規劃和處理,以及用於監控網絡中生成的大量數據的小型概要的設計。

ACM – AAAI 艾倫·紐厄爾獎

ACM – AAAI 艾倫·紐厄爾獎頒發給那些在計算機科學領域或在計算機科學和其他學科之間起到橋梁作用的貢獻者。艾倫·紐厄爾獎的 1 萬美元獎金由 ACM 和美國人工智慧促進會(AAAI)以及個人捐款提供。萊斯大學的 Lydia E. Kavraki,史丹福大學的 Daphne Koller,獲得 ACM – AAAI 艾倫. 紐厄爾獎。

圖源:ACM官網

Lydia Kavraki 因其在機器人運動規劃方面的開創性貢獻而受到認可,包括隨機運動規划算法和概率路線圖的發明,以及在生物信息學和生物醫學方面的應用。Kavraki 在物理算法方面進行了基礎性工作,並開發了高效的高維搜索框架,這些框架影響了機器人技術(運動規劃、混合系統、機器人學形式化方法、裝配規劃以及微靈活操作),以及計算結構生物學、轉化生物信息學和生物醫學信息學。Kavraki 已經撰寫了超過 240 篇經過同行評審的出版物,也是廣泛使用的機器人技術教科書《機器運動原理(Principles of Robot Motion)》的作者之一。她的開創性論文"Probabilistic Roadmaps for Path Planning in High Dimensional Configuration Spaces" ,是第一個建立用於開發高維空間路線圖的概率方法的論文,這已成為複雜物理系統的運動規劃的關鍵技術之一。Kavraki 的貢獻超越了機器人技術,還解決了蛋白質功能解讀、代謝網絡的理解以及分子構象和蛋白質靈活性研究背後的問題。她研究的問題包括生物分子的三維結構及其與其他生物分子相互作用的能力,主要用於藥物設計,以及最近用於個性化癌症免疫治療。Daphne Koller 因其對機器學習和概率模型的開創性貢獻、將這些技術應用於生物學和人類健康以及對民主化教育的貢獻而被認可。Koller 是圖形模型開發和使用的領導者,包括學習模型結構及其參數,並率先統一了統計學習和關係建模語言。她還開發了在時間模型中進行推理和學習的基本方法。她的教科書(與 Nir Friedman 合著)《概率圖模型(Probabilistic Graphical Models)》是這一領域的權威著作。作為將機器學習方法引入生命科學的早期領導者,她開發了模塊網絡,她和她的同事利用基因調控程序中的模塊性來建立一個有效的基因活動模型。她開發了機器學習在病理學上的突破性應用,這項工作不僅證明了機器學習的能力超過了人類病理學家,而且也是第一個強調間質組織在癌症預後中的重要性(現在已得到廣泛認可)的工作之一。Koller 也是 Coursera 的聯合創始人和前聯合執行長,Coursera 是一個向世界各地的人們提供頂尖大學免費教育的平臺,創立八年來,已經觸及了世界各國 5000 多萬學習者的生活。Koller 目前是 Insitro 的創始人兼執行長,Insitro 是一家生物技術初創公司,致力於通過大規模整合機器學習和生物學來發現更好的藥物。

關於 ACM

計算機科學協會(ACM)是世界上最大的教育和科學計算機學會,它將計算機教育工作者、研究人員和專業人士聯合起來,以激發對話、共享資源並應對該領域的挑戰。ACM 通過強大的領導力、最高標準的推廣以及對技術卓越的認可,增強了計算機行業的集體聲音。ACM 通過提供終身學習、職業發展和專業網絡的機會來支持其成員的專業成長。參考資料:https://awards.acm.org/software-systemhttps://awards.acm.org/kanellakishttps://awards.acm.org/newell

【End】

相關焦點

  • 7位圖靈獎得主當選,新晉多位華人,2020 ACM Fellow公布
    機器之心報導機器之心編輯部2020 年度的 ACM Fellow 名單已正式公布,共 95 人入選,其中包括陳怡然、周昆、顏水成、王義、呂晨陽等多位華人學者。2020 年,共有 95 人因其在人工智慧、雲計算、計算機圖形學、計算生物學、數據科學、人機互動、軟體工程、理論計算機科學和虛擬實境等領域中的號廣泛和基礎性貢獻入選 ACM Fellow。他們的成就推動了技術、工業和個人生活等多個方面的顯著進步和創新。
  • 這7位圖靈獎得主才入選ACM Fellow,他們可是程式設計師「祖師爺」
    來源:量子位罕見!7位圖靈獎得主、計算機科學多項基礎研究的關鍵大牛,竟然今日才成ACM Fellow……要知道,ACM——美國計算機協會,全世界最知名、重要的計算機組織,而Fellow(會士)則是成員的最重要榮譽之一。並且計算機領域的「諾貝爾獎」,也由ACM評選和頒發。
  • 這7位圖靈獎得主
    這7位圖靈獎得主,竟然今日才入選ACM Fellow,他們可是程式設計師「祖師爺」7位圖靈獎得主計算機科學許多基礎研究的關鍵是ACM研究員。要知道,ACM—美國計算機協會是世界著名的重要計算機組織,會員是其重要榮譽之一。計算機領域的諾貝爾獎由ACM頒發。今天(2021年1月14日),當ACM新選出的研究員名單公布時,七位靈魂獎得主的名單令人驚訝。
  • 最新 ACM Fellows名單,7位圖靈獎得主上榜,13位華人入圍
    1 月 14 日,國際計算機學會(ACM)公布了 2020 ACM Fellow 名單,共有 95 位科學家入選,其中有 12 位華人科學家入選。他們分別在人工智慧(AI)、雲計算(cloud computing)、計算機圖形學(computer graphics)、計算生物學(computational biology)、數據科學(data science)、人機互動(human-computer interaction)、軟體工程(software engineering)、理論計算機科學(theoretical computer
  • 首屆AAAI/ACM SIGAI博士論文獎公布,姚班學霸吳佳俊獲獎
    今年7月,一年一度的 ACM 博士論文獎發布,畢業於特拉維夫大學的 Dor Minzer 獲得該獎項。吳佳俊和瑞士洛桑聯邦理工學院(EPFL)博士 Jakub Tarnawski 獲得榮譽提名獎。
  • 2018年狄拉克獎公布,華人科學家文小剛獲獎!
    原標題:2018年狄拉克獎公布,華人科學家文小剛獲獎! sefd 2018 年 8 月 8 日,ICTP 宣布將 2018 年狄拉克獎授予 3 位物理學家。他們分別是哈佛大學 Subir Sachdev 教授,芝加哥大學 Dam Thanh Son 教授,以及 MIT 著名物理學家文小剛教授。
  • 2018年理論物理最高獎公布,華人科學家文小剛獲獎!
    2018 年 8 月 8 日,ICTP 宣布將 2018 年狄拉克獎授予 3 位物理學家。他們分別是哈佛大學 Subir Sachdev 教授,芝加哥大學 Dam Thanh Son 教授,以及 MIT 著名物理學家文小剛教授。
  • ACM公布2017 Fellow名單,楊強、芮勇、馬毅等7名華人當選
    新智元報導來源:ACM作者:文強,常佩琦,全月【新智元導讀】ACM剛剛公布了2017年新當選Fellow名單,54人中有7位華人,包括香港科技大學的楊強教授、伯克利的馬毅教授、聯想CTO芮勇博士。2016年ACM Fellow只有兩位華人,微軟的黃學東博士和南京大學周志華教授。
  • 2019高德納獎、哥德爾獎公布!阿里達摩院、以色列科學家獲獎
    新智元報導 來源:acm.org編輯:肖琴【新智元導讀】今天,ACM官方公布了2019年高德納獎和哥德爾獎的得主,分別表彰Avi Wigderson對計算隨機性的革命性理解和Irit Dinur對PCP定理的基礎性工作。
  • 2020年「邵逸夫獎」獲獎名單公布 6位科學家獲獎
    【解說】5月21日,邵逸夫獎理事會在香港公布2020年度「邵逸夫獎」獲獎名單,來自美國、英國、德國和以色列的6名科學家獲得天文學、生命科學與醫學、數學科學獎,每項獎金為120萬美元。邵逸夫獎理事會主席楊綱凱宣布,由於新冠肺炎疫情,2020年度「邵逸夫獎」頒獎儀式延期到2021年舉行,具體日期另行通知。
  • 諾貝爾經濟學獎揭曉,拍賣理論為什麼能獲獎?
    2020年諾貝爾經濟學獎頒給了兩位來自美國史丹福大學的經濟學家——米爾格羅姆和威爾遜,獲獎理由為「改進拍賣理論,發明新拍賣形式」。什麼是拍賣理論?這兩位經濟學家又為何受到諾貝爾經濟學獎青睞?拍賣理論為什麼能獲獎?在實際生活中,不少商品、服務都是以拍賣方式進行的,這令拍賣理論成為近四五十年來經濟學學科中最具影響力的理論之一。
  • 2019 ACM博士論文獎公布,MIT學霸吳佳俊獲榮譽提名
    今日,2019 ACM 最佳博士論文獎公布,畢業於特拉維夫大學的 Dor Minzer 獲得該獎項。此外,來自微軟的 Jakub Tarnawski 和出身清華姚班的吳佳俊獲得榮譽提名獎。2019 ACM 最佳博士論文獎這篇論文的主要貢獻是設置了測試布爾函數單調性的複雜度,並在解決 UGC(Unique Games Conjecture)方面取得了重大進展。UGC 是近似算法和複雜性理論中的最核心問題之一。
  • ACM MM 2020大獎項出爐!南開獲最佳論文獎,西安交大獲最佳學生論文獎
    第28屆ACM國際多媒體會議(ACM MM)最佳論文獎、最佳學生論文獎、最佳demo獎、 最佳開源軟體獎在內的所有多媒體領域大獎都已出爐。其中最佳論文的一作是來自南開大學Hongru Liang,最佳學生論文的一作是來自西安交大的Wenbo Zheng。
  • 徐祥臨:中國消除貧困的理論與實踐要勝於諾獎得主
    2019年諾貝爾經濟學獎頒給了阿比吉特·巴納吉、埃斯特·迪弗洛和麥可·克雷默,獲獎理由是他們為減輕全球貧困所做的實驗性貢獻。結果公布後,收穫各方普遍讚譽,也引起對脫貧工作的更多廣泛討論。基於此為廣大頭條號網友轉載一篇我本人對諾獎經濟學獎獲獎理論和中國減貧經驗進行比照解讀,以饗讀者。
  • 2018年狄拉克獎公布,文小剛獲獎!
    3位物理學家。狄拉克獎章是在1985年為紀念量子力學奠基人之一、英國理論物理學家保羅狄拉克(Paul Dirac)而設置的年度性獎項,是國際理論物理和數學物理領域的最高榮譽。該獎章不授予諾貝爾獎、費爾茲獎和沃爾夫獎的獲得者,但狄拉克獎章獲得者仍可被授予諾貝爾獎等獎項。
  • 推薦系統頂會RecSys2020大獎出爐!騰訊摘獲最佳長論文獎
    作者 | 陳大鑫近日,RecSys 2020官網公布了本屆最佳長短文論文獎。來自騰訊PCG團隊的四位作者Hongyan Tang、Junning Liu、Ming Zhao、Xudong Gong憑藉研究出一種新的多任務學習個性化推薦模型獲得了最佳長論文獎,獲獎論文:《Progressive Layered Extraction (PLE): A Novel Multi-Task Learning (MTL) Model for Personalized
  • 諾貝爾物理學獎公布!3位研究黑洞的科學家獲獎,霍金本應有姓名
    本次諾貝爾物理學獎的另一半,由德國天體物理學家萊因哈特・根澤爾和美國天文學家安德裡亞・格茲獲得,而格茲也是歷史上第 4 位,獲得諾貝爾物理學獎的女性科學家。簡單來說,他們所做的,就是找到了黑洞的存在以及它所帶來的影響。
  • 諾貝爾物理學獎公布!3位研究黑洞的科學家獲獎,霍金本應有姓名
    值得注意的是,著名的奇點理論,是由史蒂芬霍金與彭羅斯一起提出的,也就是說,如果霍金仍在世的話,今年獲得諾貝爾物理學獎的人,或許不會只有彭羅斯一人。本次諾貝爾物理學獎的另一半,由德國天體物理學家萊因哈特根澤爾和美國天文學家安德裡亞格茲獲得,而格茲也是歷史上第 4 位,獲得諾貝爾物理學獎的女性科學家。
  • 2020年諾貝爾物理學獎揭曉,黑洞理論終獲獎
    10月6日瑞典皇家科學院在斯德哥爾摩舉行的頒獎儀式上宣布,2020年諾貝爾物理學獎授予三位科學家,羅傑-彭羅斯、萊因哈德-根澤爾和安德烈-蓋茲,以表彰他們關於黑洞的發現。而三位科學獎也將獲得總計1000萬瑞典克朗的獎金,相當於760萬元人民幣。
  • 2020諾貝爾經濟學獎正式公布:兩位美國經濟學家獲獎
    【新民晚報·新民網】2020諾貝爾經濟學獎剛剛公布:由兩位來自美國的經濟學家保羅·米爾格羅姆和羅伯特·威爾森 獲得,獲獎理由為「對拍賣理論的改進和發明了新拍賣形式」。這是經濟學獎首次頒給了「拍賣理論」。1961年,威廉·維克瑞(Vickery, W.)開創性地提出了拍賣理論。在詳細分析了英國式拍賣、荷蘭式拍賣、第一價格拍賣(Vickery auction)和第二拍賣等四種拍賣方法後,他發現無論採用什麼拍賣制度,總是滿足出價最高者中標,並且支付的價格是出價第二高競標者願意支付的最高價格。