ACM Software System Award

From Wikipedia, the free encyclopedia
ACM 2005 Software System Award

The ACM Software System Award is an annual award that honors people or an organization "for developing a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both". It is awarded by the Association for Computing Machinery (ACM) since 1983, with a cash prize sponsored by IBM of currently $35,000.

Recipients[edit]

The following is a list of recipients of the ACM Software System Award:

Year Project Recipients
2022 seL4 Gernot Heiser, Gerwin Klein, Harvey Tuch, Kevin Elphinstone, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Toby Murray, Rafal Kolanski, Michael Norrish, Thomas Sewell, Simon Winwood
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 Project 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
2016 Andrew File System 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 and Pierre Castéran
2012 LLVM Vikram S. Adve, Evan Cheng and Chris Lattner
2011 Eclipse John Wiegand, Dave Thomson, Gregory Adams, Philippe Mulet, Julian Jones, John Duimovich, Kevin Haaland, Stephen Northover, and Erich Gamma
2010 GroupLens 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
2009 VMware Workstation for Linux 1.0 Edouard Bugnion, Scott Devine, Mendel Rosenblum, Jeremy Sugerman, Edward Y. Wang
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
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
1996 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[1] 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

See also[edit]

References[edit]

  1. ^ "ACM honors Adobe". Computerworld. March 12, 1990. Retrieved June 12, 2012.

External links[edit]