SORT :

Name | Year | Citation | In the ACM DL |
---|---|---|---|

Abadi, Martin | 2008 | For contributions to computer security and verification of computer systems. | |

Abiteboul, Serge | 2011 | For contributions to the theory and practice of databases. | |

Abowd, Gregory D. | 2008 | For contributions to ubiquitous computing research, with emphasis on applications for education, home and health. | |

Abraham, Jacob A | 2001 | For outstanding contributions in the fields of fault tolerant computing, automatic test generation and design for test, and formal verification. | |

Abrahams, Paul W | 1995 | For his leadership as ACM President and in other offices; for contributions to programming language design and standardization; and to computing as author and lecturer. | |

Abramsky, Samson | 2014 | For contributions to domains in logical form, game semantics, categorical quantum mechanics, and contextual semantics. | |

Abramson, David A | 2010 | For contributions to software engineering tools and techniques for high performance and distributed supercomputers. | |

Ackerman, Mark S | 2013 | For contributions to human computer interaction, with an emphasis on finding and sharing expertise. | |

Adams, James M | 1994 | For his outstanding contributions over many years in inspiring and supporting ACM's volunteers, in serving as ACM's collective conscience and memory, and in uniting the volunteers and the professional staff into a single team working to fulfill ACM's potential. | |

Adrion, William Richards | 1996 | For leadership in computing through academic and government administration, service to professional societies, and research on reliable systems, software testing and analysis. | |

Adve, Sarita | 2010 | For contributions to hardware and language memory models, and to low-power and resilient systems. | |

Adve, Vikram | 2014 | For developing the LLVM compiler and for contributions to parallel computing and software security. | |

Afrati, Foto | 2014 | For contributions to the theory of database systems. | |

Agarwal, Anant | 2007 | For contributions to parallel and reconfigurable computing. | |

Agarwal, Pankaj K | 2002 | For contributions to computational geometry and for building and strengthening links between this area and many of its applications. | |

Aggarwal, Charu C. | 2013 | For contributions to knowledge discovery and data mining algorithms. | |

Agrawal, Dharma P | 1998 | For contributions to Parallel Processing Architecture, Interconnection Networks, Parallelism Detection & Scheduling. | |

Agrawal, Divyakant | 2011 | For contributions to distributed data management systems. | |

Agrawal, Rakesh | 2003 | For contributions to data mining. | |

Agrawal, Vishwani D | 2002 | For contributions to testing of digital electronic circuits. | |

Aho, A V | 1996 | For contributions to Interconnection Networks, High-Performance Computer Architecture, System Reliability, and Scheduling Techniques. | |

Ahuja, Narendra | 1996 | For contributions to computer vision including hierarchical representation, active sensing, analysis guided synthesis, multidimensional modeling, computational sensors, and multiprocessor architectures. | |

Aiken, Alexander S. | 2008 | For contributions to programming language theory and systems. | |

Aiken, Robert M | 2001 | For outstanding service to the international computing community and to ACM, and for contributions to education. | |

Ailamaki, Anastasia | 2015 | For contributions to the design, implementation, and evaluation of modern database systems. | |

Akeley, Kurt B | 1996 | In recognition of his contributions to the architecture, design, and realization of high performance 3D graphics hardware systems. These architectures define not only his company, but provide the high-performance 3D graphic facilities which enable scient | |

Akyildiz, Ian F | 1997 | Dr. Akyildiz has achieved fundamental research contributions in: finite capacity queuing network models; performance evaluation of Time Warp parallel simulations; traffic Control in ATM networks, and ; mobility management in wireless networks. | |

Allen, Frances E | 1994 | For co-authoring the paper "A Program Data Flow Analysis Procedure" | |

Allender, Eric | 2006 | For contributions to computational complexity theory. | |

Alonso, Gustavo | 2012 | For contributions to distributed systems, middleware, and data management. | |

Alt, Franz L | 1994 | The selection Committee for this award feels that Franz Alt's contributions to the computing community and to the ACM, as exemplified by the efforts he expended in the work of the early days of the Association, make him the most appropriate single individual to receive this first ACM Distinguished Service Award. | |

Alur, Rajeev | 2007 | For contributions to the specification and verification of reactive and hybrid systems. | |

Alvisi, Lorenzo | 2010 | For contributions to fault-tolerant distributed computing, bridging theory and practice. | |

Amato, Nancy M | 2015 | For contributions to robotics and leadership in broadening participation in computing. | |

Ammar, Mostafa H | 2003 | For contributions to the design of systems and protocols for scalable network services. | |

Anderson, James H | 2013 | For contributions to the implementation and analysis of multiprocessor and multicore real-time systems. | |

Anderson, Thomas E | 2005 | For contributions in distributed systems and computer networks. | |

Andrews, Gregory R | 1998 | For influential research and books on concurrent programming; co-development of the SR programming language; and major service roles with Computing Research Association and National Science Foundation. | |

Appel, Andrew W | 1998 | Significant research contributions in the area of programming languages and compilers. Important contributions to the ACM Transactions on Programming Languages and Systems. | |

Arge, Lars | 2012 | For contributions to massive data algorithmics | |

Arora, Sanjeev | 2008 | For foundational work on probabilistically checkable proofs and approximate solutions to NP-hard optimization problems. | |

Arvind, | 2006 | For contributions to dataflow computing and verification. | |

Asano, Tetsuo | 2001 | For his contributions to discrete algorithms on computational geometry and their practical applications to computer vision and VLSI design. | |

Ashenhurst, R L | 1995 | Ashenhurst's most notable contributions in 31 years of ACM leadership were 14 years as Monograph Series editor and 17 years as editor of CACM Forum. | |

Atallah, Mikhail J. | 2006 | For contributions to parallel and distributed computation. | |

Atchison, William F. | 1994 | ||

Attiya, Hagit | 2009 | For contributions to distributed and parallel computing. | |

Auslander, Marc | 1999 | For contributions to reduced instructionset computing (RISC) systems. | |

Austing, Richard H | 1994 | For extensive guidance of ACM's influence on computer and information systems curricula at many levels. | |

Babaoglu, Ozalp | 2002 | For contributions to fault-tolerant distributed computing, BSD Unix, and for leadership in the European distributed systems community. | |

Bachman, Charles W | 2014 | For contributions to database technology, notably the integrated data store | |

Bacon, David F. | 2009 | For contributions to real-time systems and to object-oriented language design and implementation. | |

Baecker, Ronald M. | 2011 | For contributions to human-computer interaction and computer animation. | |

Baer, Jean-Loup E | 1997 | For contributions to the design and evaluation of parallel processing systems, in particular in the areas of cache coherence protocols and techniques to tolerate memory latency. | |

Baeza-Yates, Ricardo A. | 2009 | For contributions to the development of algorithms and information retrieval techniques. | |

Bahl, Victor | 2003 | For contributions to wireless communication systems, and for leadership in the mobile computing and communications community. | |

Bajaj, Chandrajit L. | 2009 | For contributions to algorithms for geometric design, scientific visualization, computational biology and bioinformatics. | |

Bajcsy, Ruzena R | 1996 | For introducing the paradigm of Active Perception in the field of machine perception and establishing and maintaining a world class robotic and intelligent systems laboratory. | |

Balakrishnan, Hari | 2008 | For contributions to computer networking and distributed systems. | |

Baldi, Pierre | 2012 | For contributions to artificial intelligence and statistical machine learning for bioinformatics. | |

Ball, Thomas J. | 2011 | For contributions to software analysis and defect detection. | |

Banerjee, Prithviraj | 2000 | For contributions in parallel computing, specifically in the design of parallel algorithms for VLSI CAD, and the development of parallelizing compiler techniques for distributed memory multiprocessors. | |

Banerjee, Utpal | 2007 | For contributions to the mathematical foundations of optimizing parallelizing compilers. | |

Barr, Alan H | 1995 | Prof. Barr is being recognized for his contribution to graphics, primarily for extending computer graphics shape modeling to include physically based and 'teleological' modeling. | |

Barroso, Luiz Andre | 2010 | For contributions to multi-core computing, warehouse scale data-center architectures, and energy proportional computing. | |

Basili, Victor R | 1997 | For contributions to empirical software engineering. | |

Batcher, Kenneth E | 1994 | For the pioneering implementation of parallel computers and for contributions to interconnection network theory. | |

Bate, Roger R | 1997 | Developing computational models for celestial mechanics, astrodynamics, transport lag systems, and nuclear reasctors; leadership in developing innovative computer architectures, software processes, and USAFA computer science. | |

Beeri, Catriel | 2007 | For contributions to database theory. | |

Bell, C Gordon | 1994 | For his contributions to the formation of the minicomputer as embodied in the PDP-5 and PDP-8; the architecture and implementation of the first commercial, interactive timesharing computer; his pioneering work in the field of hardware descriptive languag | |

Bellare, Mihir | 2013 | For contributions to provable security methods supporting high-quality, cost-effective cryptography. | |

Berger, Bonnie | 2003 | For contributions to Computational Molecular Biology. | |

Berghel, Hal | 1998 | For wide-ranging contributions to the arts, sciences and practices of information processing and distinguished service to ACM. | |

Berman, Francine | 2000 | For pioneering work in application scheduling for parallel distributed computing. | |

Bernstein, Lawrence | 1995 | Mr. Bernstein is one of the founders of network management as a technology and as a scientific discipline. His systems currently support over 100 million customers. | |

Bernstein, Philip A | 2001 | For pioneering work in distributed query optimization, distributed databases, distributed transaction processing, metadata management, and schema integration. | |

Bertino, Elisa | 2003 | For contributions to secure database systems. | |

Bhatkar, Vijay P | 2009 | For contributions to computing technology, education and research. | |

Bhuyan, Laxmi N | 2000 | For his significant contributions to the design and analysis of Interconnection Networks and Parallel Processing. | |

Biermann, Alan W | 2000 | For major contributions to the fields of automatic programming, natural language dialogue processing, and computer science education. | |

Birman, Kenneth P | 1999 | For development of virtual synchrony and demonstrating its application to fault-tolerant distributed computing --not just in theory, but in commercial and production settings. | |

Birnbaum, Joel S | 2001 | For pioneering contributions to RISC computer architectures, and leadership in integrating, extending and shaping industrial research in measurement, computing, and communication technologies. | |

Bjorner, Dines | 2005 | For contributions to formal methods and for international leadership. | |

Blakeley, Jose A. | 2009 | For contributions to database management systems and data access technologies. | |

Blasgen, Michael W. | 1994 | For co-authoring of 'The Recovery Manager of the System R Database Manager', the best paper in the area of Programming Systems and Languages. | |

Blei, David M. | 2015 | For contributions to the theory and practice of probabilistic topic modeling and Bayesian machine learning. | |

Blelloch, Guy | 2011 | For contributions to parallel computing. | |

Blum, Avrim | 2007 | For contributions to learning theory and algorithms. | |

Bobrow, Daniel | 1994 | For their pioneering work in programming environments that integrated source-language debuggers, fully compatible integrated interpreter/compiler, automatic change management, structure-based editing, logging facilities, interactive graphics, and analysi | |

Bochmann, Gregor V | 1996 | In a seminal 1977 paper, Professor Bochmann proposed a formal model for designing communication protocols. This was followed by many papers enlarging upon the concepts, so establishing the field of protocol engineering. | |

Boehm, Barry W | 1997 | For significant contributions to the technology and discipline of software engineering, including implementation of advanced computer and software systems, environments, architectures, process models, cost models, quality models, and risk models. | |

Boehm, Hans-J. | 2012 | For contributions to multithreaded programming and to algorithms and libraries for automatic memory management. | |

Boggs, David R | 1994 | Co-inventor of the Ethernet local area network. Developer of early prototypes of internet protocols, file servers, gateways and network interface cards. | |

Bokhari, Shahid H | 2000 | For research contributions to automatic load balancing and partitioning of distributed processes. | |

Booch, Grady | 1995 | Booch has pioneered the development of object-oriented analysis and design methods. He has also offered seminal contributions in software architecture and reusable software components. | |

Borg, Anita | 1996 | For contributions to fault tolerant computing and memory system performance measurement; for her support of women in computing with her creation of 'systers' and the Grace Hopper Celebration of Women in Computing. | |

Borgman, Christine L | 2013 | For contributions to research on human interaction with information systems, data practices, and information policy. | |

Borman, Lorraine | 1994 | For her diligent work and commitment to the development and growth of SIGCHI and for her creative spark and skilled workmanship which guided the research and publication of the DataPlan Committee reports. | |

Borning, Alan H | 2001 | For contributions to constraint-based languages, systems, and applications, to object-oriented programming; and to understanding issues of computers and society. | |

Borodin, Allan | 2014 | For contributions to theoretical computer science in complexity, on-line algorithms, resource tradeoffs, and models of algorithmic paradigms. | |

Borriello, Gaetano | 2009 | For the design, realization, and integration of embedded and ubiquitous computing systems. | |

Bose, Bella | 2004 | For contributions to error-correcting codes. | |

Bourne, Stephen | 2005 | For contributions to the development of UNIX and for effective leadership of ACM. | |

Boutilier, Craig | 2012 | For contributions to knowledge representation and computational decision making. | |

Brachman, Ronald J | 1999 | For sustained and influential contributions to the field of artificial intelligence through innovative technical work, successful industrial applications, research leadership, and dedication to the community. | |

Braden, Robert T | 1999 | For leadership in the development and enhancement of the Internet's End-to-End protocols. | |

Bradshaw, Charles L | 1994 | In recognition of over thirty-five years of distinguished, valuable, essential, and lasting contributions and service to the government, academic and professional computing community, as a computer scientist, educator, administrator, and ACM leader. | |

Brandin, David H | 1995 | For his 20 years of ACM leadership, his research management in theoretical and applied computer science, and his contributions to the public use of computing. | |

Breitbart, Yuri J | 2001 | For his significant and lasting influence on the principles and practice of database management, for his pioneering work in multidatabase research, and for his leadership role in academia and industry. | |

Brent, Richard P | 1995 | For research in the areas of parallel algorithms, computational number theory, multiple-precision arithmetic, computational complexity and numerical analysis, and leadership in Australian Computer Science. | |

Brewer, Eric A. | 2007 | For the design of scalable, reliable internet services. | |

Bricklin, Daniel S | 1994 | For the invention of VisiCalc, a new metaphor for data manipulation that galvanized personal computing in industry. | |

Broder, Andrei Z. | 2007 | For contributions to algorithms and web technology. | |

Brooks, Rodney A | 2005 | For contributions to artificial intelligence and robotics. | |

Brooks, Jr, Frederick P | 1994 | For outstanding innovations in computer architecture, including pipelining, instruction look-ahead, and cache memory. | |

Brotz, Douglas K | 1994 | For the design of the PostScript page description language and its implementation. | |

Browne, James C | 1998 | For leadership in research and graduate education in computer science across a spectrum of subdisciplines and for innovation in technology transfer both to industry and to other disciplines of science and engineering. | |

Bryant, Randal E | 2000 | Randal Bryant is best known for Ordered Binary Decision Diagrams, a canonical form for boolean functions. Although originally developed for applications in CAD, this data structure has found many applications in areas such as hardware and software verification, automated theorem proving, and AI planning. | |

Bubenko, Janis A | 2004 | For leadership in Information Systems. | |

Bundy, Alan | 2014 | For contributions to artificial intelligence, automated reasoning, and the formation and evolution of representations. | |

