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 The following is a list of recipients of the ACM Software System Award: +YearProjectRecipients2024MPICHBill Gropp, Pavan Balaji, Rajeev Thakur, Yanfei Guo, Ken Raffenetti, Hui Zhou2023MinixAndrew S. Tanenbaum2022seL4Gernot 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 Winwood2021CompCertXavier Leroy, Sandrine Blazy, Zaynah Dargaye, Jacques-Henri Jourdan, Michael Schmidt, Bernhard Schommer, Jean-Baptiste Tristan2020Berkeley DBMargo Seltzer, Mike Olson, Keith Bostic2019DNSPaul Mockapetris2018WiresharkGerald C. Combs2017Project JupyterFernando 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 Parente2016Andrew File SystemJohn H. Howard, Michael L. Kazar, David A. Nichols, Sherri Nichols, Mahadev Satyanarayanan, Robert N. Sidebotham, Alfred Spector, Michael West2015GCCRichard Stallman2014MachRichard Rashid, Avie Tevanian2013Rocq (then: 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éran2012LLVMVikram S. Adve, Evan Cheng and Chris Lattner2011EclipseJohn Wiegand, Dave Thomson, Gregory Adams, Philippe Mulet, Julian Jones, John Duimovich, Kevin Haaland, Stephen Northover, and Erich Gamma2010GroupLens Collaborative Filtering Recommender SystemsPeter 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 Suchak2009VMware Workstation for Linux 1.0Edouard Bugnion, Scott Devine, Mendel Rosenblum, Jeremy Sugerman, Edward Y. Wang2008Gamma Parallel Database SystemDavid DeWitt, Robert Gerber, Murali Krishna, Donovan Schneider, Shahram Ghandeharizadeh, Goetz Graefe, Michael Heytens, Hui-I Hsiao, Jeffrey Naughton, Anoop Sharma2007StatemateDavid Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Mark Trakhtenbrot, Aron Trauring2006EiffelBertrand Meyer2005The Boyer-Moore Theorem ProverRobert S. Boyer, Matt Kaufmann, J Strother Moore2004Secure Network ProgrammingRaghuram Bindignavle, Simon S. Lam, Shaowen Su, Thomas Y. C. Woo2003makeStuart Feldman2002JavaJames Gosling2001SPIN model checkerGerard Holzmann1999The Apache GroupBrian Behlendorf, Roy Fielding, Rob Hartill, David Robinson, Cliff Skolnick, Randy Terbush, Robert S. Thau, Andrew Wilson1998SJohn Chambers1997Tcl/TkJohn Ousterhout1996NCSA MosaicMarc Andreessen, Eric Bina1995World Wide WebTim Berners-Lee, Robert Cailliau1994Remote Procedure CallAndrew Birrell, Bruce Nelson1993SketchpadIvan Sutherland1992InterlispDaniel Bobrow, Richard R. Burton, L. Peter Deutsch, Ronald Kaplan, Larry Masinter, Warren Teitelman1991TCP/IPVinton G. Cerf, Robert E. Kahn1990NLSDouglas C. Engelbart, William English, Jeff Rulifson1989PostScriptDouglas K. Brotz, Charles M. Geschke, William H. Paxton, Edward A. Taft, John E. Warnock1988INGRESGerald Held, Michael Stonebraker, Eugene Wong1988System RDonald Chamberlin, Jim Gray, Raymond Lorie, Gianfranco Putzolu, Patricia Selinger, Irving Traiger1987SmalltalkAdele Goldberg, Daniel Henry Holmes Ingalls, Jr., Alan C. Kay1986TeXDonald E. Knuth1985VisiCalcDan Bricklin, Bob Frankston1984Xerox AltoButler W. Lampson, Robert Taylor, Charles P. Thacker1983UNIXDennis Ritchie, Ken Thompson

See also Software system List of computer science awards

References

External links Software System Award — ACM Awards