MORE ACM AWARD WINNERS
HOME
Search
AWARDS
Software System Award
ALPHABETICAL LISTING
YEAR OF AWARD
NOMINATING PROCESS
AWARDS SPONSORS
AWARD COMMITTEE
ALL ACM AWARDS
ACM A.M. Turing Award
ACM - Infosys Foundation Award in the Computing Sciences
Distinguished Service Award
Doctoral Dissertation Award
ACM - IEEE CS Eckert-Mauchly Award
Gordon Bell Prize
Grace Murray Hopper Award
International Science and Engineering Fair
Paris Kanellakis Theory and Practice Award
Karl V. Karlstrom Outstanding Educator Award
ACM - IEEE CS Ken Kennedy Award
Eugene L. Lawler Award for Humanitarian Contributions within Computer Science and Informatics
ACM-IEEE CS George Michael Memorial HPC Fellowships
Outstanding Contribution to ACM Award
ACM - AAAI Allen Newell Award
ACM Presidential Award
SIAM/ACM Prize in Computational Science and Engineering
Software System Award
ACM Programming Systems and Languages Paper Award
ACM-W Athena Lecturer Award
ACM India Doctoral Dissertation Award
ACM Fellows
ACM Distinguished Member
ACM Senior Member
Latest Awards Winners
CONTACT US
Coq
(2013)
Bruno Barras
Yves Bertot
Pierre Castéran
Thierry Coquand
Jean-Christophe Filliâtre
Hugo Herbelin
Gerard P Huet
Chetan Murthy
Christine Paulin-Mohring
LLVM
(2012)
Vikram Adve
Evan Cheng
Chris Lattner
Eclipse
(2011)
Greg Adams
John Duimovich
Erich Gamma
Kevin Haaland
Julian Jones
Philippe Mulet
Steve Northover
Dave Thomson
John Weigand
GroupLens Collaborative Filtering Recommender Systems
(2010)
Peter Bergstrom
Lee R Gordon
Jonathan L Herlocker
Neophytos Iacovou
Joseph A Konstan
Shyong K. Lam
David Maltz
Sean McNee
Bradley N Miller
Paul J Resnick
John T Riedl
Mitesh Suchak
VMware Workstation for Linux 1.0
(2009)
Edouard Bugnion
Scott Devine
Mendel Rosenblum
Jeremy Sugerman
Ellen Wang
The Gamma Parallel Database System
(2008)
David DeWitt
Robert Gerber
Shahram Ghandeharizadeh
Goetz Graefe
Michael L Heytens
Hui-I Hsiao
Murali Krishna
Jeffrey F Naughton
Donovan A Schneider
Anoop Sharma
Statemate
(2007)
David Harel
Hagi Lachover
Amnon Naamad
Amir Pnueli
Michal Politi
Rivi Sherman
Mark Trakhtenbrot
Aron Trauring
Eiffel
(2006)
Bertrand Meyer
The Boyer-Moore Theorem Prover
(2005)
Robert S Boyer
Matt Kaufmann
J Strother Moore
Secure Network Programming
(2004)
Raghuram Bindignavle
Simon Lam
Shaowen Su
Thomas Y. C. Woo
MAKE
(2003)
Stuart Feldman
Java
(2002)
James Gosling
SPIN
(2001)
Gerard J. Holzmann
Apache
(1999)
Brian Behlendorf
Roy T. Fielding
Rob Hartill
David Robinson
Cliff Skolnick
Randy Terbush
Robert S. Thau
Andrew Wilson
The S System
(1998)
John M. Chambers
Tcl/Tk
(1997)
John K Ousterhout
NCSA Mosaic
(1995)
Marc Andreessen
World-Wide Web
(1995)
Tim Berners-Lee
NCSA Mosaic
(1995)
Eric Bina
World-Wide Web
(1995)
Robert Cailliau
Remote Procedure Call
(1994)
Andrew Birrell
Bruce Nelson
Sketchpad
(1993)
Ivan Sutherland
Interlisp
(1992)
Daniel Bobrow
Richard R Burton
L Peter Deutsch
Ronald M. Kaplan
Larry M Masinter
Warren Teitelman
TCP/IP
(1991)
Vinton Cerf
Robert E Kahn
NLS
(1990)
Douglas Engelbart
William K. English
Jeff Rulifson
PostScript
(1989)
Douglas K Brotz
Charles M Geschke
William H. Paxton
Edward A. Taft
John Warnock
System R
(1988)
Donald Chamberlin
Jim Gray
INGRES
(1988)
Gerald Held
System R
(1988)
Raymond A Lorie
Gianfranco Putzolu
Patricia Selinger
INGRES
(1988)
Michael Stonebraker
System R
(1988)
Irv Traiger
INGRES
(1988)
Eugene Wong
SMALLTALK
(1987)
Adele Goldberg
Daniel H.H. Ingalls
Alan Kay
TeX
(1986)
Donald E Knuth
VisiCalc
(1985)
Daniel S Bricklin
Robert Frankston
Xerox Alto System
(1984)
Butler W Lampson
Robert W Taylor
Charles P Thacker
UNIX
(1983)
Dennis M. Ritchie
Kenneth Lane Thompson
Scroll