Buneman, Peter | 2000 | Leadership in: Extending databases to new data models, type systems, and languages. Complex value, functional and object-oriented database languages. Semi-structured data and heterogeneous database integration. | |

Burger, Doug C | 2010 | For contributions to distributed microprocessor architectures and memory systems. | |

Burton, Richard R | 1994 | For their pioneering work in programming environments that integrated source-language debuggers, fully compatible integrated interpreter/compiler, automatic change management, structure-based editing, logging facilities, interactive graphics, and analysi | |

Buxton, William A.S. | 2008 | For contributions to the field of human-computer interaction. | |

Cai, Jin-Yi | 2001 | For significant contributions to computational complexity theory, and for service to the international computer science research community. | |

Camp, Tracy K | 2012 | For contributions in wireless networking and leadership in broadening participation in computing. | |

Canning, Richard G | 1994 | For his very long and effective participation on computing community boards, on committees, in seminar and international activities, and also for his contributions to the interests and needs of systems analysts, programmers, and managers in the business data sector of computing. | |

Card, Stuart K | 2000 | In recognition of his fundamental pioneering contributions toward creating a theory and practice of human-computer interaction that integrates computer science and psychological science--through research, texts, lecturing, and creating successful system | |

Cardelli, Luca | 2004 | For contributions to object-oriented programming languages. | |

Carey, Michael J | 2000 | For broad and influential contributions to the engineering of database management systems. | |

Carlson, Walter M | 1994 | For dedicated, tireless and unflagging leadership in service to ACM, its sister societies, AFIPS and IFIP, and for seeking to foster closer intellectual, political and social ties between all the members of the information processing profession. | |

Carpenter, Loren C | 1995 | Loren Carpenter is a pioneer in the design of algorithms for generating faster computer graphics; his images approach photographic realism. He has continued his work in large scale computer generated visuals. | |

Carroll, John M | 2003 | For contributions to human-computer interaction. | |

Cartwright, Robert S | 1998 | Cartwright formulated a series of landmark results concerning the principles of programming languages, i.e., the theory of data, types, and computability in sequential, higher-order languages. | |

Catmull, Edwin | 1995 | Dr. Edwin E. Catmull has made many and noteworthy advances in computer graphics as an individual researcher, as an inspiring leader in the field, as a director of organizations, and as a mentor for many. | |

Cattell, Rick | 2012 | For contributions to database systems. | |

Cerf, Vinton | 1994 | For their vision and leadership in the design, implementation, evolution, and dissemination of the TCP/IP Computer Communication Protocol Suite. | |

Ceri, Stefano | 2013 | For contributions to database management, including distributed databases, rule-processing, and search computing. | |

Chakrabarty, Krishnendu | 2013 | For contributions to optimization methods for system-on-chip test automation, microfluidic biochips, and sensor network infrastructure. | |

Chamberlin, Donald D | 1994 | The INGRES and System R systems demonstrated that a practical and efficient database management system (DBMS) could be implemented based on the relational data model. These systems were full-function DBMS's that supported non-procedural | |

Chandrasekaran, B | 1996 | For contributions to knowledge-based systems research and applications, to statistical methods in pattern recognition, and to leadership in artificial intelligence. | |

Chang, Naehyuck | 2015 | For contributions to low-power computing systems. | |

Chaudhuri, Surajit | 2005 | For contributions to database query processing and optimization. | |

Chayes, Jennifer | 2010 | For contributions to the foundations of dynamic random networks in theoretical computer science. | |

Chazelle, Bernard | 1996 | Bernard Chazelle has made fundamental contributions in the design and analysis of algorithms in computational geometry. | |

Chellappa, Ramalingam | 2013 | For contributions to image processing, computer vision, and pattern recognition. | |

Chen, Hsinchun | 2015 | For contributions to the research and development of security informatics and health informatics systems. | |

Chen, Ming-Syan | 2006 | For contributions to query processing and data mining. | |

Chen, Peter M. | 2010 | For contributions to reliable storage and virtual machines. | |

Chen, Peter P | 1998 | Dr. Peter Chen is the originator of the Entity-Relationship (ER) Model, which serves as the foundation of many systems analysis and design methodologies, CASE tools, and repository systems. | |

Chien, Andrew A | 2004 | For contributions to high-performance computing systems. | |

Chlamtac, Imrich | 1997 | For fundamental contributions to the development of algorithms and communication protocols, and technical leadership in mobile networking. | |

Choudhary, Alok | 2009 | For contributions to HPC, storage and parallel I/O. | |

Clark, David D | 2001 | For his preeminent role in the development of computer communication and the Internet, including architecture, protocols, security, and telecommunications policy. | |

Clarke, Edmund M | 1998 | Edmund M. Clarke is the co-inventor of Model Checking (with his former student Allen Emerson). He and his graduate students helped make Model Checking a tool that can be used to verify finite-state concurrent systems of industrial complexity. | |

Clarke, Lori A | 1998 | For outstanding research in software engineering, particularly in the areas of software testing and analysis, and for dedicated service to the software engineering community. | |

Clarkson, Kenneth L. | 2008 | For contributions to computational geometry. | |

Codd, Edgar F | 1994 | For his fundamental and continuing contributions to the theory and practice of database management systems. He originated the relational approach to database management in a series of research papers published commencing in 1970. His paper 'A Relational Model of Data for Large Shared Data Banks' was a seminal paper, in a continuing and carefully developed series of papers. Dr. Codd built upon this space and in so doing has provided the impetus for widespread research into numerous related areas, including database languages, query subsystems, database semantics, locking and recovery, and inferential subsystems. | |

Coffman, E G | 1994 | For outstanding contributions to ACM Publications, having served on the Editorial Board of the Journal of the ACM from 1969 through 1985; four of these years as Editor-in-Chief. | |

Cohen, Michael F. | 2007 | For contributions to computer graphics and computer vision. | |

Cole, Richard J | 1998 | Richard Cole has developed innovative and enabling paradigms, algorithms and methods of analysis: in computational geometry, parallel computing, and string and pattern matching. | |

Collins, George E | 2004 | For contributions to symbolic computation. | |

Comer, Douglas E | 2000 | For contributions in research, education, and implementation in operating systems and networking, and particularly for work with IP-based networking supporting the modern Internet. | |

Condon, Anne | 2010 | For contributions in complexity theory and leadership in advancing women in computing. | |

Cong, Jason (Jingsheng) | 2008 | For contributions to electronic design automation. | |

Constable, Robert L | 1995 | For fundamental contributions to the field of logic and its computational aspects, especially his work on providing mechanical assistance in problem solving through the software system Nuprl. | |

Constantine, Larry L. | 2007 | For contributions to software design. | |

Cook, Perry | 2008 | For contributions to computer music, physics-based sound synthesis and voice analysis/synthesis. | |

Cook, Robert L | 1999 | Cook invented Monte-Carlo rendering methods for antialiasing, motion blur, depth-of-field, glossy reflections, and translucency. Cook pioneered shading languages and physics-based shading, and co-authored the Renderman software. | |

Cook, Stephen A. | 2008 | For fundamental contributions to the theory of computational complexity. | |

Cooper, Keith D | 2005 | For contributions to the theory and practice of compiler construction. | |

Corbato, Fernando J | 1994 | For his pioneering work organizing the concepts and leading the development of the general-purpose, large-scale, time-sharing and resource-sharing computer systems, CTSS and Multics. | |

Couger, J D | 1997 | A member of ACM for 29 years, Dan Couger has lectured in more than 60 countries on six continents. He is the author of 18 books and more than 185 papers. Prior to his academic appointment he was a manager in the computer field. He has served the US computing community in a variety of capacities, recognized by 5 national-level awards for his contributions. | |

Cox, Ingemar J. | 2013 | For contributions to computer vision, image retrieval, and digital watermarking. | |

Cragon, Harvey G | 1994 | For major contributions to computer architecture and for pioneering the application of integrated circuits for computer purposes. For serving as architect of the Texas Instruments scientific computer and for playing a leading role in many other computing developments in that company. | |

Cranor, Lorrie Faith | 2014 | For contributions to research and education in usable privacy and security. | |

Croft, W Bruce | 1997 | For contributions to the theory and practice of information retrieval, especially the development of new retrieval models and the transfer of research results to practice. | |

Crovella, Mark | 2010 | For contributions to the measurement and analysis of networks and distributed systems. | |

Crowcroft, Jon A | 2002 | For contributions to the design and analysis of network protocols and for technical leadership. | |

Culler, David E | 2002 | For contributions to networks of small and large devices. | |

Cytron, Ron K. | 2010 | For contributions to algorithms and implementations of automatic program parallelization. | |

Czerwinski, Mary P. | 2015 | For contributions to human-computer interaction and leadership in the CHI community. | |

D'Auria, Thomas A | 1994 | For helping shape the management structure and Headquarters operations of ACM to better serve the computing profession, for initiating innovative programs to attract members and improve ACM's ability to respond to member needs, and for making these programs work. | |

Dahlin, Michael D. | 2010 | For contributions to the science and engineering of large-scale distributed computer systems. | |

Dale, Nell B. | 2009 | For distinguished service to the ACM and her impact on computing education. | |

Dally, William J | 2002 | For contributions to the architecture and design of interconnections networks and parallel computing. | |

Davidson, Jack W. | 2008 | For contributions in compiler design and implementation. | |

Davidson, Susan B | 2001 | For seminal contributions to distributed databases, real-time systems, heterogeneous database integration, warehousing, semi-structured data and for application of database research in bioinformatics. | |

Davie, Bruce S. | 2009 | For contributions to computer networking. | |

Davis, Gordon B | 1997 | One of the principal founders, intellectual architects, and developers of the academic discipline of information systems, also termed Management Information Systems. | |

Davis, Larry S. | 2012 | For contributions to image processing and computer vision. | |

Davis, Timothy A | 2014 | For contributions to sparse matrix algorithms and software. | |

Dayal, Umeshwar | 2008 | For contributions to managing federated, active, and heterogeneous databases. | |

De Giacomo, Giuseppe | 2015 | For contributions to description logics, data management, and verification of data-driven processes | |

De Lucena, Carlos J. P. | 2013 | For contributions in software engineering and multiagent systems, and for computer science leadership in Brazil. | |

Dean, Jeffrey A. | 2009 | For contributions to the science and engineering of large-scale distributed computer systems. | |

Dean, Thomas L. | 2009 | For the development of dynamic Bayes networks and anytime algorithms. | |

Deblasi, Joseph S | 1999 | For extraordinary executive leadership and innovative Internet-based programs that transformed ACM into a powerful international presence in computing. | |

Dechter, Rina | 2013 | For contributions to the algorithmic foundations of automated reasoning with constraint-based and probabilistic information. | |

Defanti, Thomas | 1994 | For recognizing the need for a new form of publication for video graphics; for originating the ACM Video Review; for doing the day-to-day work of preparing and distributing it over a period of years; for the impact on teaching of computer graphics and on the dissemination of the best work in that field. | |

Dekleer, Johan | 2001 | For seminal contributions of effective techniques for qualitative representation and reasoning about physical systems, and leadership in building research teams that span multiple disciplines. | |

Demillo, Richard A | 2003 | For contributions to the engineering of reliable and secure software. | |

Demmel, James | 1999 | For outstanding contributions to scientific computing, parallel processing and software engineering. | |

Deng, Xiaotie | 2008 | For contributions to the interface of algorithmic methodology and game theory. | |

Denning, Dorothy E | 1995 | For technical leadership and professional contributions that advanced the field of computer and communications security and promoted the open exchange of ideas and information. | |

Denning, Peter J. | 1994 | For outstanding service to ACM in many capacities over many years -- including President, Council Member, Chairman of the Editorial Committee, Editor-in-Chief of Computing Surveys and Communications of the ACM, and for notable contributions to the computing profession as an author, editor, and communicator. | |

Dennis, Jack B | 1994 | For contributions to the advancement of combined hardware and software design through innovations in data flow architectures. | |

Deo, Narsingh | 1996 | For his seminal contribution in applying graph theory to practical problems using computer and dissemination of knowledge through his books. | |

Deutsch, L Peter | 1994 | For their pioneering work in programming environments that integrated source-language debuggers, fully compatible integrated interpreter/compiler, automatic change management, structure-based editing, logging facilities, interactive graphics, and analysi | |

Devadas, Srinivas | 2014 | For contributions to secure and energy-efficient hardware. | |

Dewitt, David J | 1995 | For fundamental contributions to the areas of parallel database systems, database system benchmarking, and object-oriented database systems, and for outstanding service as an educator and a technical leader. | |

Dhillon, Inderjit | 2014 | For contributions to large-scale data analysis, machine learning and computational mathematics. | |

Dietterich, Thomas G | 2002 | For contributions to machine learning. | |

Dijkstra, Edsger W | 1994 | Edsger Dijkstra was a principal contributor in the late 1950's to the development of the ALGOL, a high level programming language which has become a model of clarity and mathematical rigor. He is one of the principal exponents of the science and art of programming languages in general, and has greatly contributed to our understanding of their structure, representation, and implementation. His fifteen years of publications extend from theoretical articles on graph theory to basic manuals, expository texts, and philosophical contemplations in the field of programming languages. | |

Dill, David | 2005 | For contributions to system verification and for leadership in the development of verifiable voting systems. | |

Diot, Christophe | 2005 | For contributions to the measurement and analysis of computer networks. | |

Dobkin, David P | 1997 | For pionering the development of computational geometry as a field, and for leading the technology transfer of theoretical algorithms to practical problems in computer graphics. | |

Dodd, George | 1996 | For pioneering contributions to associative network and relational database systems and sustained leadership role and management of innovative research and development for computer applications in the automotive industry. | |

Dolev, Danny | 2007 | For contributions to fault-tolerant distributed computing. | |

Donald, Bruce R. | 2009 | For contributions in robotics, MEMS, computational molecular biology. | |

Dongarra, Jack | 2001 | For contributions in the field of scientific computing, the development of mathematical software, parallel methods, and enabling technologies for high-performance computing. | |

Dourish, Paul | 2015 | For contributions in social computing and human-computer interaction. | |

Downey, Rodney Graham | 2007 | For contributions to computability and complexity theory. | |

Druffel, Larry E | 1995 | For leadership in advancing the state of software engineering practice and technical contributions to design automation and software development environments. | |

Dubois, Michel | 2005 | For contributions to multiprocessor memory system design. | |

Dumais, Susan T | 2006 | For research contributions to information retrieval and human-computer interaction. | |

Duncan, Karen | 2000 | Karen has been an outstanding researcher, writer, innovator, and leader in medical informatics, and has a sustained, outstanding record of leadership and service to the ACM and the computing community. | |

Dunwell, Stephen | 1994 | For pioneering contributions to associative network and relational database systems and sustained leadership role and management of innovative research and development for computer applications in the automotive industry. | |

Dutt, Nikil D. | 2014 | For contributions to embedded architecture exploration, and service to electronic design automation and embedded systems. | |

Dwork, Cynthia | 2015 | For contributions to the science of database privacy, cryptography, and distributed computing. | |

Ebeling, Carl | 2011 | For contributions to the architecture and design of reconfigurable systems. | |

Eckert, J Presper | 1994 | ||

Eggers, Susan J | 2002 | For contributions to the design and analysis of multithreaded and shared memory multiprocessors and compiler technology. | |

