| Année |
Projet |
Récipiendaires |
|---|
| 1983 | UNIX | Dennis Ritchie, Ken Thompson |
| 1984 | Xerox Alto | Butler Lampson, Robert 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 Kay |
| 1988 | System R | Donald Chamberlin, Jim Gray, Raymond Lorie, Gianfranco Putzolu, Patricia Selinger, Irving Traiger |
| 1988 | Ingres | Gerald Held, Michael Stonebraker, Eugene Wong |
| 1989 | PostScript[2] | Douglas K. Brotz, Charles M. Geschke, William H. Paxton, Edward A. Taft, John E. Warnock |
| 1990 | NLS | Douglas Engelbart, Bill 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 |
| 1995 | NCSA Mosaic | Marc Andreessen, Eric Bina |
| 1997 | Tcl/Tk | John Ousterhout |
| 1998 | S | John 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 | Robert S. Boyer, Matt Kaufmann, J Strother Moore |
| 2006 | Eiffel[3] | 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 | Édouard Bugnion (en), Scott Devine, Mendel Rosenblum, Jeremy Sugerman, Edward Y. Wang |
| 2010 | GroupLens (en) Collaborative filtering Recommender Systems | Peter Bergstrom, Lee R. Gordon, Jonathan L. Herlocker, Neophytos Iacovou, Joseph A. Konstan, Shyong (Tony) K. Lam, David Maltz, Sean M. McNee, Bradley N. Miller, Paul J. Resnick, John T. Riedl, Mitesh Suchak |
| 2011 | Eclipse | John Wiegand, Dave Thomson, Gregory Adams, Philippe Mulet, Julian Jones, John Duimovich, Kevin Haaland, Stephen Northover et Erich Gamma |
| 2012 | LLVM | Vikram S. Adve, Evan Cheng et Chris Lattner |
| 2013 | Rocq | Thierry Coquand, Gérard Pierre Huet, Christine Paulin-Mohring, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot et Pierre Castéran |
| 2014 | Mach | Rick Rashid, Avie Tevanian |
| 2015 | GCC | Richard Stallman |
| 2016 | Andrew File System | John H. Howard, Michael L. Kazar, David A. Nichols, Sherri Nichols, Mahadev Satyanarayanan, Robert N. Sidebotham, Alfred Spector, Michael West |
| 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 |
DNS |
Paul Mockapetris |
| 2020 |
Berkeley DB |
Keith Bostic, Michael Olson, Margo Seltzer |
| 2021 |
CompCert |
Xavier Leroy, Sandrine Blazy, Zaynah Dargaye, Jacques-Henri Jourdan, Michael Schmidt, Bernhard Schommer, Jean-Baptiste Tristan |
