2005年のACMソフトウェアシステム賞のトロフィ ACMソフトウェアシステム賞 （ACM Software System Award ）は、「概念面あるいは商業面、または両面における成功で長きに渡って影響を及ぼしたソフトウェア システムを開発した」個人または団体を選定し毎年表彰する賞である。Association for Computing Machinery (ACM) が1983年に創設した。IBM がスポンサーとなっており、2011年時点で3万5千ドルの副賞も授与される[ 1]
以下にACMソフトウェアシステム賞を受賞したソフトウェアと受賞者を示す[ 1]
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 （英語版 ）
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] 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] デビッド・ハレル （英語版 ） アミール・プヌーリ 、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] Simon S. Lam 、Shaowen Su、Thomas Y. C. Woo
2003年 - make : スチュワート・フェルドマン （英語版 ）
2002年 - Java : ジェームズ・ゴスリン
2001年 - SPINモデルチェッカ : ジェラルド・J・ホルツマン （英語版 ）
1999年 - The Apache Group : ブライアン・ベーレンドルフ （英語版 ） ロイ・フィールディング （英語版 ） ロブ・ハーティル （英語版 ） ランディ・ターブッシュ （英語版 ）
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] チャールズ・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 : デニス・リッチー 、ケン・トンプソン