El Abbadi, Amr El | 2010 | For contributions to scalable and fault-tolerant data management protocols | |

Elias, Peter | 1994 | For contributions to information theory, including data compression and error correction applicable to digital communications and to computation. | |

Ellen, Faith | 2014 | For contributions to data structures, and the theory of distributed and parallel computing. | |

Elliott, Chip | 2013 | For scientific contributions enabling quantum communications, advanced tactical networks, and programming literacy. | |

Ellis, Carla S. | 2010 | For contributions to techniques for energy management technology in mobile devices, and for service to the computing community. | |

Ellis, Clarence A | 1998 | Dr. Ellis' publications and his leadership in ACM SIGOIS and conferences have had a major impact in the office information systems field. | |

Elmagarmid, Ahmed K | 2012 | For contributions to database management systems. | |

Emer, Joel | 2004 | For contributions to computer architecture and performance analysis. | |

Encarnacao, Jose L. | 1996 | Jose Encarnacao was awarded the SIGGRAPH Steven A. Coons Award for Outstanding Creative Contributions to Computer Graphics for 1995. Dr. Jose Encarnacao is being recognized for his leadership in the international graphics standard efforts, and for his leadership in projects applying computer graphics to a broad range of industrial and medical applications. | |

Engel, Gerald L | 1994 | By his diligence and singular leadership in computer science curricula development and accreditation, national and international conferences, and technical journal founding and development, Gerald Engel has made lasting contributions to the computing profession throughout the last two decades. | |

Engeler, Erwin | 1995 | Erwin Engeler is honored for his pioneering work on the interrelations between logic, computer science and scientific computation. | |

Eppstein, David | 2011 | For contributions to graph algorithms and computational geometry. | |

Erickson, Thomas D | 2009 | For contributions to interaction design and social computing and for outstanding service to ACM. | |

Ernst, Michael D | 2014 | For contributions to software analysis, testing, and verification. | |

Esbin, John H | 1994 | For his wisdom and skill as a principal architect of SIG and overall ACM finances over the past decade, and in addition for his leadership of the group that guided the choice of ACM's new Headquarters location. | |

Estrin, Deborah L | 2000 | For significant contributions to the design of scalable Internet protocols, and for service to the networking community. | |

Evans, Bob O | 1994 | ||

Fagin, Ronald | 2000 | For creating the field of finite model theory, and for fundamental research in relational database theory and in reasoning about knowledge. | |

Fall, Kevin | 2015 | For contributions to delay-tolerant networking. | |

Faloutsos, Christos | 2010 | For contributions to data mining, indexing, fractals, and power laws. | |

Falsafi, Babak | 2015 | For contributions to multiprocessor and memory architecture design and evaluation. | |

Fan, Wenfei | 2012 | For contributions to Web data management | |

Farber, David J. | 2001 | For pioneering contributions in the field of communications, and his extraordinary commitment to making the benefits of communications systems available to the widest possible community. | |

Fateman, Richard J | 1999 | For seminal contributions to the development of MACSYMA and symbolic processing systems. | |

Fayyad, Usama | 2006 | For contributions to machine learning, data mining and knowledge discovery. | |

Feigenbaum, Edward A | 2007 | For contributions to artificial intelligence. | |

Feigenbaum, Joan | 2001 | For foundational and highly influential contributions to cryptographic complexity theory, authorization and trust management, massive-data-stream computation, and algorithmic mechanism design. | |

Feldman, Stuart I | 1995 | For outstanding contributions to the research and practice of software development environments and for leadership and innovation in ACM's Special Interest Group on Programming Languages. | |

Felleisen, Matthias | 2006 | For contributions to programming languages and development environments. | |

Felten, Edward W. | 2007 | For contributions to security and the public policy of information technology. | |

Feng, Tse-Yun | 1994 | ||

Ferrante, Jeanne | 1996 | For the development of intermediate program representations for program optimization and parallelization that are fundamental to current optimizing compilers. | |

Ferrari, Domenico | 2001 | For pioneering work on real-time communication protocols for packet-switching internetworks. | |

Finerman, Aaron | 1994 | In recognition of his extensive and productive participation in the management of professional society policies and operations. Dr. Finerman has been actively involved in the Space Program and other technical activities worldwide in addition to his years of service to such organizations such as SHARE, AFIPS, and ACM. | |

Finkelstein, Adam | 2014 | For contributions to non-photorealistic rendering, multi-resolution representations, and computer graphics. | |

Fischer, Gerhard | 2009 | For contributions to human computer interaction and computer-mediated lifelong learning. | |

Fischer, Michael J | 1996 | For outstanding technical contributions to theoretical computer science, and for dedicated service to the computer science community. | |

Fisher, Kathleen S. | 2010 | For contributions to programming language design, theory, and practice, and for service to the computing community. | |

Floyd, Robert W. | 1994 | For having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms. | |

Floyd, Sally J | 2001 | For deep and lasting contributions to the understanding and design of the Internet; for pioneering development of scalable traffic control techniques. | |

Flynn, Michael J | 1994 | For his important and seminal contribution to processor organization and classification, computer arithmetic, and performance evaluation. | |

Foley, James D | 1999 | Through his books, courses, papers, organizational, and professional contributions, Foley has had a broad and lasting impact on the computer graphics field and on ACM. | |

Forbus, Kenneth D. | 2006 | For contributions to artificial intelligence and cognitive science. | |

Forsyth, David | 2013 | For contributions to computer vision. | |

Fortnow, Lance J. | 2007 | For contributions to complexity theory. | |

Foster, Ian T. | 2009 | For work in parallel programming languages, collaborative and distributed computing. | |

Fox, Geoffrey C. | 2011 | For contributions to software applications for high-performance computing, and for diversity outreach. | |

Frailey, Dennis J | 1996 | For advances in real-time operating systems, optimizing compilers, computer architecture and software process; for leadership in computer science education; and for service to the computing profession. | |

Franklin, Michael J | 2005 | For contributions to distributed information management. | |

Frankston, Robert M | 1994 | For the invention of VisiCalc, a new metaphor for data manipulation that galvanized personal computing industry. | |

Franz, Michael | 2015 | For contributions to just-in-time compilation and optimization and to compiler techniques for computer security. | |

Freeman, Herbert | 1997 | For his outstanding contributions in computer graphics, computer vision, and computerized cartography, especially his invention of the chain code for line-drawing representation and processing. | |

Freeman, Peter A | 2000 | For pioneering leadership in establishing software engineering as a professional field and for founding and leading the first College of Computing. | |

Freire, Juliana | 2014 | For contributions to provenance management research and technology, and computational reproducibility. | |

Frieder, Ophir | 2005 | For contributions to search systems for distributed data. | |

Friedman, Frank L | 1994 | For his dedicated and effective leadership as Chair of the Conference Board and in many other conference management posts over the past decade. His superb guidance of SIG and ACM conferences has greatly advanced this important area of SIG and ACM service to members and to the profession. | |

Fuchs, Henry | 1995 | Dr. Henry Fuchs is internationally known for his contributions to high performance, parallel display architecture. He was a pioneer who recognized the importance of parallelism for graphic processors. | |

Fuchs, W Kent | 2000 | For contributions to reliable computing. | |

Furnas, George W. | 2011 | For contributions to human-computer interaction. | |

Gabow, Harold N | 2002 | For contributions to efficient algorithms to flows, connectivity and matching. | |

Gabriel, Richard P | 1998 | Dr. Richard Gabriel is a leader in the Lisp/OOP community with years of contributions to standardization and founding a highly successful company, Lucid. | |

Galil, Zvi | 1995 | For fundamental contributions to the design and analysis of algorithms and outstanding service to the theoretical computer science community. | |

Galler, Bernard A | 1994 | Bernard Galler has served ACM in a number of capacities: as president from 1968-1970; chairman of the Turing Award Committee and the Government Organization Committee. He has been particularly active in AFIPS where he chaired their Special Committee on Electronic Funds Transfer Systems and is currently Editor- in-Chief of its Annals of the History of Computing. Galler was also a member of the Computer Science and Technology Board, National Academy of Sciences - National Research Council from 1977-1979; Member of the Advisory Committee for the NSF Office for Computing Activities (1971-1974); Member of the Steering Committee of the NSF COSERS Study since 1975. | |

Gannon, John D | 1999 | For contributions to research in programming languages and software engineering, and for service to the ACM, SIGSOFT, and the entire computing community. | |

Gao, Guang R. | 2007 | For contributions to multiprocessor computers and compiler optimization techniques. | |

Gao, Lixin | 2012 | For contributions to network protocols and internet routing. | |

Gao, Wen | 2013 | For contributions to video technology, and for leadership to advance computing in China. | |

Garcia-Luna-Aceves, Jose J. | 2008 | For contributions to the theory and design of computer communication protocols. | |

Garcia-Molina, Hector | 1997 | For outstanding innovations to database system technology, including achievements in storage management, distributed databases, transaction management and digital libraries. | |

Garey, Michael R | 1995 | For fundamental contributions to the theory of complexity and algorithms and for outstanding service to ACM. | |

Garfinkel, Simson | 2012 | For contributions to digital forensics and to computer security education. | |

Garlan, David | 2013 | For contributions to the development of software architecture as a discipline in software engineering. | |

Gear, Charles W | 1994 | For the development of automatic computational techniques for the solution of stiff differential equations. | |

Gehrke, Johannes | 2014 | For his contributions to data mining and data stream query processing. | |

Gelenbe, Erol | 2001 | For advancing computer and network performance evaluation as an international field of research and application, and for establishing national computer science education programs in France. | |

Geschke, C M | 1999 | For contributions to the PostScript Language and Interpreter and for his leadership of Adobe Systems, one of the most innovative software companies of today. | |

Ghezzi, Carlo | 1999 | Numerous research contributions from compiler theory to real-time systems to software processes. A strong contributor to the software engineering community in Europe and worldwide. | |

Gibbons, Phillip B | 2006 | For contributions to parallel computing, databases, and sensor networks. | |

Gibson, Garth A. | 2012 | For contributions to the performance and reliability of storage systems. | |

Gifford, David K. | 2011 | For contributions to distributed systems, e-commerce and content distribution. | |

Giles, C Lee | 2006 | For contributions to information processing and web analysis. | |

Ginsberg, Myron | 1995 | Pioneering and sustained contributions to supercomputing research and its application to the automotive industry in addition to distinguished teaching and service in high-performance computing. | |

Glass, Robert L | 1999 | For distinguished contributions to practical software engineering through writing and speaking in language and action bridging the interests of academia and industry. | |

Goemans, Michel X | 2008 | For contributions to the theory of approximation algorithms and mathematical programming. | |

Goldberg, Adele J | 1994 | For seminal contributions to object-oriented programming and related programming techniques. The theories of languages and development systems known as Smalltalk laid the foundation for explorations in new software methodologies, graphical user interfa | |

Goldberg, Andrew V. | 2009 | For contributions to fundamental theoretical and practical problems in the design and analysis of algorithms. | |

Goodenough, John B | 1995 | For technical contributions improving the state of the art and state of the practice of software engineering. | |

Goodman, James | 2010 | For contributions to parallel processor and memory system design. | |

Goodrich, Michael T. | 2009 | For contributions to data structures and algorithms for combinatorial and geometric problems. | |

Gosling, James | 2013 | For Java, NeWS, Emacs, NetBeans, and other contributions to programming languages, tools, and environments. | |

Gotlieb, Calvin C. | 1994 | ||

Gottlieb, Allan J | 2004 | For contributions to shared-memory multiprocessing. | |

Gottlob, Georg | 2007 | For contributions to the theory of artificial intelligence and database systems. | |

Govindan, Ramesh | 2011 | For contributions to computer networking. | |

Govindaraju, Venugopal | 2009 | For contributions to handwritten document image analysis, recognition, and retrieval. | |

Goyal, Ambuj | 2002 | For contributions to the theory and practice of system dependability modeling. | |

Graham, Robert M | 1996 | He was a significant contributor to the deign and implementation of the Multics time-sharing system and the MAD compiler; SIGPLAN chairman; CACM department editor; National ACM Lecturer; University of Massachusetts Computer Science Department chairman; and author of the textbook, Principles of Systems Programming. | |

Graham, Ronald L | 1999 | For seminal contributions to the analysis of algorithms, in particular the worst-case analysis of heuristics, the theory of scheduling, and computational geometry. | |

Graham, Susan L | 1994 | ||

Gray, Jim | 1994 | The INGRES and System R systems demonstrated that a practical and efficient database management system (DBMS) could be implemented based on the relational data model. These systems were full-function DBMS's that supported non-procedural query languages ( | |

Green, Cordell | 1994 | For establishing several key aspects of the theoretical basis for logic programming and providing a resolution theorem prover to carry out a programming task by constructing the result which the computer program is to compute. For proving the construc | |

Greenberg, Albert G | 2006 | For contributions to Internet measurement and engineering. | |

Greenberg, Donald P | 1995 | Professor Greenberg is both an expert in structural engineering and computer science. He is one of the outstanding researchers and contributors in computer graphics. | |

Greenberg, Saul | 2012 | For contributions to computer supported cooperative work and ubiquitous computing | |

Greif, Irene | 1997 | For innovative development of group-enabled desktop applications, and for pioneering the field of Computer Supported Cooperative Work. | |

Gries, David | 1994 | For co-authoring of 'An Axiomatic Proof Technique for Parallel Programs I', the best paper in the area of Programming Systems and Languages. | |

Grimson, Eric | 2014 | For contributions to computer vision, and medical image computing. | |

Gropp, William D | 2006 | For contributions to message passing protocols. | |

Grosch, Herbert R J | 1995 | A computer pioneer who managed important space and technology projects, Grosch is respected for discovering and describing the relationship between speed and cost of computers. | |

Gross, Markus | 2012 | For contributions to computer graphics and animation. | |

Grosz, Barbara J | 2003 | For contributions to the study of human discourse. | |

Grove, David P. | 2012 | For contributions to programming languages and for the development of open-source research infrastructures. | |

Grudin, Jonathan | 2012 | For contributions to human computer interaction with an emphasis on computer supported cooperative work. | |

Grumberg, Orna | 2015 | For contributions to research in automated formal verification of hardware and software systems. | |

Guerin, Roch | 2006 | For contributions to the resource management of data networks. | |

Guerraoui, Rachid | 2012 | For contributions to the theory and practice of reliable distributed computing. | |

Guha, Ramanathan | 2015 | For contributions to structured data representation and specification and their impact on the Web. | |

Guibas, Leonidas J | 1999 | For his work on geometric data structures, arrangements of surfaces and their applications, geometric algorithms in computer graphics, and algorithmic issues in computer vision. | |

Guo, Baining | 2011 | For contributions to computer graphics. | |

Gupta, Gopal Krishna | 1998 | For his outstanding contributions in the areas of Hybrid DE's, database and signature recognition, and to the development of computer science education in remote areas of Australia, and South East Asia. | |

Gupta, Manish | 2012 | For contributions to high performance computing software and compiler optimizations. | |

Gupta, Rajiv | 2009 | For contributions to program analysis and optimization and sustained professional service to the computer science research community. | |

Gurevich, Yuri | 1997 | Professor Yuri Gurevich is an internationally acclaimed researcher, educator, and leader in the field of foundational issues of computer science. | |

Guttag, John | 2006 | For contributions to algebraic specifications and abstract data types. | |

Guzdial, Mark | 2014 | For contributions to computing education, and broadening participation. | |

