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

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

1. 受賞者
------

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

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: Peter Bergstrom、Lee R Gordon、Jonathan L Herlocker、Neophytos Iacovou、Joseph A Konstan、Shyong  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: David DeWitt、Robert Gerber、M. Muralikrishna、Donovan Schneider、Shahram Ghandeharizadeh、Goetz Graefe、Michael Heytens、Hui-I Hsiao、Jeffrey Naughton、Anoop Sharma
2007年 - Statemate: デビッド・ハレル、Hagi Lachover、Amnon Naamad、アミール・プヌーリ、Michal Politi、Rivi Sherman、Mark Trakhtenbrot、Aron Trauring
2006年 - Eiffel: バートランド・メイヤー
2005年 - Nqthm: Robert S. Boyer、Matt Kaufmann、J Strother Moore
2004年 - Secure Network Programming: Raghuram Bindignavle、Simon S. Lam、Shaowen Su、Thomas Y. C. Woo
2003年 - make:
2002年 - Java: ジェームズ・ゴスリン
2001年 - SPINモデルチェッカ:
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: 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: デニス・リッチー、ケン・トンプソン

2. 脚注
-----

3. 外部リンク
--------

[1]