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

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

**受賞者**
以下にACMソフトウェアシステム賞を受賞したソフトウェアと受賞者を示す。- 2024年 - MPICH: ビル・グロップ, Pavan Balaji, Rajeev Thakur, Yanfei Guo, Kenneth Raffenetti, Hui Zhou- 2023年 - MINIX: アンドリュー・タネンバウム- 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 (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: David DeWitt、Robert Gerber、M. Muralikrishna、Donovan Schneider、Shahram Ghandeharizadeh、Goetz Graefe、Michael Heytens、Hui-I Hsiao、Jeffrey Naughton、Anoop Sharma- 2007年 - Statemate: David Harel、Hagi Lachover、Amnon Naamad、アミール・プヌーリ、Michal Politi、Rivi Sherman、Mark Trakhtenbrot、Aron Trauring- 2006年 - Eiffel: バートランド・メイヤー- 2005年 - label=ボイヤー-ムーア定理証明機: 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: Stuart Feldman- 2002年 - Java: ジェームズ・ゴスリン- 2001年 - SPINモデルチェッカ: Gerard J. Holzmann- 1999年 - The Apache Group: Brian  Behlendorf、Roy Fielding、Rob Hartill、デビッド・ロビンソン、クリス・スコールニク、Randy Terbush、ロバート・S・タウ、アンドリュー・ウィルソン- 1998年 - S言語: label=ジョン・チェンバース- 1997年 - Tcl/Tk: ジョン・オースターハウト- 1995年 - NCSA Mosaic: マーク・アンドリーセン、Eric Bina- 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: アデル・ゴールドバーグ、label=ダン・インガルス、アラン・ケイ- 1986年 - TeX: ドナルド・クヌース- 1985年 - VisiCalc: ダン・ブリックリン、ボブ・フランクストン- 1984年 - Xerox Alto: バトラー・ランプソン、ロバート・テイラー、チャック・サッカー- 1983年 - UNIX: デニス・リッチー、ケン・トンプソン

**脚注**

**外部リンク**
  Software System Award — ACM Awards