Guzman, Adolfo | 2002 | For contributions to image understanding and shape similarity, and for advancing the state of the art and the education in Computer Science in Mexico. | |

Haas, Laura M | 2006 | For research leadership, and contributions to federated database systems. | |

Haas, Peter | 2013 | For leadership in probabilistic methods for the management and analysis of data and for system simulation. | |

Haderle, Donald J | 2000 | Chief Architect for DB2 in the 1980s, which proved that relational databases were suitable for critical online transaction processing applications as well as decision support. | |

Hailpern, Brent T | 2003 | For leadership in, and service to, the computer science community. | |

Halevy, Alon Yitzchak | 2006 | For contributions to data integration and knowledge representation. | |

Hall, Wendy | 2010 | For contributions to the semantic web and web science and for service to ACM and the international computing community. | |

Halpern, Joseph | 2002 | For contributions to the modeling of and reasoning about uncertainty. | |

Hammer, Carl | 1994 | For his outstanding service to the computing community through professional, managerial, and technical contributions, both nationally and internationally. | |

Hamming, Richard W | 1994 | For his work on numerical methods, automatic coding systems, and error- detecting and error-correcting codes. | |

Han, Jiawei | 2003 | For contributions in knowledge discovery and data mining. | |

Hanrahan, Patrick | 2008 | For contributions to rendering theory and systems. | |

Hanson, Vicki L. | 2004 | For contributions to computing technologies for people with disabilities. | |

Harel, David | 1994 | A brilliant expositor, he has exposed laymen to deep computer science concepts through his widely acclaimed book Algorithmics, the Spirit of Computing (1987) and through numerous lectures to a variety of audiences. His work on Israeli national councils and ministerial committees is profoundly influencing curricula at both the high-school and university level. | |

Haritsa, Jayant R | 2015 | For contributions to the theory and practice of data management systems. | |

Harper, Robert | 2005 | For contributions to type systems for programming languages. | |

Harris, Fred H | 1994 | For helping insure ACM's effective and valuable participation in establishing and operating the Institute for Certification of Computer Professionals. | |

Harrison, Michael A | 1996 | For his rare combination of fundamental theoretical contributions in automata theory and formal languages, service to ACM, and entrepreneurial contributions. | |

Harrold, Mary Jean | 2003 | For contributions in software testing and analysis. | |

Hart, Peter E | 2003 | For contributions in pattern recognition and artificial intelligence. | |

Hartmanis, Juris | 1994 | In recognition of their seminal paper which established the foundations for the field of computational complexity theory. | |

Hayes, John P | 2001 | For outstanding contributions to logic design and testing and to fault-tolerant computer architecture. | |

Hearn, Anthony C | 2006 | For contributions to computer algebra and symbolic computation. | |

Hearst, Marti | 2013 | For contributions to information retrieval and computational linguistics. | |

Heath, Michael T | 2000 | For his research contributions in scientific and parallel computing and for his educational research leadership in computational science and engineering. | |

Heckerman, David | 2011 | For contributions to reasoning and decision-making under uncertainty. | |

Heidelberger, Philip | 1996 | For contributions to the theory and practice of efficient discrete event simulations. | |

Heiser, Gernot | 2014 | For contributions demonstrating that provably correct operating systems are feasible and suitable for real-world use. | |

Hellerstein, Joseph M | 2009 | For contributions to database systems and data management. | |

Hendren, Laurie J | 2009 | For contributions to program analysis of procedural, object-oriented and aspect-oriented programming languages. | |

Hennessy, John L | 1997 | John L. Hennessy is a pioneer of RISC technology and a founder of MIPS Computer Systems. His work demonstrated to the field the symbiosis possible among compiler technology, instruction set architecture and processor design. | |

Henzinger, Thomas A | 2006 | For contributions to formal verification and hybrid systems. | |

Herlihy, Maurice P | 2005 | For contributions to distributed and parallel systems. | |

Hershberger, John | 2012 | For contributions to geometric computing and to design tools for integrated circuits. | |

Herzog, Bertram | 1995 | Dr. Herzog has been a pioneer in recognizing new ideas and applications with computing, via distributed computing, networking and computer graphics. He has had a distinguished career in research and education in academia, business, and industry. | |

Highland, Harold J | 1995 | For contributions to modeling and simulation theory, particularly the development and use of random number algorithms. For promotion of information security issues internationally. For service and leadership to ACM's SIG publications. | |

Hill, Mark D | 2004 | For contributions to memory consistency models and memory system design. | |

Hillis, Danny Daniel | 1994 | For his basic research on parallel algorithms and for he conception, design, implementation and commercialization of the Connection Machine. | |

Hirschberg, Julia | 2015 | For contributions to spoken language processing. | |

Hoelzle, Urs | 2009 | For the design, engineering and operation of energy efficient large-scale cloud computing systems. | |

Hoffman, Lance J | 1995 | Research and social impact of computing and facilitation of dialogue among concerned stakeholders, exemplified by institutionalizing within ACM the Conference on Computers, Freedom, and Privacy. | |

Holzmann, Gerard J. | 2011 | For contributions to software verification by model checking. | |

Hopcroft, John E | 1994 | For fundamental achievements in the design and analysis of algorithms and data structures. | |

Hoppe, Hugues | 2011 | For contributions to computer graphics. | |

Horning, James Jay | 1998 | For fundamental contributions to the fields of programming language design and specification methodology, and for leadership in matters of computing and public policy. | |

Horowitz, Mark A | 2003 | For contributions to multiprocessor architecture. | |

Horvitz, Eric | 2014 | For contributions to artificial intelligence, and human-computer interaction. | |

House, Charles H. | 2008 | For distinguished service and contributions to ACM and the computing community. | |

Hubaux, Jean-Pierre | 2010 | For contributions to security in wireless networks. | |

Hudak, Paul | 2003 | For contributions to functional programming languages. | |

Hull, Richard | 2007 | For contributions to data semantics and web services. | |

Hull, Tom | 1994 | ||

Hume, J N | 1994 | ||

Humphrey, Watts S. | 2008 | For contributions to software engineering process discipline. | |

Huskey, Harry D | 1994 | For his work on ENIAC; design and construction of ACE-Pilot Model, SWAC, Bendix G15, and UC Berkeley Time-sharing Computer; edited Computer Handbook, and is a Past President of the ACM. | |

Huttenlocher, Daniel P. | 2007 | For contributions to computer vision. | |

Hwu, Wen-Mei | 2002 | For technical contributions and leadership in computer architecture. | |

Ibaraki, Toshihide | 1999 | For contributions to the theory and algorithms of discrete optimization, graphs and networks, and logical analysis of data with Boolean functions, as well as their applications. | |

Ibarra, Oscar H | 1995 | For contributions to the design and analysis of algorithms, the theory of computation, computational complexity, and parallel computing. | |

Immerman, Neil | 2002 | For contributions to complexity theory, descriptive complexity, and database theory. | |

Indyk, Piotr | 2015 | For contributions to high-dimensional geometric computing, streaming/sketching algorithms, and the Sparse Fourier Transform. | |

Ioannidis, Yannis E | 2004 | For contributions to database systems, particularly query optimization. | |

Irwin, Mary Jane | 1996 | For contributions to computer arithmetic, digital signal processing architectures, and electronic CAD and outstanding service to ACM/SIG activities. | |

Iyengar, Sitharama | 2001 | For fundamental research and contributions in algorithms and data structures for applications in parallel computing, image-processing, sensor fusion and robotics, and for services to ACM. | |

Iyer, Ravishankar K | 2001 | For outstanding contributions to the design, measurement and evaluation of reliable computing systems. | |

Jaffe, Jeffrey | 1996 | For outstanding achievements in the development of effective and influential distributed routing algorithms for peer networking and for many professional contributions to computer communication research. | |

Jagadish, H V | 2003 | For contributions to database technology. | |

Jahanian, Farnam | 2009 | For contributions to the dependability and security of networks and systems. | |

Jain, Anil K | 2003 | For contributions in Pattern Recognition theory. | |

Jain, Raj | 1996 | Proposed a new control-theoretic approach to computer systems modeling in the Doctoral Thesis, which was published in 'Outstanding Dissertations in Computer Sciences' series by Garland Publishing Co. of New York. | |

Jain, Ramesh C | 2003 | For contributions to computer vision and multimedia information systems. | |

Jaja, Joseph F | 2001 | For contributions to the design and analysis of parallel algorithms, algebraic and combinatorial complexity, VLSI architectures, and high-performance computing. | |

Jarke, Matthias | 2013 | For contributions to conceptual modeling, requirements engineering, metadata management, and computer science leadership in Germany. | |

Jensen, Christian S. | 2011 | For contributions to temporal and spatio-temporal data management. | |

Jha, Niraj K | 2003 | For contributions to low power design and testing of digital systems. | |

Jiang, Tao | 2007 | For contributions to computational biology and computational complexity. | |

Joachims, Thorsten | 2014 | For contributions to the theory and practice of machine learning and information retrieval. | |

Johnson, David S | 1995 | For fundamental contributions to the theories of approximation algorithms and computational complexity, and for outstanding service to ACM. | |

Jones, Anita K | 1996 | For contributions to the development of operating system and parallel system software and to the advancement of science and technology in the United States. | |

Jones, Cliff B | 1995 | A longstanding originator and promoter of formal and rigorous methods for software design and construction, especially the Vienna Development Method (VDM). | |

Jones, Neil D | 1998 | For outstanding contributions to semantics-directed compilation, especially partial evaluation, and to the theory of computation, formal models and their practical realization. | |

Jordan, Michael I. | 2010 | For contributions to the theory and application of machine learning. | |

Joshi, Aravind K | 1998 | For pioneering theoretical and technological contributions to natural language processing and fostering interdisciplinary research and education in artificial intelligence, cognitive science and information technology, in general. | |

Jouppi, Norman P | 2006 | For contributions to the design and analysis of high-performance processors and memory systems. | |

Kaashoek, Frans | 2004 | For contributions to distributed, mobile, and parallel systems. | |

Kahan, William | 1994 | For his fundamental contributions to numerical analysis. One of the foremost experts on floating-point computations. Kahan has dedicated himself to 'making the world safe for numerical computations. | |

Kahn, Robert E | 2001 | For leadership in the design of the Internet, strategic computing, digital libraries, digital object infrastructure and digital intellectual property protection technology. | |

Kahng, Andrew B. | 2012 | For contributions to physical design automation and to design for manufacturability of microelectronic systems. | |

Kaltofen, Erich L. | 2009 | For contributions to symbolic and algebraic computation, algebraic algorithms and complexity theory. | |

Kanade, Takeo | 1999 | For broad contributions to research in and the advancement of computer science and robotics, and for service to the ACM and the greater computer science and robotics community. | |

Kandel, Abraham | 1998 | For original research contributions advancing the state-of-the-art in applied fuzzy sets, fuzzy expert systems, and fuzzy hybrid systems. | |

Kang, Sung Mo | 2001 | For outstanding contributions to computer-aided design for performance and reliability of CMOS VLSI and optoelectronic circuits and systems for high performance computing and communications. | |

Kannan, Sampath K. | 2013 | For contributions to algorithmic approaches to program reliability, bioinformatics, and for service to the computer science research community. | |

Kaplan, Ronald M | 1994 | ||

Karger, David Ron | 2009 | For efficient algorithms for combinatorial optimization problems based on randomization. | |

Karin, Sidney | 2002 | For leadership in integrating the academic computer science and computational science communities. | |

Karlin, Anna | 2012 | For contributions to the design and analysis of algorithms and their use in the study of systems design. | |

Karloff, Howard J. | 2011 | For contributions to the design and analysis of algorithms. | |

Karp, Richard M | 1994 | For his continuing contributions to the theory of algorithms including the development of efficient algorithms for network flow and other combinatorial optimization problems, the identification of polynomial -time computability with the intuitive notion | |

Kasik, David J | 2013 | For contributions to computer graphics, user interface software, and visual analytics. | |

Katabi, Dina | 2013 | For contributions in cross-layer wireless networking, wireless network coding, and Internet congestion control. | |

Katz, Randy H | 1996 | For contributions to computer system design, engineering education, and government service. | |

Kaufman, Arie E. | 2009 | For contributions to volume visualization and its applications. | |

Kautz, Henry A | 2013 | For contributions to artificial intelligence and pervasive computing with applications to assistive technology and health. | |

Kavraki, Lydia E. | 2010 | For contributions to robotic motion planning and its application to computational biology. | |

Kay, Alan C. | 2008 | For fundamental contributions to personal computing and object-oriented programming. | |

Kearns, Michael | 2014 | For contributions to machine learning, artificial intelligence, and algorithmic game theory and computational social science. | |

Keckler, Stephen W. | 2011 | For contributions to computer architectures and technology modeling. | |

Kedem, Zvi | 1997 | Zvi Kedem has developed crucial enabling innovations in key areas of information technology and their foundational underpinnings: in computer graphics, database systems, and parallel computing. | |

Kellogg, Wendy A | 2002 | For contributions to social computing and human-computer interaction (HCI) and for service to ACM. | |

Kemmerer, Richard A | 1997 | For contributions in the areas of formal specification and verification of systems, computer system security and reliability, specification language design, and software engineering. | |

Kennedy, Kenneth W | 1995 | For outstanding contributions to the research and practice of achieving high performance on parallel computers, through innovations in programming language design and program optimization. | |

Kent, Stephen T | 1998 | For contributions in technologies, algorithms, policies and practices that help ensure the privacy and security of data communications networks and systems such as the Internet. | |

Keshav, Srinivasan | 2012 | For contributions to computer communication networks and systems. | |

Key, Peter B. | 2011 | For network control and routing. | |

Kiczales, Gregor | 2012 | For contributions to aspect-oriented programming language design and implementation. | |

Kieburtz, Richard B | 2001 | For founding two successful computer science departments, for research, and for service to the computing community. | |

Kiesler, Sara | 2010 | For contributions to Human Computer Interaction. | |

Kim, Won | 1995 | For fundamental insights into query optimization in relational databases, support for engineering applications, and functionality and architecture of object-oriented databases, and for extensive editorial service. | |

King, Valerie | 2014 | For contributions to randomized algorithms, especially dynamic graph algorithms and fault tolerant distributed computing. | |

Kirkpatrick, Scott | 2011 | For simulated annealing and contributions to combinatorial optimization. | |

Kitsuregawa, Masaru | 2012 | For contributions to high performance database systems. | |

Klawe, Maria M | 1996 | For outstanding technical, educational, and disciplinary leadership, and for significant contributions to theoretical computer science and to educational applications of computing technology. | |

Klein, Philip N. | 2010 | For contributions to graph algorithms. | |

Kleinberg, Jon | 2013 | For contributions to the science of information and social networks. | |

Kleinrock, Leonard | 2000 | For his pioneering work as inventor of packet switching, the underlying technology of the Internet. He wrote the first paper and first book on the subject, and supervised the birth of what became the Internet. Also, for achievements as an inspiring and | |

Klensin, John C. | 2007 | For contributions to networking standards and internet applications. | |

Knuth, Donald E | 1994 | For the design and implementation of TEX, an innovative tool for the computer composition of documents of high typographical quality. | |

Kolaitis, Phokion G | 2005 | For contributions to logic in computer science. | |

Konstan, Joseph A. | 2008 | For contributions to human-computer interaction. | |

