Personal tools
You are here: Home Awards Software System Award
Document Actions

Awards

Awards
Software System Award

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.

Complete Listing:
| A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z |



Chronological Listing

2007Statemate

Harel, David
Lachover, Hagi
Naamad, Amnon
Pnueli, Amir
Politi, Michal
Sherman, Rivi
Trakhtenbrot, Mark
Trauring, Aron

2006Eiffel

Meyer, Bertrand

2005The Boyer-Moore Theorem Prover

Boyer, Robert S
Kaufmann, Matt
Moore, J Strother

2004Secure Network Programming

Bindignavle, Raghuram
Lam, Simon S.
Su, Shaowen
Woo, Thomas Y. C.

2003MAKE

Feldman, Stuart I

2002Java

Gosling, James A.

2001SPIN

Holzmann, Gerard

1999The Apache Group

Behlendorf, Brian
Fielding, Roy T.
Hartill, Rob
Robinson, David
Skolnick, Cliff
Terbush, Randy
Thau, Robert S.
Wilson, Andrew

1998The S System

Chambers, John M.

1997Tcl/Tk

Ousterhout, John

1995NCSA Mosaic

Andreessen, Marc
Bina, Eric

1995World-Wide Web

Berners-Lee, Tim
Cailliau, Robert

1994Remote Procedure Call

Birrell, Andrew
Nelson, Bruce

1993Sketchpad

Sutherland, Ivan

1992Interlisp

Bobrow, Daniel
Burton, Richard R.
Deutsch, L. Peter
Kaplan, Ronald M.
Masinter, Larry
Teitelman, Warren

1991TCP/IP

Cerf, Vinton G.
Kahn, Robert E.

1990NLS

Engelbart, Douglas C.
English, William K.
Rulifson, Jeff

1989PostScript

Brotz, Douglas K.
Geschke, Charles M.
Paxton, William H.
Taft, Edward A.
Warnock, John E.

1988INGRES

Held, Gerald
Stonebraker, Michael
Wong, Eugene

1988System R

Chamberlin, Donald
Gray, Jim
Lorie, Raymond A
Putzolu, Gianfranco
Selinger, Patricia
Traiger, Irv

1987SMALLTALK

Goldberg, Adele
Ingalls, Daniel H.H.
Kay, Alan C.

1986TeX

Knuth, Donald E.

1985VisiCalc

Bricklin, Daniel S
Frankston, Robert

1984Xerox Alto Systems

Lampson, Butler W.
Taylor, Robert W.
Thacker, Charles P.

1983UNIX

Ritchie, Dennis M.
Thompson, Kenneth Lane