ACMソフトウェアシステム賞

ACMソフトウェアシステム賞（ACM Software System Award）は、「概念面あるいは商業面、または両面における成功で長きに渡って影響を及ぼしたソフトウェアシステムを開発した」個人または団体を選定し毎年表彰する賞である。Association for Computing Machinery (ACM) が1983年に創設した。IBMがスポンサーとなっており、2011年時点で3万5千ドルの副賞も授与される^[1]。

受賞者[編集]

以下にACMソフトウェアシステム賞を受賞したソフトウェアと受賞者を示す^[1]。

• 2022年 - seL4: Gernot Heiser, Gerwin Klein, Harvey Tuch, Kevin Elphinstone, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Toby Murray, Rafal Kolanski, Michael Norrish, Thomas Sewell, Simon Winwood
• 2021年 - CompCert: Xavier Leroy, Sandrine Blazy, Zaynah Dargaye, Jacques-Henri Jourdan, Michael Schmidt, Bernhard Schommer, Jean-Baptiste Tristan
• 2020年 - NoSQL, Dual Licence: Margo Seltzer, Mike Olson, Keith Bostic
• 2019年 - DNS: ポール・モカペトリス
• 2018年 - Wireshark: Gerald C. Combs
• 2017年 - Project Jupyter: Fernando Pérez、Brian E. Granger、Min Ragan-Kelley、Paul Ivanov、Thomas Kluyver、Jason Grout、Matthias Bussonnier、Damián Avila、Steven Silvester、Jonathan Frederic、Kyle Kelley、Jessica Hamrick、Carol Willing、Sylvain Corlay、Peter Parente
• 2016年 - Andrew File System: John H. Howard、Michael L. Kazar、David A. Nichols、Sherri Nichols、Mahadev Satyanarayanan、Robert N. Sidebotham、Alfred Spector、Michael West
• 2015年 - GCC: リチャード・ストールマン
• 2014年 - Mach: Rick Rashid、 アビー・テバニアン
• 2013年 - Coq: Thierry Coquand（英語版）、Gérard Huet（英語版）、Christine Paulin-Mohring、Bruno Barras、 Jean-Christophe Filliâtre、Hugo Herbelin、Chet Murthy、Yves Bertot、Pierre Castéran
• 2012年 - LLVM: Vikram S. Adve、 Evan Cheng、 Chris Lattner
• 2011年 - Eclipse: John Wiegand、Dave Thomson、Gregory Adams、Philippe Mulet、Julian Jones、John Duimovich、Kevin Haaland、Stephen Northover、エーリヒ・ガンマ
• 2010年 – GroupLens Research（英語版）^[2]: Peter Bergstrom、Lee R Gordon、Jonathan L Herlocker、Neophytos Iacovou、Joseph A Konstan、Shyong (Tony) K. Lam、David Maltz、Sean McNee、Bradley N Miller、Paul J Resnick、John T. Riedl、Mitesh Suchak
• 2009年 - VMware Workstation for Linux 1.0: Edouard Bugnion、Scott Devine、Mendel Rosenblum、Jeremy Sugerman、Edward Y. Wang
• 2008年 - Gamma Parallel Database System^[3][4]: David DeWitt、Robert Gerber、M. Muralikrishna、Donovan Schneider、Shahram Ghandeharizadeh、Goetz Graefe、Michael Heytens、Hui-I Hsiao、Jeffrey Naughton、Anoop Sharma
• 2007年 - Statemate^[5]: デビッド・ハレル（英語版）、Hagi Lachover、Amnon Naamad、アミール・プヌーリ、Michal Politi、Rivi Sherman、Mark Trakhtenbrot、Aron Trauring
• 2006年 - Eiffel:^[6] バートランド・メイヤー
• 2005年 - ボイヤー-ムーア定理証明機（英語版）: Robert S. Boyer、Matt Kaufmann、J Strother Moore
• 2004年 - Secure Network Programming^[7]: Raghuram Bindignavle、Simon S. Lam、Shaowen Su、Thomas Y. C. Woo
• 2003年 - make: スチュワート・フェルドマン（英語版）
• 2002年 - Java: ジェームズ・ゴスリン
• 2001年 - SPINモデルチェッカ: ジェラルド・J・ホルツマン（英語版）
• 1999年 - The Apache Group: ブライアン・ベーレンドルフ（英語版）、ロイ・フィールディング（英語版）、ロブ・ハーティル（英語版）、デビッド・ロビンソン、クリス・スコールニク、ランディ・ターブッシュ（英語版）、ロバート・S・タウ、アンドリュー・ウィルソン
• 1998年 - S言語: ジョン・チェンバース（英語版）
• 1997年 - Tcl/Tk: ジョン・オースターハウト（英語版）
• 1995年 - NCSA Mosaic: マーク・アンドリーセン、エリック・バイナ（英語版）
• 1995年 - World Wide Web: ティム・バーナーズ＝リー、ロバート・カイリュー
• 1994年 - Remote Procedure Call: Andrew Birrell、Bruce Nelson
• 1993年 - Sketchpad: アイバン・サザランド
• 1992年 - Interlisp: Daniel Bobrow、Richard R. Burton、L・ピーター・ドイチュ、Ronald Kaplan、Larry Masinter、Warren Teitelman
• 1991年 - TCP/IP: ヴィントン・サーフ、ロバート・カーン
• 1990年 - NLS: ダグラス・エンゲルバート、ビル・イングリッシュ、ジェフ・ルリフソン
• 1989年 - PostScript:^[8] Douglas K. Brotz、チャールズ・M・ゲシキ、William H. Paxton、Edward A. Taft、ジョン・ワーノック
• 1988年 - INGRES: Gerald Held、マイケル・ストーンブレーカー、Eugene Wong
• 1988年 - System R: ドナルド・チェンバリン、ジム・グレイ、Raymond Lorie、Gianfranco Putzolu、Patricia Selinger、Irving Traiger
• 1987年 - Smalltalk: アデル・ゴールドバーグ、ダン・インガルス（英語版）、アラン・ケイ
• 1986年 - TeX: ドナルド・クヌース
• 1985年 - VisiCalc: ダン・ブリックリン、ボブ・フランクストン
• 1984年 - Xerox Alto: バトラー・ランプソン、ロバート・テイラー、チャック・サッカー
• 1983年 - UNIX: デニス・リッチー、ケン・トンプソン

脚注[編集]

外部リンク[編集]

• Software System Award — ACM Awards