Grace Murray Hopper Award
The Grace Murray Hopper Award is the first of many awards named after Grace Hopper . It has been awarded by the ACM since 1971 to young computer experts who are not older than 35 at the time of the technical achievement recognized. The prize, which is not awarded every year, is endowed with US $ 35,000, some of which was co-sponsored by Google . Microsoft Research has been the sponsor since 2013 .
Award winners
- 1971: Donald Ervin Knuth - for publishing Volume 1 of his monumental treatise The Art of Computer Programming
- 1972: Paul E. Dirksen and Paul H. Cress - for creating the WATFOR compiler, the first member of a powerful new family of diagonistic and educational tools
- 1973: Lawrence M. Breed , Richard H. Lathwell and Roger Moore - for their work on the design and implementation of APL / 360 , which set new standards in the simplicity, efficiency, reliability and response time of interactive systems
- 1974: George N. Baird - for successfully developing the US Navy's COBOL Compiler Validation System
- 1975: Allen L. Scherr - for his groundbreaking study of quantitative computer performance analysis
- 1976: Edward H. Shortliffe - for his groundbreaking research embodied in MYCIN , an expert system that advises health professionals on how to diagnose and treat infections
- 1978: Raymond Kurzweil - for the development of a print page reading machine for the blind: The “Kurzweil machine” would not have been possible without other achievements by Kurzweil, in particular a method for automatically recognizing a wide range of letters of different sizes and shapes
- 1979: Steve Wozniak - for his numerous contributions to the rapidly growing field of personal computing, especially to the hardware and software of Apple computers
- 1980: Robert Metcalfe - for his development work on local networks, especially Ethernet
- 1981: Dan Bricklin - for his contributions to personal computing and especially to the design of Visicalc
- 1982: Brian Reid - for his contributions in the field of computerized word processing and typesetting systems , specifically Scribe, which marked an important advance in the field
- 1984: Daniel Henry Holmes Ingalls, Jr. - for his work at Xerox PARC , where he was both technically and inspirationally a driving force in the development of small talk and its graphic skills , and the designer of the BITBLT directive , which was involved in the creation of images Raster scan displays is widely used
- 1985: Cordell Green - for establishing various key aspects of the theoretical foundations for logic programming and for developing a resolution theorem prover that performs programming tasks by calculating the result that the computer program is supposed to compute, which provided an early theoretical foundation for prologue and logic programming
- 1986: Bill Joy - for his work on the Berkeley UNIX operating system as a designer and implementer of many of its advanced features, such as virtual memory , the C shell , the vi text editor, and network capabilities
- 1987: John Ousterhout - for his contributions to VLSI computer-aided design: His Caesar and Magic systems have shown that effective CAD systems do not have to be expensive, difficult to learn or slow
- 1988: Guy Lewis Steele junior - for his contributions to the development of high-level programming languages , notably his improvement in lexical scoping in LISP
- 1989: W. Daniel Hillis - for his basic research on parallel algorithms and for the conception, design, implementation and commercialization of the Connection Machine
- 1990: Richard Stallman - for pioneering the development of the expandable editor Emacs
- 1991: Feng-hsiung Hsu - for contributions to the architecture and algorithms of chess computers: His work led to the creation of Deep Thought , the first chess computer to defeat a grandmaster in a tournament game and achieve the rank of grandmaster himself
- 1993: Bjarne Stroustrup - for his early work in laying the foundations for the C ++ programming language
- 1996: Shafrira Goldwasser - for her early work on computability, random generation, knowledge management and evidence, which shaped the main features of probabilistic computability theory , algorithmic number theory and cryptography
- 1999: Wen-mei Hwu - for the design and implementation of the IMPACT compiler infrastructure, which was used extensively by the microprocessor industry as the basis for their product developments as well as in the academic environment as the basis for advanced research and development in computer architecture and compiler design
- 2000: Lydia Kavraki - for their pioneering work on Probabilistic Roadmap approach, which caused a paradigm shift in the field of path planning, and many applications in robotics , manufacturing , nanotechnology and bioinformatics will
- 2001: George Necula - for his pioneering work on the concept and implementation of proof-carrying code , which had a great influence in the field of programming languages and compilers and provided new impulses for machine-based proof and program validation
- 2002: Ramakrishnan Srikant - for his pioneering work on Data1Mining Association Rules , which made them a key tool in data mining and part of the core content of database and data mining lectures
- 2003: Stephen W. Keckler - for groundbreaking analyzes of scaling possibilities for high-performance processors, which shed new light on the methods that are necessary to maintain the rate of increase in performance in the computer architecture and on the design implications for future high-performance processors and systems
- 2004: Jennifer Rexford - for models, algorithms and actually used systems that guarantee stable and efficient Internet routing without global coordination
- : 2005 Omer Reingold for his work, a deterministic algorithm with logarithmic space expense for the - accessibility problem in undirected graphs to find
- 2006: Daniel Klein - for designing a system that can learn high quality English grammar directly from a text
- 2007: Vern Paxson - for his measurements and characterizations of the Internet
- 2008: Dawson Engler - for his contributions to automated program testing and troubleshooting
- 2009: Tim Roughgarden - for his research combining computer science with game theory to analyze network routing between self-propelled parties
- 2010: Craig Gentry - for the groundbreaking construction of a homomorphic encryption system that enables any calculations on encrypted data without decryption
- 2011: Luis von Ahn - for his research on the use of the human side of human-machine interaction to solve difficult-to-calculate tasks
- 2012: Martin Casado - for creating the software-defined networking movement Dina Katabi - for her contributions to the theory and practice of network congestion control and bandwidth allocation
- 2013: Pedro Felipe Felzenszwalb - for influential contributions to object recognition in images
- 2014: Sylvia Ratnasamy - for contributions to the first efficient design of Distributed Hash Tables (DHT)
- 2015: Brent Waters - for the introduction and development of the concepts of attribute-based encryption and functional encryption
- 2016: Jeffrey Heer - for developing various visualization languages, including Prefuse , Protovis , D3.js and Vega
- 2017: Amanda Randles - for developing HARVEY , hydrodynamic simulation software for the human vasculature
- 2018: Constantinos Daskalakis - for his seminal contributions to the theory of computation and economics, particularly the complexity of Nash Equilibrium Michael J. Freedman - for the design and deployment of self-organizing geo-distributed systems
- 2019: Maria Florina Balcan - for foundational and breakthrough contributions to minimally-supervised learning