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...
7 KB (111 words) - 15:01, 2 May 2025
database management systems, expert systems, embedded systems, etc. ACM Software System Award Common layers in an information system logical architecture...
4 KB (467 words) - 07:57, 1 May 2025
Mahadev Satyanarayanan (section Andrew File System)
computing systems from the cloud to the mobile edge. His work on the Andrew File System (AFS) was recognized with the ACM Software System Award in 2016...
5 KB (362 words) - 07:21, 13 September 2024
in the 1990s, Ousterhout was given the ACM Software System Award in 1997 for Tcl/Tk: ACM Software System Award Winner: John K Ousterhout For the Tcl scripting...
16 KB (1,519 words) - 08:11, 11 June 2025
Vikram Adve and Chris Lattner received the 2012 ACM Software System Award for the LLVM software system. Vikram Adve's research interests include compilers...
4 KB (272 words) - 21:45, 15 May 2024
database architectures." In 1988, Chamberlin was awarded the ACM Software Systems Award for his work on System R. Donald Chamberlin joined Couchbase, Inc....
7 KB (592 words) - 05:20, 4 June 2025
member of the R programming language project. He was awarded the 1998 ACM Software System Award for developing S. John McKinley Chambers was born on April...
9 KB (674 words) - 15:11, 3 June 2025
version was completed in April 1976. Feldman received the 2003 ACM Software System Award for authoring Make. Feldman describes the inspiration to write...
42 KB (4,400 words) - 11:27, 14 May 2025
Paul Mockapetris (section Awards)
2012 "ACM Software System Award (USA - 2019)". Association for Computing Machinery. Retrieved 17 August 2021. "SIGCOMM Award Recipients". ACM SIGCOMM...
8 KB (686 words) - 02:27, 5 March 2025
Free Software Award from the Free Software Foundation and for his work on Project Jupyter for which he received the 2017 ACM Software System Award. He...
8 KB (476 words) - 19:13, 11 April 2025
received the ACM Software System Award in 1989 for the design of the PostScript language and implementation. In 1990 Paxton retired from Adobe Systems and became...
3 KB (289 words) - 18:47, 22 March 2025
Association for Computing Machinery (redirect from ACM Distinguished Service Award)
Research Competition ACM Software System Award International Science and Engineering Fair Outstanding Contribution to ACM Award SIAM/ACM Prize in Computational...
42 KB (4,061 words) - 20:39, 19 June 2025
Simon S. Lam (category Computer systems researchers)
three graduate students in his research project won the 2004 ACM Software System Award. He was elected to the United States National Academy of Engineering...
14 KB (1,291 words) - 01:11, 10 January 2025
Rocq (redirect from Coq (software))
Chetan Murthy, Yves Bertot, and Pierre Castéran with the 2013 ACM Software System Award for Rocq (when it was still named Coq). When viewed as a programming...
19 KB (1,921 words) - 13:14, 16 June 2025
Stuart Feldman (category Computer systems researchers)
in 1995, and Fellow of the AAAS in 2007. In 2003, he was awarded ACM's Software System Award for his creation of Make. McIlroy, M. D. (1987). A Research...
7 KB (496 words) - 21:02, 4 December 2024
he received, with Robert S. Boyer and Matt Kaufmann, the 2005 ACM Software System Award. He and others used ACL2 to prove the correctness of the floating...
5 KB (457 words) - 07:24, 13 September 2024
Andrew S. Tanenbaum (category Free software programmers)
and Sciences ACM Software System Award, 2023 IEEE TCDP Outstanding Technical Achievement Award, 2022 ACM EUROSYS Lifetime Achievement Award, 2015 Winner...
22 KB (1,896 words) - 01:51, 29 June 2025
verification." He was awarded the 2016 Milner Award by the Royal Society, the 2021 ACM Software System Award, and the 2022 ACM SIGPLAN Programming Languages...
5 KB (314 words) - 07:32, 13 September 2024
systems in general Vikram Adve, the 2012 ACM Software System Award for LLVM, a set of compiler and toolchain technologies Gul Agha, elected as an ACM...
58 KB (5,835 words) - 21:51, 25 May 2025
used today. In 1992, an Association for Computing Machinery (ACM) Software System Award recognized the team of Daniel G. Bobrow, Richard R. Burton, L...
10 KB (932 words) - 10:07, 24 February 2025
David Harel (category Software engineering researchers)
2006 2006 Fellow Honoris Causa, Open University of Israel 2007 ACM Software System Award 2010 Emet Prize 2010 Member of the Israel Academy of Sciences...
8 KB (626 words) - 22:23, 19 April 2025
April 2013, the ACM awarded Lattner its Software System Award, which is presented to anyone "recognized for developing a software system that has had a...
19 KB (1,600 words) - 01:55, 27 June 2025
CompCert (category Software using the GNU Lesser General Public License)
Leroy and the development team of CompCert received the 2021 ACM Software System Award. "Release Compcert 3.15". 13 December 2024. Retrieved 14 December...
3 KB (250 words) - 08:10, 9 May 2025
Robert Cailliau (section Awards)
hypertext system for CERN in 1987 and collaborated with Tim Berners-Lee on the World Wide Web (jointly winning the ACM Software System Award) from before...
13 KB (1,138 words) - 02:50, 21 October 2024
Warren Teitelman (category Businesspeople in software)
Software System Award for inventing Interlisp and pioneering work in programming environments in 1992. "Warren Teitelman: ACM Software System Award (1992)"...
13 KB (1,288 words) - 08:50, 24 November 2024
Dan Ingalls (category Grace Murray Hopper Award laureates)
he received the ACM Software System Award, for his work on Smalltalk, the first fully object oriented programming software system. In 2002, he was co-recipient...
18 KB (1,771 words) - 04:13, 19 October 2024
World Wide Web in 1994. In 1995, Bina and Andreessen were awarded the ACM Software System Award. In 2010, Bina and Andreessen were inducted into the University...
3 KB (264 words) - 21:05, 5 December 2024
to 6/27/93. "2004 ACM Software System Award citation". ACM. Archived from the original on 17 June 2013. Retrieved 25 July 2012. "ACM Press Release, March...
178 KB (17,519 words) - 21:07, 27 June 2025
SIGPLAN (redirect from ACM SIGPLAN Programming Languages Software Award)
Symposium (DLS) ACM Transactions on Architecture and Code Optimization ACM Transactions on Programming Languages and Systems Proceedings of the ACM on Programming...
22 KB (2,677 words) - 23:03, 15 February 2025
Texas at Austin, United States. He was a recipient of the 2005 ACM Software System Award along with Robert S. Boyer and J Strother Moore, for his work...
2 KB (87 words) - 14:16, 13 May 2022