Korth, Henry F | 2000 | For significant and lasting influence to principles and practice of database management. Service to community via a bestseller undergraduate textbook, student mentoring and leadership role in industry. | |

Kosaraju, S R | 1995 | For contributions to the Theory of Parallel Computing. | |

Kossmann, Donald | 2010 | For advances in XML data management and distributed information systems. | |

Kowalski, Robert A | 2001 | For his work as a cofounder of the field of logic programming, for providing the field's first foundations, and for pursuing applications to legal reasoning, temporal reasoning, metalevel reasoning, default reasoning, and argumentation. | |

Kozen, Dexter | 2003 | For contributions to theoretical computer science. | |

Kramer, Jeffrey | 2001 | For his research contributions spanning theory and practice in distributed software engineering, including multiple viewpoint requirements analysis, software architectures specification and analysis, and distributed software configuration and evolution. | |

Kraus, Sarit | 2014 | For contributions to artificial intelligence, including multi-agent systems, human-agent interaction and non-monotonic reasoning. | |

Kraut, Robert E. | 2011 | For contributions to human-computer interaction. | |

Kriegel, Hans-Peter | 2009 | For contributions to knowledge discovery and data mining, similarity search, spatial data management, and access methods for high-dimensional data. | |

Kuck, David J | 1994 | For his impact on the field of supercomputing, including his work in shared memory multiprocessing, clustered memory hierarchies, computer technology, and application/library tuning. | |

Kumar, Panganamala | 2013 | For contributions to wireless communication and control technologies. | |

Kumar, Vipin | 2005 | For contributions to the design and analysis of parallel algorithms. | |

Kuo, Tei-Wei | 2015 | For contributions to performance and reliability enhancement of flash-memory storage systems. | |

Kurose, James F | 2001 | For contributions to the design and analysis of network protocols, and for technical leadership in the field. | |

Kurtz, Thomas E | 1994 | Invented, along with John G. Kemeny, the BASIC computer programming language, and contributed to its growth and standardization. | |

Kurzweil, Ray | 1994 | ||

Ladner, Richard E | 1995 | For seminal and significant contributions in theoretical computer science research. | |

Laird, John E | 2006 | For contributions to the development and application of cognitive architectures. | |

Lakshman, T V | 2005 | For contributions to packet processing and traffic management algorithms. | |

Lakshmivarahan, S | 1995 | For contributions to the theory and applications of learning algorithms, parallel processing and interconnection networks. | |

Lam, Monica S. | 2007 | For contributions to compilers and program analysis. | |

Lam, Simon S | 1998 | For fundamental research contributions to the design, analysis, and understanding of computer network architectures and protocols. | |

Lamport, Leslie | 2014 | For contributions to the theory and practice of distributed and concurrent systems | |

Lampson, Butler W | 1994 | For contributions to the development of distributed, personal computing environments and the technology for their implementation: workstations, networks, operating systems, programming systems, displays, security, and document publishing. | |

Lamsweerde, Axel Van | 2000 | For wide spectrum research contributions, from parallel program synthesis to software engineering environments to requirements engineering. Contributions to the software engineering community in Europe and worldwide. | |

Landau, Susan | 2011 | For public policy leadership in security and privacy. | |

Landweber, Lawrence H | 1996 | Lawrence H. Landweber has been a pioneer in the development of computer networks to support research and education. Accomplishments include his founding role in CSNET, the first community-based network, and his contribution to the internationalization of the Internet. | |

Larson, Per-Ake G | 2004 | For contributions to query processing and access methods in database systems. | |

Larus, James R | 2006 | For contributions to programming languages, compilers, and computer architecture. | |

Launchbury, John | 2010 | For contributions to the development of functional programming. | |

Lavenberg, Stephen S | 1994 | For contributions to the theory and practice of computer performance modeling. | |

Lawson, H W | 1997 | For outstanding contributions to compilers, programming languages, computer architecture, microporgramming, and real-time systems as well as to computer science and engineering education and training. | |

Lazowska, Edward | 1995 | For advancing the state of the art in computer systems and computer system performance analysis, and for significant technical, educational, and disciplinary leadership. | |

Lea, Douglas S | 2013 | For contributions to software, particularly in support of concurrency. | |

Lederberg, Joshua | 1994 | ||

Lee, Der-Tsai | 1997 | For contribution to Computational Geometry and Design and Analysis of Algorithms. | |

Lee, John A | 1994 | For many years of dedicated service to ACM and the computing community with special contributions in the areas of computing standards, history of computing, and advancing computer science professionalism. | |

Lee, Peter | 2004 | For contributions to the security of mobile code. | |

Lee, Ruby B | 2001 | For pioneering multimedia instructions in general-purpose processor architecture and innovations in the design and implementation of the instruction set architecture of RISC processors. | |

Lehman, Meir M | 1994 | Since 1969, Lehman has developed the study of Software Evolution, laws governing it and a Principle of Software Uncertainty all confirmed in his FEAST project. | |

Leiserson, Charles E | 2006 | For contributions to parallel and distributed computing. | |

Lenzerini, Maurizio | 2009 | For contributions to data management and knowledge representation. | |

Leroy, Xavier | 2015 | For contributions to safe, high-performance functional programming languages and compilers, and to compiler verification. | |

Lesk, Michael E | 1996 | For outstanding contributions to Unix, research in Information Retrieval, and the design and implementation of multimedia Digital Libraries. | |

Leveson, Nancy G | 1995 | Nancy Leveson is the founder of the field of software safety and has developed safety techniques that are used by industry and other researchers worldwide. | |

Levin, Roy | 2008 | For contributions to software and systems. | |

Levoy, Marc | 2007 | For contributions to computer graphics. | |

Levy, Henry M | 1996 | For exceptional contributions to computer science research in operating systems and computer architecture, to education (through publications and students), and to the ACM. | |

Lewis, Philip M | 1999 | For fundamental contributions to the development of computational theory and practice, particularly complexity theory, compiler design, and concurrency control for databases and systems. | |

Li, Kai | 1998 | For fundamental contributions to computer systems and architecture, by introducing and demonstrating the effectiveness of Shared Virtual Memory. | |

Li, Ming | 2006 | For contributions to computational complexity and its applications. | |

Libkin, Leonid | 2012 | For contributions to finite model theory and database theory. | |

Lin, Chih-Jen | 2015 | For contributions to the theory and practice of machine learning and data mining. | |

Lin, Ming C. | 2011 | For contributions to geometric modeling and computer graphics. | |

Lin, Yi-Bing | 2003 | For contributions to mobile networks. | |

Lindsay, Bruce G | 1994 | For co-authoring of 'The Recovery Manager of the System R Database Manager', the best paper in the area of Programming Systems and Languages. | |

Lipton, Richard J | 1997 | For sustained excellence in research in virtually every aspect of theoretical computer science. He has produced some of the most influential work in the field. | |

Liskov, Barbara H | 1996 | For pioneering contributions in the fields of programming methodology, programming languages, and distributed systems. | |

Little, Joyce Currie | 1994 | Her service to the broad computing community spans some twenty years and includes significant contributions to curriculum development, certification standards, vocational education professional ethics. | |

Litwin, Witold | 2001 | For pioneering research in dynamic storage structures, scalable distributed file structures and multidatabases. | |

Liu, Bing | 2015 | For contributions to knowledge discovery and data mining, opinion mining, and sentiment analysis. | |

Liu, C L | 1994 | Professor Liu is an educator in the truest sense of the word. He is a highly regarded author of computer science textbooks, a superb teacher, inside and outside the classroom, and has contributed significantly to computer science educational programs at both the national and international levels. | |

Liu, Yunhao | 2015 | For contributions to sensor networks. | |

Lomet, David B | 2002 | For contributions to database system access methods, concurrency control, and recovery. | |

Lorie, Raymond A | 2000 | Multiple important contributions to the technology of Relational Database systems (SQL embedding, SQL compilation, optimizer, extensions for engineering). Important contribution in automatic data entry from forms. | |

Loveland, Donald W | 2000 | Played a major role in the development of theory proving and automated deduction through seminal research and an influential book on the subject. | |

Lowney, P. Geoffrey | 2008 | For contributions to compiler technology and performance enhancement tools. | |

Luby, Michael George | 2015 | For contributions to coding theory, cryptography, parallel algorithms and derandomization. | |

Lui, John C.S. | 2009 | For contributions to stochastic analysis of parallel storage and communication systems. | |

Lynch, Nancy A | 1997 | For contributions to the theory of distributed computing, including mathematical models and proof techniques, algorithms and impossiblity results. | |

Lynn, M Stuart | 1994 | In recognition of his chairing and directing the Publications Planning Committee which produced a long term policy framework and the current implementation plan for ACM publications. | |

Lyon, Richard F. | 2010 | For contributions to machine perception and for the invention of the optical mouse. | |

Lyu, Michael Rung-Tsong | 2015 | For contributions to the theory and practice of software reliability engineering. | |

Maarek, Yoelle | 2013 | For contributions to industrial leadership and to information retrieval and Web search. | |

Macqueen, David B | 1999 | For significant research contributions in type theory and programming language design, especially for work on the design and implementation of Standard ML. | |

Magnusson, Peter S. | 2011 | For contributions to full-system simulation. | |

Maier, David | 1998 | For fundamental insights into database theory and object-oriented databases and for leadership in directing the future of database research. | |

Maisel, Herbert | 1994 | For lengthy, effective and dedicated service to ACM in many roles including Chairman of the External Activities Board and, in particular, for his service as Chair of the Intersociety Liaison Committee. | |

Malik, Jitendra | 2008 | For contributions to computer vision. | |

Malik, Sharad | 2014 | For contributions to efficient and capable SAT solvers, and accurate embedded software models. | |

Malkhi, Dahlia | 2011 | For contributions to fault-tolerant distributed computing. | |

Manna, Zohar | 1994 | ||

Manning, Christopher D | 2013 | For contributions to natural language processing research and education. | |

Manocha, Dinesh | 2009 | For contributions to geometric computing and applications to computer graphics, robotics and GPU computing. | |

Mansour, Yishay | 2014 | For contributions to machine learning, algorithmic game theory, distributed computing, and communication networks. | |

Marathe, Madhav | 2013 | For contributions to high performance computing algorithms and software environments for simulating and analyzing socio-technical systems. | |

Martin, Dianne | 1999 | For extraordinary leadership and innovation in computer science education and for service to ACM and the profession. | |

Martonosi, Margaret | 2009 | For contributions in power-aware computing. | |

Marzullo, Keith | 2011 | For contributions to distributed systems and service to the computing community. | |

Masinter, Larry M | 1999 | Development of Interlisp programming environment; leader in creation of standards for the Internet and World Wide Web. | |

Matias, Yossi | 2009 | For contributions to the analysis of large data sets and data streams. | |

Matsuoka, Satoshi | 2011 | For contributions to the design of high-performance computers. | |

Maurer, Ueli M | 2015 | For contributions to cryptography and information security. | |

Max, Nelson | 2011 | For contributions to visualization tools and computer animation. | |

Mc Carthy, John | 1994 | Dr. McCarthy's lecture 'The Present State of Research on Artificial Intelligence' is a topic that covers the area in which he has achieved considerable recognition for his own work. | |

Mccluskey, Edward J | 1994 | ||

Mccracken, Daniel D | 1994 | ||

McDaniel, Patrick | 2015 | For contributions to computer and mobile systems security. | |

Mcjones, Paul R | 1994 | For co-authoring of 'The Recovery Manager of the System R Database Manager', the best paper in the area of Programming Systems and Languages. | |

Mckeown, Kathleen | 2003 | For contributions to natural language processing. | |

Mckeown, Nick | 2006 | For contributions to network switching and queueing. | |

McKinley, Kathryn S. | 2008 | For contributions to compilers and memory management. | |

Mehlhorn, Kurt | 1999 | For important contributions in complexity theory and in the design, analysis, and practice of combinatorial and geometric algorithms. | |

Mellor-Crummey, John M. | 2013 | For contributions to parallel and high performance computing. | |

Menasce, Daniel A | 1997 | For fundamental contributions to education and practice of computer networks and performance evaluation, and material contributions to the establishment of a strong computing industry in Brazil. | |

Meyer, Albert R | 2000 | For fundamental advances in complexity theory and semantics of programming, and for outstanding service and education of graduate students. | |

Meyer, Bertrand | 2008 | For contributions to software engineering and programming languages. | |

Micheli, Giovanni De | 2001 | For his contributions to the design technologies of integrated circuits and systems and for his service to the community via a prominent textbook. | |

Miller, Barton P | 2001 | For contributions to the fields of parallel and distributed computing, particularly in the areas of debugging and performance measurement. | |

Miller, Gary L | 2002 | For contributions to the design and analysis of algorithms in number theory and computational geometry. | |

Miller, Raymond E | 1997 | For research contributions to the theory of parallel computation and for his distinguished service to the Computer Science community as an educator and leader. | |

Miller, Renee J. | 2009 | For innovations in metadata management, especially the creation of tools to integrate, transform, query and analyze information. | |

Miller, Victor | 2015 | For contributions to cryptography and software research. | |

Mills, David L | 1999 | For contributions to Internet Routing and Timekeeping. | |

Milner, A J | 1994 | For three distinct and complete achievements: 1) LCF, the mechanization of Scott's Logic of Computable Functions, probably the first theoretically based yet practical tool for machine-assisted proof construction; 2) ML, the first language to include polymorphic type inference together with a type-safe exception-handling mechanism; 3) CCS, a general theory of concurrency. In addition, he formulated and strongly advanced full abstraction, the study of the relationship between operational and denotational semantics. | |

Milo, Tova | 2012 | For contributions to database theory and business process management. | |

Minker, Jack | 1994 | For championing the rights of scientists to practice their profession freely and openly, for bringing to public attention the names of scientists deprived of their scientific freedom and human rights, and for giving these victims hope and making them aware of ACM's support. | |

Mishra, Bhubaneswar | 2007 | For contributions to symbolic computation and computational biology. | |

Misra, Jay | 1995 | For significant advancements in the theory and practice of distributed computing, in particular for work on Parallel Program Design and the development and use of UNITY. | |

Mitchell, John C. | 2008 | For contributions to the theory of programming languages. | |

Mitchell, Joseph | 2011 | For contributions to geometric computing and approximation algorithms. | |

Mitra, Subhasish | 2014 | For contributions to the design and testing of robust computing systems. | |

Mitzenmacher, Michael | 2014 | For contributions to coding theory, hashing algorithms and data structures, and networking algorithms. | |

Mockapetris, Paul V | 2004 | For contributions to the Internet, including the development of domain and email protocols. | |

Mogul, Jeffrey C | 2001 | For significant contributions in operating systems, file systems, Web caching, Internet performance, and Internet standards. | |

Mohan, C. | 2002 | For contributions to reliable, high-performance transaction management. | |

Mooney, Raymond | 2010 | For contributions to machine learning and natural language processing | |

Moore, J Strother | 2006 | For contributions to mechanized theorem proving. | |

Moran, Thomas P | 2003 | For contributions to human-computer interaction. | |

Morris, James H | 2000 | James H. Morris is responsible for several seminally important ideas in computer science. He was one of the first to use Lambda Calculus to model programming languages, he was one of the developers of 'Lazy Evaluation', and he was co-discoverer of the Knuth-Morris-Pratt string search algorithm. Morris was Principal Scientist and Research Fellow at Xerox Palo Alto Research Center from 1974 until 1982. In 1982 he moved to Carnegie Mellon where he has held a number of positions including Developer of the Campus-wide Network (The Andrew System) and Chairman of the Computer Science Department. | |

