ACM Software System Award
ACM 2005 Software System Award
Das ACM Software System Award ist eine jährliche Auszeichnung, die Menschen oder eine Organisation für die Entwicklung von a ehrt Software System Das hat einen bleibenden Einfluss gehabt, der sich in Beiträgen zu Konzepten, auf kommerzielle Akzeptanz oder beides widerspiegelt. " Verband für Rechenmaschinen (ACM) Seit 1983 mit einem von IBM von derzeit 35.000 US -Dollar gesponserten Geldpreis.[1]
Empfänger
Das Folgende ist eine Liste der Empfänger des ACM Software System Award:[1]
| Jahr | Projekt | Empfänger |
|---|---|---|
| 2021 | CompCert | Xavier Leroy, Sandrine Blazy, Zaynah Dargaye, Jacques-Henri Jourdan, Michael Schmidt, Bernhard Schommer, Jean-Baptiste Tristan |
| 2020 | Berkeley DB | Margo Seltzer, Mike Olson, Keith Bostic |
| 2019 | DNS | Paul Mockapetris |
| 2018 | Wireshark | Gerald C. Combs |
| 2017 | Projekt Jupyter | Fernando PérezBrian 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 Will, Sylvain Corlay, Peter Peter Parterte |
| 2016 | Andrew -Dateisystem | John H. Howard, Michael L. Kazar, David A. Nichols, Sherri Nichols, Mahadev Satyanarayanan, Robert N. Sidebotham, Alfred Spector, Michael West |
| 2015 | GCC | Richard Stallman |
| 2014 | Mach | Richard Rashid, Avie Tevanian |
| 2013 | Coq | Thierry Coquand, Gérard Pierre Huet, Christine Paulin-Mohring, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot und Pierre Castéran |
| 2012 | Llvm | Vikram S. AdveEvan Cheng und Chris Lattner |
| 2011 | Finsternis | John Wiegand, Dave Thomson, Gregory Adams, Philippe Mulet, Julian Jones, John Duimovich, Kevin Haaland, Stephen Northover und Erich Gamma |
| 2010 | Groupens Kollaborative Filterung Empfehlungssysteme | 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 |
| 2009 | VMware Workstation zum Linux 1.0 | Edouard Bugnion, Scott Devine, Mendel Rosenblum, Jeremy Sugerman, Edward Y. Wang |
| 2008 | Gamma Parallele Datenbanksystem | David DeWitt, Robert Gerber, Murali Krishna, Donovan Schneider, Shahram Candeharizadeh, Goetz Graefe, Michael Heytens, Hui-i Hsiao, Jeffrey NaughtonAnoop Sharma |
| 2007 | Statemate | David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Mark Trakhtenbrot, Aron Trauring |
| 2006 | Eiffel[2] | Bertrand Meyer |
| 2005 | Der Boyer-Moore-Theorem-Prover | Robert S. Boyer, Matt Kaufmann, J Strother Moore |
| 2004 | Sichere Netzwerkprogrammierung | Raghuram Bindignavle, Simon S. Lam, Shaowen Su, Thomas Y. C. Woo |
| 2003 | machen | Stuart Feldman |
| 2002 | Java | James Gosling |
| 2001 | Spin -Modellprüfung | Gerard Holzmann |
| 1999 | Die Apache -Gruppe | Brian Behlendorf, Roy Fielding, Rob Hartill, David Robinson, Cliff Skolnick, Randy Terbush, Robert S. Thau, Andrew Wilson |
| 1998 | S | John Chambers |
| 1997 | Tcl/tk | John outsterhout |
| 1996 | NCSA -Mosaik | Marc Andreessen, Eric Bina |
| 1995 | Weltweites Netz | Tim Berners-Lee, Robert Cailliau |
| 1994 | Remote -Verfahrensanruf | Andrew Birrell, Bruce Nelson |
| 1993 | Sketchpad | Ivan Sutherland |
| 1992 | Interisp | Daniel Bobrow, Richard R. Burton, L. Peter Deutsch, Ronald Kaplan, Larry Massinter, Warren Teitelman |
| 1991 | TCP/IP | Vinton G. Cerf, Robert E. Kahn |
| 1990 | NLS | Douglas C. Engelbart, William Englisch, Jeff Rulifson |
| 1989 | PostScript[3] | Douglas K. Brotz, Charles M. Geschke, William H. Paxton, Edward A. Taft, John E. Warnock |
| 1988 | Ingres | Gerald hielt, Michael Stonebraker, Eugene Wong |
| 1988 | System r | Donald Chamberlin, Jim Gray, Raymond Lorie, Gianfranco Putzolu, Patricia Selinger, Irving Traig |
| 1987 | Smalltalk | Adele Goldberg, Daniel Henry Holmes Ingalls, Jr., Alan C. Kay |
| 1986 | Tex | Donald E. Knuth |
| 1985 | VisiCalc | Dan Bricklin, Bob Frankston |
| 1984 | Xerox Alto | Butler W. Lampson, Robert Taylor, Charles P. Thacker |
| 1983 | Unix | Dennis Ritchie, Ken Thompson |
Siehe auch
Verweise
- ^ a b "Softwaresystem Auszeichnung". ACM Awards. Verband für Rechenmaschinen. Abgerufen 28. April, 2016.
- ^ "Eiffeltoftware kündigt an, dass Eiffelstudio automatisierte Testtools anbietet". Virtual-Strategy Magazine. 5. Juni 2012. archiviert von das Original am 8. Dezember 2015. Abgerufen 12. Juni, 2012.
- ^ "ACM Honors Adobe". Computerwelt. 12. März 1990. Abgerufen 12. Juni, 2012.