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

ACMソフトウェアシステム賞（ACM Software System Award）は、「概念面あるいは商業面、または両面における成功で長きに渡って影響を及ぼしたソフトウェアシステムを開発した」個人または団体を選定し毎年表彰する賞である。Association for Computing Machinery (ACM) が1983年に創設した。IBMがスポンサーとなっており、2011年時点で3万5千ドルの副賞も授与される。 以下に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 (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: デビッド・ハレル（英語版）、Hagi Lachover、Amnon Naamad、アミール・プヌーリ、Michal Politi、Rivi Sherman、Mark Trakhtenbrot、Aron Trauring 2006年 - Eiffel: バートランド・メイヤー 2005年 - ボイヤー-ムーア定理証明機（英語版）: 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モデルチェッカ: ジェラルド・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: 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: デニス・リッチー、ケン・トンプソン