Encyclopedia of Computer Science and Technology

544 Appendix III1993 Juris Harmanis and Richard E. Stearns: “In recognitionof their seminal paper which established the foundations for thefield of computational complexity theory.”1994 Edward Feigenbaum and Raj Reddy: “For pioneeringthe design and construction of large-scale artificial intelligencesystems, demonstrating the practical importance and potentialcommercial impact of artificial intelligence technology.”1995 Manuel Blum: “In recognition of his contributions to thefoundations of computational complexity theory and its applicationto cryptography and program checking.”1996 Amir Pneueli: “For seminal work introducing temporallogic into computing science and for outstanding contributionsto program and systems verification.”1997 Douglas Engelbart: “For an inspiring vision of thefuture of interactive computing and the invention of key technologiesto help realize this vision.”1998 James Gray: “For seminal contributions to database andtransaction processing research and technical leadership in systemimplementation.”1999 Frederick P. Brooks, Jr.: “For landmark contributionsto computer architecture, operating systems, and softwareengineering.”2000 Andrew Chi-Chih Yao: “In recognition of his fundamentalcontributions to the theory of computation, including thecomplexity-based theory of pseudorandom number generation,cryptography, and communication complexity.”2001 Ole-Johan Dahl and Kristen Nygaard: “For ideas fundamentalto the emergence of object oriented programming,through their design of the programming languages Simula Iand Simula 67.”2002 Ronald L. Rivest, Adi Shamir, and Leonard M. Adelman:“For their ingenious contribution for making public-key cryptographyuseful in practice.”2003 Alan Kay: “pioneering many of the ideas at the root ofcontemporary object-oriented programming languages, leadingthe team that developed Smalltalk, and for fundamental contributionsto personal computing.”2004 Vinton G. Cerf and Robert E. Kahn: “For pioneeringwork on internetworking, including the design and implementationof the Internet’s basic communications protocols, TCP/IP,and for inspired leadership in networking.”2005 Peter Naur: “For fundamental contributions to programminglanguage design and the definition of Algol 60, to compilerdesign, and to the art and practice of computer programming.”2006 Frances E. Allen: “For contributions that fundamentallyimproved the performance of computer programs in solving problems,and accelerated the use of high-performance computing.”2007 Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis:“For . . . developing ModelChecking into a highly effectiveverification technology, widely adopted in the hardware andsoftware industries.”Eckert-Mauchly AwardAdministered jointly by ACM and IEEE Computer Societyand “given for contributions to computer and digital systemsarchitecture where the field of computer architectureis considered at present to encompass the combined hardware-softwaredesign and analysis of computing and digitalsystems.”Annual Recipients1979 Robert S. Barton: “For his outstanding contributionsin basing the design of computing systems on the hierarchicalnature of programs and their data.”1980 Maurice V. Wilkes: “For major contributions to computerarchitecture over three decades including notable achievementsin developing a working stored-program computer,formulation of the basic principles of microprogramming, earlyresearch on cache memories, and recent studies in distributedcomputation.”1981 Wesley A. Clark: “For contributions to the early developmentof the minicomputer and the multiprocessor, and forcontinued contributions over 25 years that have found theirway into computer networks, modular computers, and personalcomputers.”1982 C. Gordon Bell: “For his contributions to designing andunderstanding computer systems: for his contributions in theformation of the minicomputer; for the creation of the first commercial,interactive timesharing computer; for pioneering workin the field of hardware description languages; for co-authoringclassic computer books and co-founding a computer museum.”1983 Tom Kilburn: “For major seminal contributions tocomputer architecture spanning a period of three decades. Forestablishing a tradition of collaboration between university andindustry which demands the mutual understanding of electronicstechnology and abstract programming concepts.”1984 Jack B. Dennis: “For contributions to the advancementof combined hardware and software design through innovationsin data flow architectures.”1985 John Cocke: “For contributions to high performancecomputer architecture through lookahead, parallelism and pipelineutilization, and to reduced instruction set computer architecturethrough the exploitation of hardware-software tradeoffsand compiler optimization.”1986 Harvey G. Cragon: “For major contributions to computerarchitecture and for pioneering the application of integrated circuitsfor computer purposes. For serving as architect of the Texas