aus Wikipedia, der freien Enzyklopädie
ACM Software System Award 2005
Der ACM Software System Award ist eine jährliche Auszeichnung, die an Personen oder Organisationen verliehen wird, die sich auf dem Gebiet der Software-System -Entwicklung besonders verdient gemacht haben.
Er wird seit 1983 von der Association for Computing Machinery (ACM) vergeben und ist – Stand 2016 – mit 35.000 US-Dollar dotiert.
Jahr
Grund der Auszeichnung
Personen
1983
Unix
Dennis Ritchie , Ken Thompson
1984
Xerox Alto
Butler W. Lampson , Robert W. Taylor , Charles P. Thacker
1985
Visicalc
Dan Bricklin , Bob Frankston
1986
TeX
Donald E. Knuth
1987
Smalltalk
Adele Goldberg , Daniel Henry Holmes Ingalls, Jr. , Alan C. Kay
1988
Ingres
Gerald Held , Michael Stonebraker , Eugene Wong
1988
System R
Donald D. Chamberlin , Jim Gray , Raymond Lorie , Gianfranco Putzolu , Patricia Selinger , Irving Traiger
1989
PostScript
Douglas K. Brotz , Charles M. Geschke , William H. Paxton , Edward A. Taft , John E. Warnock
1990
On-Line System (NLS)
Douglas C. Engelbart , William English , Jeff Rulifson
1991
TCP/IP
Vinton G. Cerf , Robert E. Kahn
1992
Interlisp
Daniel Bobrow , Richard R. Burton , L. Peter Deutsch , Ronald Kaplan , Larry Masinter , Warren Teitelman
1993
Sketchpad
Ivan Sutherland
1994
Remote Procedure Call
Andrew Birrell , Bruce Nelson
1995
World Wide Web
Tim Berners-Lee , Robert Cailliau
1996
NCSA Mosaic
Marc Andreessen , Eric Bina
1997
Tcl/Tk
John Ousterhout
1998
S
John M. Chambers
1999
The Apache Group
Brian Behlendorf , Roy Fielding , Rob Hartill , David Robinson , Cliff Skolnick , Randy Terbush , Robert S. Thau , Andrew Wilson
2001
SPIN model checker
Gerard Holzmann
2002
Java
James Gosling
2003
Make
Stuart Feldman
2004
Secure Network Programming
Raghuram Bindignavle , Simon S. Lam , Shaowen Su , Thomas Y. C. Woo
2005
The Boyer-Moore Theorem Prover (Nqthm)
Robert S. Boyer , Matt Kaufmann , J. Strother Moore
2006
Eiffel
Bertrand Meyer
2007
Statemate
David Harel , Hagi Lachover , Amnon Naamad , Amir Pnueli , Michal Politi , Rivi Sherman , Mark Trakhtenbrot , Aron Trauring
2008
Gamma Parallel Database System
David DeWitt , Robert Gerber , Murali Krishna , Donovan Schneider , Shahram Ghandeharizadeh , Goetz Graefe , Michael Heytens , Hui-I Hsiao , Jeffrey Naughton , Anoop Sharma
2009
VMware Workstation for Linux 1.0
Edouard Bugnion , Scott Devine , Mendel Rosenblum , Jeremy Sugerman , Edward Y. Wang
2010
GroupLens Collaborative Filtering Recommender Systems
Peter Bergstrom , Lee R. Gordon , Jonathan L. Herlocker , Neophytos Iacovou , Joseph A. Konstan , Shyong K. Lam , David Maltz , Sean McNee , Bradley Miller , Paul J. Resnick , John T Riedl , Mitesh Suchak
2011
Eclipse (IDE)
John Wiegand , Dave Thomson , Gregory Adams , Philippe Mulet , Julian Jones , John Duimovich , Kevin Haaland , Stephen Northover , Erich Gamma
2012
LLVM
Vikram S. Adve , Evan Cheng , Chris Lattner
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
2014
Mach (Kernel)
Rick Rashid , Avie Tevanian
2015
GNU Compiler Collection
Richard Stallman
2016
Andrew File System
Mahadev Satyanarayanan , Michael L. Kazar , Robert N. Sidebotham , David A. Nichols , Michael J. West , John H. Howard , Alfred Z. Spector , Sherri M. Nichols
2017
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
2018
Wireshark
Gerald C. Combs
2019
Domain Name System
Paul Mockapetris
2020
NoSQL , Dual Licence
Margo Seltzer , Mike Olson , Keith Bostic
2021
CompCert
Xavier Leroy , Sandrine Blazy , Zaynah Dargaye , Jacques-Henri Jourdan , Michael Schmidt, Bernhard Schommer , Jean-Baptiste Tristan
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
2023
MINIX
Andrew S. Tanenbaum