Morris, Robert | 2014 | For contributions to computer networking, distributed systems, and operating systems. | |

Morrisett, Greg | 2013 | For contributions to mathematically-based methods for ensuring the efficient implementation and verification of practical programming languages. | |

Moses, Joel | 2008 | For developing the Macsyma computer system for formula manipulation. | |

Moss, J. Eliot B. | 2007 | For contributions in transactions and memory management. | |

Motwani, Rajeev | 2007 | For contributions to algorithms and complexity theory. | |

Mukherjee, Shubu | 2011 | For contributions to modeling and design of high-performance and soft-error tolerant microarchitectures. | |

Munro, J. Ian | 2008 | For contributions to algorithms and data structures. | |

Muntz, Richard R | 1996 | For contributions to the theory of queuing networks and their application to computer system performance evaluation. | |

Muthukrishnan, S. | 2010 | For contributions to efficient algorithms for string matching, data streams, and internet ad auctions | |

Myers, Andrew C. | 2013 | For contributions to languages and systems that use information flow for implementing secure computing systems. | |

Myers, Brad A | 2005 | For contributions to interactive programming environments. | |

Myers, Eugene W | 2003 | For contributions to bioinformatics. | |

Mynatt, Elizabeth D. | 2015 | For contributions to human-centered computing and to the development of health information technologies. | |

Nahrstedt, Klara | 2012 | For contributions to quality-of-service management for distributed multimedia systems. | |

Nance, Richard E | 1996 | Dr. Nance's fundamental work in simulation environments has changed the profession. His unfailing effectiveness as editor, committee chair, and conference organizer helps make ACM successful. | |

Narayanan, Vijaykrishnan | 2014 | For contributions to power estimation and optimization in the design of power-aware systems. | |

Nau, Dana | 2013 | For contributions to automated search and planning. | |

Naughton, Jeffrey F | 2002 | For contributions to database system research and practice. | |

Navathe, Shamkant B | 2014 | For contribution to data modeling, database design, and database education. | |

Needham, Roger M | 1994 | ||

Neumann, Peter G | 1994 | For his dedicated service as founder and moderator of the ACM Forum on Risks to the Public in the Use of Computers and Related Systems. His work with RISKS Forum on-line, in the Software Engineering Notes, and in CACM has increased awareness of security | |

Newborn, Monroe M | 1994 | In recognition of his organization of and continuing efforts in the annual ACM Computer Chess Championship. Throughout the 20 years of the event, he has been a major force in its operation, has authored one of the competitors (OSTRICH), and has encouraged young ACM members to develop computer chess programs and to compete. | |

Newell, Alan F | 2006 | For contributions to computer-based systems for people with disabilities. | |

Nicol, David M | 2005 | For contributions to discrete-event simulation. | |

Nievergelt, J | 1995 | Outstanding educator, author of textbooks of exemplary clarity and innovative content. Influential contributions in data structures (trees, extendible hashing, gridfile) and software for geometry (GeoBench). | |

Nishizeki, Takao | 1996 | For contributions to the design and analysis of efficient algorithms for planar graphs, network flows and VLSI routing. | |

Norman, Donald A. | 2001 | For contributions to human-centered design and computing. | |

Norvig, Peter | 2006 | For contributions to artificial intelligence and information retrieval. | |

Notkin, David S | 1998 | For broad contributions to research in software engineering and software evolution, and for service to the ACM and the greater software engineering community. | |

Nycum, Susan H | 1998 | For her contributions to improving the bilateral understanding between the technical community and the legal community. | |

O'Leary, Dianne P. | 2006 | For mentoring activities and contributions to numerical algorithms. | |

O'Rourke, Joseph | 2012 | For contributions to computational geometry and for broadening participation in computing. | |

Odersky, Martin M | 2007 | For contributions to functional and object-oriented programming languages. | |

Oettinger, Anthony G | 1995 | For more than 42 years Professor Oettinger has served ACM and computing and led in the establishment of the national communications and information resources policy. | |

Olsen, Dan R | 2006 | For contributions to user interface technology. | |

Olson, Gary M. | 2007 | For contributions to computer-supported collaborative work. | |

Olson, Judith S. | 2008 | For contributions to human-computer interaction and computer-supported cooperative work. | |

Olukotun, Kunle A | 2006 | For contributions to multiprocessors on a chip and multi threaded processor design. | |

Ooi, Beng Chin | 2011 | For contributions to spatio-temporal and distributed data management. | |

Osterweil, Leon J | 1998 | For fundamental contributions in software engineering, particularly in testing and analysis, environments and process, and leadership in the computer science community. | |

Ousterhout, John K | 1994 | For his contribution to very large scale integrated circuit computer aided design. His systems, Caesar and Magic, have demonstrated that effective CAD systems need not be expensive, hard to learn, or slow. | |

Owicki, Susan S | 1994 | For co-authoring of 'An Axiomatic Proof Technique for Parallel Programs I', the best paper in the area of Programming Systems and Languages. | |

Ozsoyoglu, Zehra Meral | 2011 | For contributions to database management systems. | |

Ozsu, Tamer M. | 2006 | For contributions to distributed data management and service to the database community. | |

Pach, Janos | 2011 | For contributions to computational geometry. | |

Padua, David | 2007 | For contributions to compiler support for parallel computing. | |

Palem, Krishna | 2005 | For contributions to compiler optimization and embedded computing. | |

Pancake, Cherri M | 2001 | For leadership contributions to usability to high performance computing tools. | |

Papadimitriou, Christos | 2001 | For outstanding contributions to complexity theory, database theory and combinatorial optimization. | |

Parker, Donn B | 2001 | For contributions to information security and professional ethics. | |

Parnas, David Lorge | 1994 | For the richness of insightsÂ¿provided into system software design characteristics that provide for system change. The award winning work is entitled Design Software for Ease of Extension and Contraction. | |

Partridge, Craig | 2003 | For contributions to high-speed networking. | |

Patel, Janak H | 2001 | For his outstanding contributions to the fields of test generation and fault simulation of sequential circuits, cache consistency protocols, interconnection networks, and error detection. | |

Patel, Jignesh M | 2014 | For contributions to high-performance database query processing methods, in particular on spatial data. | |

Patt, Yale N | 2001 | For many outstanding seminal contributions to high performance microarchitecture and for leadership and teaching in computer science and engineering education. | |

Patterson, David A | 1994 | Professor Patterson is a quintessential example of a professor who combines highest intellectual ability and technical expertise with a total dedication to his role as a teacher, mentor, and friend of his students. | |

Paulson, Lawrence C. | 2008 | For contributions to theorem provers and verification techniques. | |

Pausch, Randy | 2007 | For contributions to the use of programming environments in education and entertainment. | |

Paxson, Vern | 2006 | For contributions to Internet measurement and intrusion detection. | |

Pearl, Judea | 2015 | For contributions to artificial intelligence through the development of a calculus for probabilistic and causal reasoning. | |

Pei, Jian | 2015 | For contributions to the foundation, methodology and applications of data mining. | |

Pereira, Fernando C. | 2010 | For contributions to machine-learning models of natural language and biological sequences. | |

Perrott, Ronald H | 1997 | The candidate has made fundamental contributions to the design and implementation of parallel languages and has been active in formulating IT policy at the UK and European levels. | |

Peterson, Larry L | 2000 | Research in the design and implementation of software for networked systems. Authoring introductory textbook on computer networks. Service to ACM as editor of ACM TOCS. | |

Petzold, Linda | 2011 | For contributions to computational science. | |

Pevzner, Pavel | 2010 | For contribution to algorithms for genome rearrangements, DNA sequencing, and proteomics. | |

Peyton-Jones, Simon L | 2004 | For contributions to functional programming languages. | |

Pfenning, Frank | 2015 | For contributions to the logical foundations of automatic theorem proving and types for programming languages. | |

Pierce, Benjamin C. | 2012 | For contributions to the theory and practice of programming languages and their type systems. | |

Pingali, Keshav K | 2012 | For contributions to data-centric parallel programming and to parallel compilation theory and practice. | |

Pippenger, Nicholas | 1997 | For numerous contributions to the theory of computation, to communication theory and information theory, and to related areas of mathematics. | |

Pirahesh, Hamid | 2008 | For contributions to query processing and query languages. | |

Pitts, Andrew M | 2012 | For contributions to the theory of programming language semantics. | |

Pnueli, Amir | 2007 | For contributions to program and system verification. | |

Pohl, Ira | 2001 | For outstanding contributions to computer science research and education in the areas of heuristic search, analysis of algorithms, and programming language methodology. | |

Pollack, Martha E. | 2011 | For contributions to planning systems design and for service to the computing community. | |

Poucher, William B | 1994 | For outstanding contributions over an extended period to the ACM Scholastic Programming Contest, resulting in a well-funded program, widespread university participation, and enhanced visibility for the Contest. These contribtuions have served ACM and the public by generating excitement in computing professional activities. | |

Pradhan, Dhiraj K | 1999 | For contributions to VLSI CAD test, and Fault-tolerant Systems Design, including leadership in computer engineering, and computer science education and research. | |

Prasanna, Viktor K. | 2007 | For contributions to parallel, distributed and reconfigurable computing. | |

Pratt, Vaughan R | 1997 | An outstanding computer scientist, with unusually diverse, original and deep accomplishments, like showing primes in NP, inventing dynamic logic, helping start SUN, and solidifying concurrency. | |

Preas, Bryan T | 1996 | For excellence in physical design research, promotion of design automation through conference leadership, and pioneering effort in electronic design automation publications. | |

Preparata, Franco P | 1995 | For significant research contributions in Computational Geometry, Parallel Algorithms, Theory of VLSI Layouts, Fault Diagnosis in Computer Systems, and Algebraic Coding Theory. | |

Pullen, J Mark | 2001 | For contributions to information technology in transitioning the Internet from a Federal research project to commercial availability, and development of Internet distance education technologies. | |

Rada, Roy F | 1995 | Author of over 100 journal articles and several books on information systems and leader in ACM SIG conference activities for over a decade. | |

Radev, Dragomir R | 2015 | For contributions to natural language processing and computational linguistics | |

Raghavan, Prabhakar | 2001 | For contributions to the theory and practice of randomized algorithms. | |

Rajamani, Sriram | 2015 | For contributions to software analysis and defect detection. | |

Ralston, Anthony | 1994 | For a range of accomplishments as an author, educator, human rights advocate, and in the management of technical societies. | |

Ramakrishnan, Raghu | 2001 | For significant technical contributions in deductive databases, data mining and analysis, data visualization and data integration; and for outstanding professional service to the database research community. | |

Ramamritham, Krithivasan | 2001 | For contributions to the theory and practice of real-time systems and real-time transaction processing. | |

Randell, Brian | 2008 | For contributions to dependable computing and computer history. | |

Rangan, Venkat P | 1998 | P. Venkat founded one of the foremost centers for research in multimedia, in which area he is an inventor of fundamental techniques with global impact. | |

Ranganathan, Parthasarathy | 2014 | For contributions to the areas of energy efficiency and server architectures. | |

Rao, Satish | 2013 | For contributions to algorithms for graph partitioning and for single- and multi-commodity flows. | |

Rao, Trn | 1996 | For outstanding contributions to error-control coding theory and fault tolerant systems; and service to ACM Lectureship and Chapter activities. | |

Rastogi, Rajeev R. | 2012 | For contributions to the analysis and management of large data sets. | |

Rau, Bantwal R | 2002 | For contributions to VLIW architectures and their compilers. | |

Reddy, Raj | 2012 | For pioneering the design and construction of large scale artificial intelligence systems | |

Reed, Daniel A | 2003 | For contributions to high-performance computing. | |

Reif, John H | 1997 | For major and fundamental theoretical contributions to a wide range of emerging areas in computer science, particularly parallel computing and robotics. | |

Reingold, Edward M | 1996 | For significant research and educational contributions to data structures and the analysis of combinatorial algorithms. | |

Reingold, Omer | 2014 | For contributions to the study of pseudorandomness, derandomization, and cryptography. | |

Reiter, Michael K. | 2008 | For contributions to computer security and fault-tolerant distributed computing. | |

Reiter, Raymond | 1997 | Professor Reiter's fundamental contributions to artificial intelligence have important applications in perception, diagnostic reasoning, robotic control and database, and programming language semantics. | |

Reps, Thomas | 2005 | For contributions to automated program analysis and synthesis. | |

Requicha, Aristides A. G. | 2007 | For contributions to solid modeling and nanorobotics. | |

Rexford, Jennifer | 2008 | For contributions to network control and management systems. | |

Reynolds, John C | 2001 | For research on the use of types in programming languages, for clarifying the semantical basis for types, and for influencing the design of modern programming languages. | |

Rice, John R | 1996 | For leadership in establishing the discipline of mathematical software and in founding the journal ACM Transactions on Mathematical Software. For leadership in developing high level systems and problem solving environments for scientific and numerical applications. For serving to the computing profession in editorial and administrative positions. | |

Richards, John T | 1998 | For contributions to user-centered software design and for outstanding service to the programming languages community. | |

Riedl, John T. | 2009 | For contributions to recommender systems and to social and collaborative computing. | |

Rinard, Martin | 2009 | For his contributions to program analysis for parallel computing and techniques for enabling software systems to execute successfully in the face of errors and failures. | |

Rivest, Ronald L | 1994 | For contributions to the field of cryptography. | |

Roberts, Eric S. | 2007 | For contributions to computer science education. | |

Robertson, George G | 2001 | For pioneering contributions to information visualization, animated 3D user interfaces, multimedia message systems, hypertext systems, operating systems, and programming languages. | |

Robertson, S E | 2013 | For contributions to the theory and practice of information retrieval. | |

Rodden, Tom | 2014 | For contributions to ubiquitous computing, and computer supported cooperative work. | |

Rodriguez, Pablo | 2015 | For contributions to content distribution architectures in peer-to-peer networks. | |

Rombach, Dieter | 2010 | For contributions to empirical software engineering research and its successful application to industrial practice. | |

Roscoe, Timothy | 2013 | For contributions to operating systems and networking research. | |

Rose, Jonathan S. | 2008 | For contributions to the architecture and computer-aided design of field-programmable gate arrays (FPGAs). | |

Rosenberg, Arnold L | 1996 | For contributions to the study of graph-theoretic models of computation, emphasizing theoretical studies of parallel algorithms and architectures, VLSI design and layout, and data structures. | |

Rosenblum, David S. | 2010 | For contributions to software testing and distributed systems, and for service to the software engineering community. | |

Rosenblum, Mendel | 2008 | For contributions to reinventing virtual machines. | |

Rosenfeld, Azriel | 1994 | For pioneering and fundamental contributions to computer vision and image analysis. | |

Rosenkrantz, Daniel J | 1995 | For pioneering contributions to formal languages, compiler design, algorithm analysis, databases, parallel and fault-tolerant computing and for exemplary ACM service including Editorship of JACM. | |

Ross, Keith | 2012 | For contributions to the design and modeling of computer networks and Internet applications. | |

Roth, Dan | 2011 | For contributions to machine learning and natural language processing. | |

Roussopoulos, Nick | 2001 | For outstanding contributions to the principles and practice of database management and for leadership in academia and service to the ACM community. | |

