ACM Software System Award
From Wikipedia, the free encyclopedia
The ACM Software System Award is an award offered by the Association for Computing Machinery (ACM):
| β | awarded to an institution or individual(s) recognized for developing a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both. The Software System Award carries a prize of $35,000. Financial support for the Software System Award is provided by IBM.[1] | β |
Contents |
[edit] Recipients
The following is a list of recipients of the ACM Software System Award:[2]
- 2007 - Statemate: David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Mark Trakhtenbrot, Aron Trauring
- 2006 - Eiffel: Bertrand Meyer
- 2005 - The Boyer-Moore Theorem Prover: Robert S. Boyer, Matt Kaufmann, J Strother Moore
- 2004 - Secure Network Programming: Raghuram Bindignavle, Simon S. Lam, Shaowen Su, Thomas Y. C. Woo
- 2003 - make: Stuart Feldman
- 2002 - Java: James Gosling
- 2001 - SPIN model checker: Gerard Holzmann
- 1999 - The Apache Group: 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 Ousterhout
- 1995 - NCSA Mosaic: Marc Andreessen, Eric Bina
- 1995 - World Wide Web: Tim Berners-Lee, Robert Cailliau
- 1994 - Remote Procedure Call: Andrew Birrell, Bruce Nelson
- 1993 - Sketchpad: Ivan Sutherland
- 1992 - Interlisp: Daniel Bobrow, Richard R. Burton, L. Peter Deutsch, Ronald Kaplan, Larry Masinter, Warren Teitelman
- 1991 - TCP/IP: Vinton G. Cerf, Robert E. Kahn
- 1990 - NLS: Douglas C. Engelbart, William English, Jeff Rulifson
- 1989 - PostScript: Douglas K. Brotz, Charles M. Geschke, William H. Paxton, Edward A. Taft, John E. Warnock
- 1988 - INGRES: Gerald Held, Michael Stonebraker, Eugene Wong
- 1988 - System R: Donald Chamberlin, Jim Gray, Raymond Lorie, Gianfranco Putzolu, Patricia Selinger, Irving Traiger
- 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
[edit] See also
[edit] External links
[edit] References
- ^ Association for Computing Machinery, "ACM Awards: Software System Award", awards.acm.org, accessed December 21, 2007. (English version).
- ^ Association for Computing Machinery, "ACM Awards: Software System Award", awards.acm.org, accessed December 23, 2007. (English version).
