| year |
Reason for the award |
people
|
| 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 |
Small talk |
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 YC 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 Wedding Ring
|
| 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
|