Rowe, Lawrence A | 1998 | For seminal contributions to programming languages, relational database technology, user interfaces and multimedia systems. | |

Rubinfeld, Ronitt | 2014 | For contributions to delegated computation, sublinear time algorithms and property testing. | |

Rulifson, Jeff | 1994 | For their pioneering work on augmenting human intellect with hypertext, outline processors, and video conferencing that was implemented in the NLS System [On Line System] (1968). | |

Rus, Daniela | 2014 | For contributions to robotics and sensor networks. | |

Russell, Stuart J | 2003 | For contributions to AI and machine learning. | |

Rutenbar, Rob A. | 2008 | For contributions to computer-aided design tools for mixed-signal integrated circuits. | |

Ryder, Barbara G | 1998 | For seminal contributions to the theoretical foundations and empirical investigation of interprocedural compile-time analyses, especially for languages with general-purpose pointers. | |

Sabnani, Krishnan K. | 2001 | For seminal contributions to the research and development of communication protocols. | |

Sagiv, Mooly | 2015 | For contributions to the theory and practice of automated analysis and verification of software. | |

Sahni, Sartaj K | 1996 | For contributions to data structures, design and analysis of algorithms, multiprocessor scheduling, electronic computer aided design, and parallel computing. | |

Sakallah, Karem | 2012 | For algorithms for Boolean Satisfiability that advanced the state-of-the-art of hardware verification. | |

Salesin, David H | 2002 | For contributions to computer graphics, particularly non-photorealistic rendering. | |

Salton, Gerard | 1995 | For foundational and most influential contributions over 30 years to information organization and retrieval and for 25 years of distinguished service to the ACM. | |

Sameh, Ahmed H | 1999 | For leadership in education and research in parallel computing, and for pioneering contributions in mathematical software for parallel architectures. | |

Samet, Hanan | 1996 | For research and contributions in the area of hierarchical data structures for applications in spatial data bases for computer graphics, image processing, geographic information systems, and robotics. | |

Sammet, Jean E | 1994 | For dedicated, tireless and dynamic leadership in service to ACM and the computing community. For advancing the art and science of computer programing languages and recording its history. | |

Samuelson, Pamela | 1999 | Fellow of the John D. and Catherine T. MacArthur Foundation, 1997-2002; Named as one of the 100 most influential people in the digital age in the December 1997 issue of Upside Magazine and as one of the lawyers of the year in the December 1997 issue of the California Lawyer; Fellow, Electronic Frontier Foundation, since 1997. | |

Sanders, William H | 2003 | For contributions to the design of dependable systems and networks. | |

Sandholm, Tuomas | 2008 | For contributions to combinatorial auctions and mechanism design. | |

Sandhu, Ravinderpal S | 2001 | For technical contributions to the field of information and system security, notably access control models and systems, and professional leaderhip in research journals and conferences. | |

Sangiovanni, Alberto Luigi | 2014 | For contributions to electronic design automation. | |

Sanguinetti, John W | 2011 | For contributions to hardware simulation. | |

Sarkar, Vivek | 2008 | For contributions to technologies for parallel computing. | |

Satyanarayanan, Mahadev | 2002 | For contributions to computer systems research in distributed and mobile information access. | |

Savage, John E | 1996 | For fundamental contributions to theoretical computer science, information theory, and VLSI design, analysis and synthesis. | |

Savage, Stefan | 2010 | For contributions to large scale systems and network security. | |

Schantz, Richard | 2004 | For contributions to object-oriented distributed computing. | |

Schek, Hans-Joerg | 2001 | For his outstanding contributions to the principles and practice of database management, for his outstanding leadership role in academia, and for his service to the ACM community. | |

Schlichting, Richard D | 2001 | For his influential research on fault-tolerant and dependable computing, configurable network protocols, and distributed systems, and for his outstanding leadership of and service to the computing community. | |

Schnabel, Robert B. | 2010 | For leadership of the computing community in education and diversity, and for contributions to numerical optimization. | |

Schneck, Paul | 1997 | For leadership in compiler and operating system software for extending the utility and capability of high-performance computers, including mainframes, vector processors, and parallel processors. | |

Schneider, Fred B | 1995 | For work in semantics, methodology, and algorithms to support programming concurrent and distributed systems, particularly those intended for mission-critical settings. | |

Schreiber, Robert S | 2012 | For contributions to matrix computations and to languages, compilers, and architectures for parallel scientific computing. | |

Schroeder, Michael D | 2004 | For contributions to distributed computing systems, security, and networking. | |

Schroeder, Peter | 2015 | For contributions to computer graphics and geometry processing. | |

Schulzrinne, Henning | 2014 | For contributions to the design of protocols, applications, and algorithms for Internet multimedia. | |

Schuster, Assaf | 2015 | For contributions to cloud computing. | |

Scott, Dana S | 1994 | For their joint paper 'Finite Automataand Their Decision Problem,' which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field. | |

Scott, Michael L. | 2006 | For contributions to system software for parallel and distributed computing. | |

Scott, Steven | 2012 | For contributions to the architecture of interconnection networks and supercomputers. | |

Sedgewick, Robert | 1997 | For seminal work in the mathematical analysis of algorithms and pioneering research in algorithm animation. | |

Selinger, Patricia G. | 2009 | For contributions to relational database technology. | |

Sellis, Timoleon K | 2013 | For contributions to database query optimization, spatial data management, and data warehousing. | |

Selman, Alan L | 1998 | Throughout his career Alan L. Selman has been an influential contributor to computational complexity theory and a dedicated professional within the academic comuter science community. | |

Selman, Bart | 2012 | For contributions to artificial intelligence with applications to automated reasoning and planning. | |

Seltzer, Margo | 2011 | For contributions to data management and computing systems. | |

Sequin, Carlo H | 1998 | For seminal contributions to the development of RISC, CAD tools and computer graphics systems. | |

Sethi, Ravi | 1996 | For contributions to compiler technology, computer programming languages, scheduling, and analysis of algorithms. | |

Sevcik, Kenneth C | 1997 | For exceptional service to ACM and the computing profession, and for outstanding research contributions in data base systems and in computer/communication performance evaluation. | |

Sha, Lui | 2005 | For contributions to real-time systems. | |

Shamir, Ron | 2012 | For contributions to bioinformatics. | |

Sharir, Micha | 1997 | Algorithmic motion planning; properties of Davenport-Schinzel sequences and their applications in computiational geometry; arrangements of surfaces and their relevance to geometric algorithms; subexpotential randomized (combinatorial) algorithm for linear programming. | |

Shasha, Dennis E | 2013 | For technical and literary contributions over a broad range of data management topics. | |

Shavit, Nir N | 2013 | For contributions to the theory and practice of synchronization in concurrent programming. | |

Shaw, Alan C | 1997 | He is an outstanding researcher with contributions in operating systems, real-time systems, picture processing and software modelling. He has written seminal CS texts. | |

Shaw, Mary M | 1996 | For significant contributions to software engineering, especially in the areas of software architecture, abstract data types, and software engineering education. | |

Shenker, Scott J | 2003 | For contributions to Internet architecture and protocols. | |

Shieber, Stuart | 2014 | For contributions to natural-language processing, and to open-access systems and policy. | |

Shim, Kyuseok | 2013 | For contributions to scalable data mining and query processing. | |

Shin, Kang G | 2001 | For the development of the theory of dynamic failure in real-time fault-tolerant computing. | |

Shmoys, David | 2001 | For fundamental achievements in the design and analysis of algorithms for discrete optimization problems. | |

Shneiderman, Ben | 1997 | Ben Shneiderman has been a leader in the field of computer-human interaction, seeking to extend benefits of computing technology to a broad constituency. | |

Shoham, Yoav | 2012 | For contributions at the intersection of artificial intelligence, logic, and economics. | |

Shum, Harry | 2006 | For contributions to computer vision and computer graphics. | |

Shyamasundar, Rudrapatna Kallikote | 2009 | For contributions to real-time distributed programs and logic programming. | |

Siegel, Howard J | 1998 | For contributions to the design and analysis of parallel machine interconnection networks, reconfigurable parallel computers, parallel application mappings, and heterogeneous computing systems. | |

Siewiorek, Daniel | 1994 | In recognition of outstanding technical and professional achievements in the field of information technology. | |

Sifakis, Joseph | 2012 | For contributions to hardware and software verification technology. | |

Silberschatz, Abraham | 1996 | For superb research contributions in the areas of databases, multimedia systems and concurrency control, outstanding contribution to Computer Science education and outstanding service to the ACM community. | |

Simon, Herbert A | 1994 | In joint scientific efforts extending over twenty years, initially in collaboration with J.C. Shaw at the RAND Corporation, and subsequently with numerous faculty and student collegues at Carnegie-Mellon University, they have made basic contributions to artificial intelligence, the psychology of human cognition, and list processing. | |

Simons, Barbara B | 1994 | ||

Sinclair, Alistair | 2012 | For contributions to randomized algorithms and their applications to statistical physics. | |

Singhal, Amit | 2011 | For contributions to search and information retrieval. | |

Skadron, Kevin | 2015 | For contributions in power- and thermal-aware modeling, design and benchmarking of microprocessors, including GPUs. | |

Sloan, Martha E | 1994 | ||

Slutz, Donald R | 1994 | The paper by Matson, Gecsel, Slutz and Traiger advances the art of performance evaluation of computing systems by intorducing a method of computing a large number of different performance measures in a single pass through a computer program. | |

Smith, Alan J | 2001 | For his highly cited paper on cache memories, for his contributions to performance measurement, and for his leadership in professional society activities. | |

Smith, Burton J | 1994 | For pioneering work in the design and implementation of scalable shared memory multiprocessors. | |

Smyth, Padhraic | 2013 | For contributions to probabilistic and statistical approaches to data mining and machine learning. | |

Snir, Marc | 1999 | For contributions to the theory of parallel computation and the development of scaleable parallel systems architectures. | |

Snodgrass, Richard T | 1999 | For originating , providing leadership to, and for fundamental contributions to the research area of temporal databases, and for outstanding, wide-ranging service to the database community. | |

Snyder, Larry | 1995 | For fundamental contributions to parallel computer programming, parallel computer architecture, and the theoretical foundations of computer science. | |

Soffa, Mary Lou | 1999 | For the development and enhancement of code improving transformations and the efficient design of program analysis algorithms for use in compilers and software engineering tools. | |

Sohi, Gurindar S | 2003 | For contributions to computer architecture. | |

Souvaine, Diane L. | 2011 | For contributions to computational geometry and for service on behalf of the computing community. | |

Spafford, Eugene H. | 1998 | For continuing scholarship and community service in promoting computing technology and networks, with particular emphasis on issues of security, ethics, safety, and responsible use. | |

Spector, Alfred Z | 2006 | For leadership and contributions to scalable distributed systems. | |

Spielman, Daniel A. | 2010 | For contributions to the design and analysis of algorithms. | |

Squillante, Mark S. | 2008 | For contributions to the theory and practice of stochastic modeling. | |

Srikant, Ramakrishnan | 2014 | For contributions to knowledge discovery and data mining. | |

Srinivasan, Aravind | 2014 | For contributions to algorithms, probabilistic methods, and networks. | |

Srivastava, Divesh | 2011 | For contributions to query processing in data management systems. | |

Stankovic, John A | 1996 | For research, leadership and service in real-time computing. | |

Stearns, Richard E | 1994 | In recognition of their seminal paper which established the foundations for their field of computation theory. | |

Steel, Thomas B | 1994 | Steel has provided significant service to many organizations in the computer field, particularly ACM, ANSI, IFIP, and SHARE. | |

Steele, Guy L | 1994 | For his general contributions to the development of Higher Order Symbolic Programming, principally for his advancement of lexical scoping in LISP. | |

Steiglitz, Kenneth | 1997 | For advancing the fields of signal processing, control theory, computer music, and combinatorial optimization from a computer science perspective. | |

Stein, Clifford | 2012 | For contributions to the theory of combinatorial optimization and to the design and analysis of graph algorithms. | |

Steinmetz, Ralf | 2001 | For pioneering work in multimedia communications and education, including fundamental contributions in perceivable Quality of Service for multimedia systems derived from multimedia synchronization, and for multimedia education. | |

Stenstrom, Per O | 2008 | For contributions to the design of high-performance memory systems. | |

Stockmeyer, Larry | 1996 | For several fundamental contributions to computational complexity theory, which have significantly affected the course of this field. | |

Stoica, Ion | 2012 | For contributions to networking, distributed systems, and cloud computing. | |

Stone, Harold | 1994 | ||

Stonebraker, Michael | 1994 | The INGRES and System R systems demonstrated that a practical and efficient database management system (DBMS) could be implemented based on the relational data model. | |

Strecker, William | 1994 | ||

Stroustrup, Bjarne | 1994 | For his early work laying the foundations for the C++ programming language. Based on the foundations and Dr. Stroustrup's continuing efforts, C++ has become one of the most influential programming languages in the history of computing. | |

Suciu, Dan | 2011 | For contributions to probabilistic databases and semistructured data. | |

Sudan, Madhu | 2008 | For contributions to algorithms and complexity theory. | |

Sudarshan, S. | 2014 | For contributions to database education, query processing, query optimization and keyword queries. | |

Suppes, Patrick | 1994 | ||

Suri, Subhash | 2010 | For algorithmic contributions in computational geometry, networks, and computational economics. | |

Sussman, Gerald | 1994 | For his important and pioneering work in teaching introductory computer science. Among his many contributions in this area ate the Scheme programming language, and the well known text Structure and Interpretation of Computer Programs, written with Harold Abelson. | |

Sutherland, Ivan E | 1994 | For his pioneering and visionary contributions to computer graphics, starting with Sketchpad, and continuing after. Sketchpad, though written twenty-five years ago, introduced many techniques still important today. These include a display file for screen | |

Suzuki, Norihisa | 1995 | For contributions to object-oriented technologies by type inference for Smalltalk, microprocessor, fast interpreter, and a database, to multiprocessing by snoop cache, and to program verification. | |

Syverson, Paul | 2014 | For contributions to and leadership in the theory and practice of privacy and security. | |

Szeliski, Richard | 2008 | For contributions to computational photography. | |

Taft, Edward A | 1994 | For the design of the PostScript page description language and its implementation. | |

Tamassia, Roberto | 2012 | For contributions to graph drawing, algorithms and data structures and to computer science education. | |

Tambe, Milind | 2013 | For contributions to the theory and practice of multi-agent systems, teamwork and security games. | |

Tan, Chung Jen | 1999 | Pioneer in logical design and in the development of IBM's parallel computing systems. Leadership of Deep Blue Project. Major role on ACM Computer Chess Committee. | |

Tan, Wang-Chiew | 2015 | For contributions to data provenance and to the foundations of information integration. | |

Tanenbaum, Andrew S | 1996 | Tanenbaum has made exceptional contributions to computer science education (textbooks, Ph.D. students) and to research on operating systems for uniprocessors and distributed systems (MINIX, Amoeba.) | |

Tannen, Val | 2013 | For contributions to query languages, query optimization and data provenance. | |

Tardos, Eva | 1998 | For fundamental contributions in the design and analysis of algorithms, combinatorial optimization, network flows, and approximation algorithms. | |

Tarjan, Robert E | 1994 | For fundamental achievements in the design and analysis of algorithms and data structures. | |

Taylor, Richard N | 1998 | For contributions to research in software engineering and software environments, and for service to the ACM, SIGSOFT, and the entire software engineering community. | |

Taylor, Robert W. | 1994 | For conceiving and guiding the development of the Xerox Alto System demonstrating that a distributed personal computer system can provide a desirable and practical alternative to time-sharing. | |

Teng, Shang-Hua | 2009 | For contributions to theoretical computer science, algorithms and interdisciplinary applications of computing. | |

Terry, Douglas B | 2008 | For contributions to distributed computing. | |

Terzopoulos, Demetri | 2007 | For contributions to computer graphics and vision. | |

Thacker, Charles P | 1994 | For conceiving and guiding the development of the Xerox Alto System demonstrating that a distributed personal computer system can provide a desirable and practical alternative to time-sharing. | |

Thekkath, Chandramohan A. | 2009 | For contributions to operating systems, distributed systems, and scalable storage. | |

Thomas, Donald E. | 2007 | For contributions to computer-aided design of integrated circuits and systems. | |

Thorup, Mikkel | 2005 | For contributions to algorithms and data structures. | |

Tichy, Walter F. | 2012 | For contributions to software engineering and revision control systems. | |

Tompa, Frank Wm. | 2010 | ||

Torii, Koji | 1999 | For distinguished research in language theory and in software engineering, and for international leadership in the software engineering community. | |

Torrellas, Josep | 2010 | For contributions to shared-memory multiprocessor architectures and thread-level speculation. | |

Towsley, Donald F | 1997 | For contributions to the modeling and analysis of computer and communications systems and the impact of these results on various systems and performance evaluation tools. | |

Traiger, Irv | 1994 | The INGRES and System R systems demonstrated that a practical and efficient database management system (DBMS) could be implemented based on the relational data model. These systems were full-function DBMS's that supported non-procedural query languages (QUEL and SQL), automatic query optimization, alternative storage structures, transactions, crash recovery, views, integrity, and protection. They have revolutionized the database system industry by showing how data stored in a computer can be conveniently accessed by end users and while at the same time it can be used by production application programs. | |

Traub, Joseph | 1994 | For pioneering research on information-based complexity, computational finance, optimal iteration theory, parallel computing, national science policy, and for leadership in computing education. | |

Trimberger, Stephen | 2010 | For contributions to the design of programmable logic and reconfigurable architectures, and for the development of design automation tools that enable their use. | |

Tsudik, Gene | 2014 | For contributions to Internet security and privacy. | |

Tucker, Allen B | 1994 | Dr. Allen B. Tucker was Co-Chair of the ACM/IEEE Computer Society Joint Curriculum Task Force, and Editor of the Task Force Report, Computing Curricula '91. This and mark report provides a framework for evolving computer science curricula through the '90's, serving as both a practical tool and a theoretical foundation for curriculum design. Dr. Tucker has also been a major contributor to previous computer science curriculum efforts and is widely recognized for his dedication and leadership in the development of computer science as an academic discipline. | |

Tullsen, Dean M. | 2011 | For contributions to the architecture of high-performance processors. | |

Turner, Albert J | 1998 | Professor Turner exemplifies outstanding leadership in advancing the state-of-the-art of computing sciences education both within ACM and in the wider national and international arenas. | |

Turner, Jonathan | 2001 | For fundamental contributions --- such as the design of scalable packet switches --- that helped realize the vision of an Integrated packet switching network for data, voice and video. | |

Ullman, Jeffrey D | 1995 | For seminal contributions to the foundations of computer science, compiler design, database systems, as well as outstanding contributions to computer science education. | |

Ungar, David M. | 2010 | For contributions to the design and implementation of object-oriented programming languages | |

Upfal, Eli | 2005 | For contributions to parallel and stochastic networks. | |

Vahdat, Amin | 2011 | For contributions to data center scalability and management. | |

Valduriez, Patrick | 2012 | For contributions to parallel and distributed data management. | |

Valero, Mateo | 2002 | For contributions to the design of vector, superscalar, and VLIW architectures, and technical leadership. | |

Valiant, Leslie G | 2012 | For transformative contributions to the theory of computation. | |

Van Dam, Andries | 1994 | For sustained contributions to computer science and education, especially in the areas of graphics and user interfaces. Through his writings, programs, films, and personal enthusiasm, he has inspired generations of students at Brown University and computer users everywhere. | |

Van Renesse, Robbert | 2009 | For contributions to fault-tolerant distributed computing. | |

Van Rijsbergen, C J | 2003 | For contributions to information retrieval. | |

Vardi, Moshe Y | 2000 | For contributions to the development of logic as a unifying foundational framework and a tool for modeling computational systems. | |

Varghese, George | 2002 | For contributions to efficient scalable algorithms. | |

Vassiliadis, Stamatis | 2004 | For inventions in processor architecture and design. | |

Vazirani, Umesh Virkumar | 2005 | For contributions to theoretical computer science and quantum computation. | |

Vazirani, Vijay | 2005 | For contributions to optimization and approximation algorithms. | |

Vempala, Santosh | 2015 | For contributions to algorithms for convex sets and probability distributions. | |

Vemuri, Baba C. | 2009 | For contributions to computer vision and medical image analysis. | |

Verissimo, Paulo J | 2009 | For contributions to dependable and secure distributed computing. | |

Vernon, Mary K | 1996 | For fundamental contributions to performance analysis of parallel computer architectures and for leadership in the computing research community. | |

Vetterli, Martin | 2009 | For contributions to multimedia compression and communication. | |

Vianu, Victor D | 2006 | For contributions to database management systems. | |

Vishkin, Uzi | 1996 | One of the pioneers of parallel algorithms research, Dr. Vishkin's seminal contributions played a leading role in forming and shaping what thinking in parallel has come to mean in the fundamental theory of Computer Science. | |

Vitter, Jeffrey S | 1996 | For contributions to the theory of information storage and retrieval and to the design and mathematical analysis of computer algorithms. | |

Wadler, Philip | 2007 | For contributions to the theory of programming languages. | |

Wah, Benjamin W | 2004 | For leadership in the computer science community and contributions to system optimization. | |

Wallace, Chris S | 1995 | For research in a number of areas in Computer Science including fast multiplication algorithm, minimum message length principle and its applications, random number generation, computer architecture, numerical solution of ODE's, and contribution to Australian Computer Science. | |

Waltz, David L | 1999 | For contributions to Artificial Intelligence through innovations in memory-based reasoning and constraint-satisfaction techniques. | |

Wand, Mitchell | 2007 | For contributions to type theory and program analysis. | |

Want, Roy | 2005 | For contributions to mobile and ubiquitous systems. | |

Ware, Willis H | 1994 | ||

Warnock, John | 1999 | For three decades, Warnock has been respected as an innovator in the field of computer software. One of Warnock's most outstanding achievements is the development of the PostScript language. | |

Warnow, Tandy | 2015 | For contributions to mathematical theory, algorithms, and software for large-scale molecular phylogenetics and historical linguistics. | |

Warren, David S | 2000 | David Warren is a world leader in logic-programming research, past-president of the Association for Logic Programming, and implementor of the SBProlog and XSB systems. | |

Wasserman, Anthony I | 1996 | For technical and professional contributions to the field of software engineering. | |

Wecker, Stuart | 1994 | ||

Wegbreit, Ben | 1994 | ||

Wegman, Mark | 1996 | For contributions to compiler technology and to the design, implementation, and analysis of algorithms. | |

Wegner, Peter | 1995 | For many 27 years Professor Wegner has been an initiating leader in ACM's educational and publication efforts while inspiring several generations of computer scientists. | |

Weikum, Gerhard | 2005 | For contributions to distributed database systems. | |

Weingarten, Fred W | 1996 | For contributions in shaping government science and technology policy regarding computer science and engineering and understanding and raising community awareness of broader policy issues raised by information technology. | |

Weiser, Uri C. | 2005 | For leadership in superscalar processors and multimedia architectures. | |

Weiss, Eric A | 1994 | For his contribution to ACM and to the computing community, particularly in the field of publications and publications policy. | |

Weld, Daniel S | 2005 | For contributions to planning algorithms. | |

Wellman, Michael P | 2005 | For contributions to market-based and decentralized computation | |

Welzl, Emmerich | 1998 | For orignial contributions in geometric and combinatorial algorithms and for bringing together discrete mathematics and algorithmics. | |

Wetherall, David J. | 2011 | For contributions to computer network design. | |

Weyuker, Elaine J | 1997 | For contributions to software engineering, specifically software testing and metrics, and the theory of computation. | |

Whang, Kyu-Young | 2009 | For contributions to physical database design, query processing, and database management system architecture. | |

Wheeler, David John | 1994 | Designed the programming system of EDSAC (1949, Cambridge University) the first usable computer. Incorporated the experience gained in the coherent system (input, output, order codes and ROM facilities) for EDSAC 2 in 1956. | |

White, John R. | 1995 | For outstanding contributions to the advancement of computing science through his leadership in the Association for Computing Machinery (ACM), computing science research, and computing science education. | |

Whittaker, Steve | 2014 | For contributions to human-computer interaction. | |

Whitted, J Turner | 1995 | Dr. Turner Whitted is being recognized for his important contribution to ray tracing. Instead, he contributed what so many wish to contribute: a simple and elegant algorithm. | |

Widmayer, Peter | 1997 | For original contributions in data structures and algorithms advancing the areas of geometric and combinatorial computation and spatial databases. | |

Widom, Jennifer | 2005 | For contributions to active and semi-structured database systems. | |

Wiederhold, Gio | 1995 | For seminal contributions to our understanding and use of database management systems and medical informatics, and for outstanding service to the computer science community. | |

Wilensky, Robert | 1997 | For research contributions to the areas of natural language processing and digital libraries as well as outstanding leadership in Computer Science. | |

Wilhelm, Reinhard | 2000 | For important contributions in the field of compilers, particularly code-generator generators and program analysis, and for outstanding service as Scientific Director of Schloss Dagstuhl. | |

Wilkes, John | 2002 | For contributions to the understanding of storage systems and their management. | |

Wilkes, Maurice V | 1994 | Professor Wilkes is best known as the builder and designer of the EDSAC, the first computer with an internally stored program. Built in 1949, the EDSAC used a mercury delay line memory. He is also known as the author, with Wheeler and Gill, of a volume on 'Preparation of Programs for Electronic Digital Computers' in 1951, in which program libraries were effectively introduced. | |

Wilks, Yorick Alexander | 2009 | For research on meaning-based understanding of natural language by computers. | |

Williams, Robin | 2000 | For leadership in Computer Science research and the transfer of technology into products; and for contributions to ACM. | |

Williamson, David P. | 2013 | For contributions to the design and analysis of approximation algorithms. | |

Willinger, Walter | 2005 | For contributions to the analysis of data networks and protocols. | |

Wing, Jeannette M | 1998 | For fundamental contributions to formal methods, programming languages, and programming methodology, and for promoting the use of formal methods in software development. | |

Winograd, Shmuel | 1994 | ||

Winograd, Terry | 2009 | For contributions to AI, natural language processing, HCI, and human-centered design. | |

Winslett, Marianne | 2006 | For contributions to information management and security. | |

Wirth, Niklaus E | 1994 | For developing a sequence of innovative computer languages, EULER, ALGOL-W, MODULA and PASCAL. PASCAL has become pedagogically significant and has provided a foundation for future computer language, systems, and architectural research. | |

Wise, David S | 2004 | For leadership in the computer science community and contributions to functional programming languages. | |

Witten, Ian | 1996 | For contributions to the study of how past behavior can expedite future interaction, in particular adaptive data compression, programming by demonstration, and machine learning. | |

Wolf, Alexander L | 2006 | For research in distributed system software engineering and service to the community. | |

Wolf, Marilyn Claire | 2001 | For contributions to embedded computing. | |

Wolfson, Ouri | 2001 | For his pioneering research in moving object databases and for his fundamental contributions to research in distributed systems. | |

Wolfson, Seymour J | 1994 | For diligent and effective administration of ACM's conferences, meetings, and symposia responsibilities. | |

Wong, Chak-Kuen | 1995 | For contributions to the theory of mass storage systems, to the analysis and design of computer algorithms, and to the design of VLSI circuits. | |

Wong, Limsoon | 2013 | For contributions to database theory and computational biology. | |

Wood, David A | 2005 | For contributions to shared-memory multiprocessing. | |

Wooldridge, Michael | 2015 | For contributions to multi-agent systems and the formalization of rational action in multi-agent environments. | |

Wulf, William A | 1994 | ||

Yannakakis, Mihalis | 1998 | For seminal contributions to the foundations of computer science, the principles of database systems, and the links between complexity theory and combinatorial optimization. | |

Yao, Andrew C | 1995 | For significant research contributions in Computational Complexity, Analysis of Algorithms, Data Structures, Communication Complexity, and Cryptographic Protocols. | |

Yelick, Kathy | 2012 | For contributions to parallel languages that improve programmer productivity. | |

Yonezawa, Akinori | 1999 | Yonezawa is a pioneer of concurrent object-oriented programming systems, and he contributed to developing the area, publishing papers and serving to the community. | |

York, Bryant W | 2006 | For leadership in broadening participation in computing. | |

Young, Paul | 1995 | For fundamental contributions to the theory of the complexity of algorithms and for a career of exceptional service to the computing research and education community. | |

Yovits, Marshall C | 1996 | For efforts in establishing the Computer Science Conferences, for development of educational programs in Computer Science, and for the early support of seminal computer research. | |

Yu, Philip S | 1997 | For contributions to the theory and practice of analytical performance modeling of database sytems. | |

Yung, Moti | 2013 | For contributions to cryptography and its use in security and privacy of systems. | |

Zabih, Ramin | 2012 | For contributions to discrete optimization in computer vision. | |

Zadeck, Frank Kenneth | 2011 | For contributions to optimizing compilers. | |

Zadeh, L A | 1994 | ||

Zanella, Paolo | 1997 | Dr. Zanella has been a pioneer in using and advancing state of the art information technology in European research, most noticeably as leader of the Data Division of CERN. | |

Zave, Pamela | 2001 | For encouraging the use of formal methods in the development of telecommunication software through influential research, tool development, large case studies, and professional education. | |

Zdonik, Stanley B | 2006 | For contributions to data management and database systems. | |

Zegura, Ellen | 2013 | For contributions to communication and computation in intermittingly-connected networks. | |

Zeller, Andreas | 2010 | For contributions to automated debugging, and to mining software archives. | |

Zhai, Shumin | 2010 | For contributions to human computer interface research and innovation. | |

Zhang, HongJiang | 2007 | For contributions to content-based analysis and retrieval of multimedia. | |

Zhang, Hui | 2005 | For contributions to network architecture, protocols and algorithms. | |

Zhang, Lixia | 2006 | For contributions to protocol designs for packet switched networks. | |

Zhang, Xiaodong | 2012 | For contributions to data and memory management in distributed systems. | |

Zhang, Zhengyou | 2013 | For contributions to computer vision and multimedia. | |

Zhou, Yuanyuan | 2013 | For contributions to software reliability and quality. | |

Zuckerman, David | 2013 | For contributions to randomness extraction, pseudorandomness, and their role in complexity theory. | |

Zwaenepoel, Willy E | 2000 | For contributions to distributed and parallel processing, in particular to the design, implementation, and evaluation of software distributed shared memory. | |

Zweben, Stuart | 1998 | For contributions to the field of software engineering, and for leadership in professional societies in the computing field. |