SORT :

Name Year Citation In the ACM DL
Abadi, Martin 2008 For contributions to computer security and verification of computer systems. ACM DL Author Profile
Abiteboul, Serge 2011 For contributions to the theory and practice of databases. ACM DL Author Profile
Abowd, Gregory D. 2008 For contributions to ubiquitous computing research, with emphasis on applications for education, home and health. ACM DL Author Profile
Abraham, Jacob A 2001 For outstanding contributions in the fields of fault tolerant computing, automatic test generation and design for test, and formal verification. ACM DL Author Profile
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. ACM DL Author Profile
Abramson, David A 2010 For contributions to software engineering tools and techniques for high performance and distributed supercomputers. ACM DL Author Profile
Ackerman, Mark S 2013 For contributions to human computer interaction, with an emphasis on finding and sharing expertise. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Adve, Sarita 2010 For contributions to hardware and language memory models, and to low-power and resilient systems. ACM DL Author Profile
Agarwal, Anant 2007 For contributions to parallel and reconfigurable computing. ACM DL Author Profile
Agarwal, Pankaj K 2002 For contributions to computational geometry and for building and strengthening links between this area and many of its applications. ACM DL Author Profile
Aggarwal, Charu C. 2013 For contributions to knowledge discovery and data mining algorithms. ACM DL Author Profile
Agrawal, Dharma P 1998 For contributions to Parallel Processing Architecture, Interconnection Networks, Parallelism Detection & Scheduling. ACM DL Author Profile
Agrawal, Divyakant 2011 For contributions to distributed data management systems. ACM DL Author Profile
Agrawal, Rakesh 2003 For contributions to data mining. ACM DL Author Profile
Agrawal, Vishwani D 2002 For contributions to testing of digital electronic circuits. ACM DL Author Profile
Aho, A V 1996 For contributions to Interconnection Networks, High-Performance Computer Architecture, System Reliability, and Scheduling Techniques. ACM DL Author Profile
Ahuja, Narendra 1996 For contributions to computer vision including hierarchical representation, active sensing, analysis guided synthesis, multidimensional modeling, computational sensors, and multiprocessor architectures. ACM DL Author Profile
Aiken, Alexander S. 2008 For contributions to programming language theory and systems. ACM DL Author Profile
Aiken, Robert M 2001 For outstanding service to the international computing community and to ACM, and for contributions to education. ACM DL Author Profile
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 ACM DL Author Profile
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. ACM DL Author Profile
Allen, Frances E 1994 For co-authoring the paper "A Program Data Flow Analysis Procedure" ACM DL Author Profile
Allender, Eric 2006 For contributions to computational complexity theory. ACM DL Author Profile
Alonso, Gustavo 2012 For contributions to distributed systems, middleware, and data management. ACM DL Author Profile
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. ACM DL Author Profile
Alur, Rajeev 2007 For contributions to the specification and verification of reactive and hybrid systems. ACM DL Author Profile
Alvisi, Lorenzo 2010 For contributions to fault-tolerant distributed computing, bridging theory and practice. ACM DL Author Profile
Ammar, Mostafa H 2003 For contributions to the design of systems and protocols for scalable network services. ACM DL Author Profile
Anderson, James H 2013 For contributions to the implementation and analysis of multiprocessor and multicore real-time systems. ACM DL Author Profile
Anderson, Thomas E 2005 For contributions in distributed systems and computer networks. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Arge, Lars 2012 For contributions to massive data algorithmics ACM DL Author Profile
Arora, Sanjeev 2008 For foundational work on probabilistically checkable proofs and approximate solutions to NP-hard optimization problems. ACM DL Author Profile
Arvind, 2006 For contributions to dataflow computing and verification. ACM DL Author Profile
Asano, Tetsuo 2001 For his contributions to discrete algorithms on computational geometry and their practical applications to computer vision and VLSI design. ACM DL Author Profile
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. ACM DL Author Profile
Atallah, Mikhail J. 2006 For contributions to parallel and distributed computation. ACM DL Author Profile
Atchison, William F. 1994 ACM DL Author Profile
Attiya, Hagit 2009 For contributions to distributed and parallel computing. ACM DL Author Profile
Auslander, Marc 1999 For contributions to reduced instructionset computing (RISC) systems. ACM DL Author Profile
Austing, Richard H 1994 For extensive guidance of ACM's influence on computer and information systems curricula at many levels. ACM DL Author Profile
Babaoglu, Ozalp 2002 For contributions to fault-tolerant distributed computing, BSD Unix, and for leadership in the European distributed systems community. ACM DL Author Profile
Bacon, David F. 2009 For contributions to real-time systems and to object-oriented language design and implementation. ACM DL Author Profile
Baecker, Ronald M. 2011 For contributions to human-computer interaction and computer animation. ACM DL Author Profile
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. ACM DL Author Profile
Baeza-Yates, Ricardo A. 2009 For contributions to the development of algorithms and information retrieval techniques. ACM DL Author Profile
Bahl, Victor 2003 For contributions to wireless communication systems, and for leadership in the mobile computing and communications community. ACM DL Author Profile
Bajaj, Chandrajit L. 2009 For contributions to algorithms for geometric design, scientific visualization, computational biology and bioinformatics. ACM DL Author Profile
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. ACM DL Author Profile
Balakrishnan, Hari 2008 For contributions to computer networking and distributed systems. ACM DL Author Profile
Baldi, Pierre 2012 For contributions to artificial intelligence and statistical machine learning for bioinformatics. ACM DL Author Profile
Ball, Thomas J. 2011 For contributions to software analysis and defect detection. ACM DL Author Profile
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. ACM DL Author Profile
Banerjee, Utpal 2007 For contributions to the mathematical foundations of optimizing parallelizing compilers. ACM DL Author Profile
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. ACM DL Author Profile
Barroso, Luiz Andre 2010 For contributions to multi-core computing, warehouse scale data-center architectures, and energy proportional computing. ACM DL Author Profile
Basili, Victor R 1997 For contributions to empirical software engineering. ACM DL Author Profile
Batcher, Kenneth E 1994 For the pioneering implementation of parallel computers and for contributions to interconnection network theory. ACM DL Author Profile
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. ACM DL Author Profile
Beeri, Catriel 2007 For contributions to database theory. ACM DL Author Profile
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 ACM DL Author Profile
Bellare, Mihir 2013 For contributions to provable security methods supporting high-quality, cost-effective cryptography. ACM DL Author Profile
Berger, Bonnie 2003 For contributions to Computational Molecular Biology. ACM DL Author Profile
Berghel, Hal 1998 For wide-ranging contributions to the arts, sciences and practices of information processing and distinguished service to ACM. ACM DL Author Profile
Berman, Francine 2000 For pioneering work in application scheduling for parallel distributed computing. ACM DL Author Profile
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. ACM DL Author Profile
Bernstein, Philip A 2001 For pioneering work in distributed query optimization, distributed databases, distributed transaction processing, metadata management, and schema integration. ACM DL Author Profile
Bertino, Elisa 2003 For contributions to secure database systems. ACM DL Author Profile
Bhatkar, Vijay P 2009 For contributions to computing technology, education and research. ACM DL Author Profile
Bhuyan, Laxmi N 2000 For his significant contributions to the design and analysis of Interconnection Networks and Parallel Processing. ACM DL Author Profile
Biermann, Alan W 2000 For major contributions to the fields of automatic programming, natural language dialogue processing, and computer science education. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Bjorner, Dines 2005 For contributions to formal methods and for international leadership. ACM DL Author Profile
Blakeley, Jose A. 2009 For contributions to database management systems and data access technologies. ACM DL Author Profile
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. ACM DL Author Profile
Blelloch, Guy 2011 For contributions to parallel computing. ACM DL Author Profile
Blum, Avrim 2007 For contributions to learning theory and algorithms. ACM DL Author Profile
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 ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Boehm, Hans-J. 2012 For contributions to multithreaded programming and to algorithms and libraries for automatic memory management. ACM DL Author Profile
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. ACM DL Author Profile
Bokhari, Shahid H 2000 For research contributions to automatic load balancing and partitioning of distributed processes. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Borgman, Christine L 2013 For contributions to research on human interaction with information systems, data practices, and information policy. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Borriello, Gaetano 2009 For the design, realization, and integration of embedded and ubiquitous computing systems. ACM DL Author Profile
Bose, Bella 2004 For contributions to error-correcting codes. ACM DL Author Profile
Bourne, Stephen 2005 For contributions to the development of UNIX and for effective leadership of ACM. ACM DL Author Profile
Boutilier, Craig 2012 For contributions to knowledge representation and computational decision making. ACM DL Author Profile
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. ACM DL Author Profile
Braden, Robert T 1999 For leadership in the development and enhancement of the Internet's End-to-End protocols. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Brewer, Eric A. 2007 For the design of scalable, reliable internet services. ACM DL Author Profile
Bricklin, Daniel S 1994 For the invention of VisiCalc, a new metaphor for data manipulation that galvanized personal computing in industry. ACM DL Author Profile
Broder, Andrei Z. 2007 For contributions to algorithms and web technology. ACM DL Author Profile
Brooks, Rodney A 2005 For contributions to artificial intelligence and robotics. ACM DL Author Profile
Brooks, Jr, Frederick P 1994 For outstanding innovations in computer architecture, including pipelining, instruction look-ahead, and cache memory. ACM DL Author Profile
Brotz, Douglas K 1994 For the design of the PostScript page description language and its implementation. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Bubenko, Janis A 2004 For leadership in Information Systems. ACM DL Author Profile
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. ACM DL Author Profile
Burger, Doug C 2010 For contributions to distributed microprocessor architectures and memory systems. ACM DL Author Profile
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 ACM DL Author Profile
Buxton, William A.S. 2008 For contributions to the field of human-computer interaction. ACM DL Author Profile
Cai, Jin-Yi 2001 For significant contributions to computational complexity theory, and for service to the international computer science research community. ACM DL Author Profile
Camp, Tracy K 2012 For contributions in wireless networking and leadership in broadening participation in computing. ACM DL Author Profile
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. ACM DL Author Profile
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 ACM DL Author Profile
Cardelli, Luca 2004 For contributions to object-oriented programming languages. ACM DL Author Profile
Carey, Michael J 2000 For broad and influential contributions to the engineering of database management systems. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Carroll, John M 2003 For contributions to human-computer interaction. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Cattell, Rick 2012 For contributions to database systems. ACM DL Author Profile
Cerf, Vinton 1994 For their vision and leadership in the design, implementation, evolution, and dissemination of the TCP/IP Computer Communication Protocol Suite. ACM DL Author Profile
Ceri, Stefano 2013 For contributions to database management, including distributed databases, rule-processing, and search computing. ACM DL Author Profile
Chakrabarty, Krishnendu 2013 For contributions to optimization methods for system-on-chip test automation, microfluidic biochips, and sensor network infrastructure. ACM DL Author Profile
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 ACM DL Author Profile
Chandrasekaran, B 1996 For contributions to knowledge-based systems research and applications, to statistical methods in pattern recognition, and to leadership in artificial intelligence. ACM DL Author Profile
Chaudhuri, Surajit 2005 For contributions to database query processing and optimization. ACM DL Author Profile
Chayes, Jennifer 2010 For contributions to the foundations of dynamic random networks in theoretical computer science. ACM DL Author Profile
Chazelle, Bernard 1996 Bernard Chazelle has made fundamental contributions in the design and analysis of algorithms in computational geometry. ACM DL Author Profile
Chellappa, Ramalingam 2013 For contributions to image processing, computer vision, and pattern recognition. ACM DL Author Profile
Chen, Ming-Syan 2006 For contributions to query processing and data mining. ACM DL Author Profile
Chen, Peter M. 2010 For contributions to reliable storage and virtual machines. ACM DL Author Profile
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. ACM DL Author Profile
Chien, Andrew A 2004 For contributions to high-performance computing systems. ACM DL Author Profile
Chlamtac, Imrich 1997 For fundamental contributions to the development of algorithms and communication protocols, and technical leadership in mobile networking. ACM DL Author Profile
Choudhary, Alok 2009 For contributions to HPC, storage and parallel I/O. ACM DL Author Profile
Clark, David D 2001 For his preeminent role in the development of computer communication and the Internet, including architecture, protocols, security, and telecommunications policy. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Clarkson, Kenneth L. 2008 For contributions to computational geometry. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Cohen, Michael F. 2007 For contributions to computer graphics and computer vision. ACM DL Author Profile
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. ACM DL Author Profile
Collins, George E 2004 For contributions to symbolic computation. ACM DL Author Profile
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. ACM DL Author Profile
Condon, Anne 2010 For contributions in complexity theory and leadership in advancing women in computing. ACM DL Author Profile
Cong, Jason (Jingsheng) 2008 For contributions to electronic design automation. ACM DL Author Profile
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. ACM DL Author Profile
Constantine, Larry L. 2007 For contributions to software design. ACM DL Author Profile
Cook, Perry 2008 For contributions to computer music, physics-based sound synthesis and voice analysis/synthesis. ACM DL Author Profile
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. ACM DL Author Profile
Cook, Stephen A. 2008 For fundamental contributions to the theory of computational complexity. ACM DL Author Profile
Cooper, Keith D 2005 For contributions to the theory and practice of compiler construction. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Cox, Ingemar J. 2013 For contributions to computer vision, image retrieval, and digital watermarking. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Crovella, Mark 2010 For contributions to the measurement and analysis of networks and distributed systems. ACM DL Author Profile
Crowcroft, Jon A 2002 For contributions to the design and analysis of network protocols and for technical leadership. ACM DL Author Profile
Culler, David E 2002 For contributions to networks of small and large devices. ACM DL Author Profile
Cytron, Ron K. 2010 For contributions to algorithms and implementations of automatic program parallelization. ACM DL Author Profile
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. ACM DL Author Profile
Dahlin, Michael D. 2010 For contributions to the science and engineering of large-scale distributed computer systems. ACM DL Author Profile
Dale, Nell B. 2009 For distinguished service to the ACM and her impact on computing education. ACM DL Author Profile
Dally, William J 2002 For contributions to the architecture and design of interconnections networks and parallel computing. ACM DL Author Profile
Davidson, Jack W. 2008 For contributions in compiler design and implementation. ACM DL Author Profile
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. ACM DL Author Profile
Davie, Bruce S. 2009 For contributions to computer networking. ACM DL Author Profile
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. ACM DL Author Profile
Davis, Larry S. 2012 For contributions to image processing and computer vision. ACM DL Author Profile
Dayal, Umeshwar 2008 For contributions to managing federated, active, and heterogeneous databases. ACM DL Author Profile
De Lucena, Carlos J. P. 2013 For contributions in software engineering and multiagent systems, and for computer science leadership in Brazil. ACM DL Author Profile
Dean, Jeffrey A. 2009 For contributions to the science and engineering of large-scale distributed computer systems. ACM DL Author Profile
Dean, Thomas L. 2009 For the development of dynamic Bayes networks and anytime algorithms. ACM DL Author Profile
Deblasi, Joseph S 1999 For extraordinary executive leadership and innovative Internet-based programs that transformed ACM into a powerful international presence in computing. ACM DL Author Profile
Dechter, Rina 2013 For contributions to the algorithmic foundations of automated reasoning with constraint-based and probabilistic information. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Demmel, James W 1999 For outstanding contributions to scientific computing, parallel processing and software engineering. ACM DL Author Profile
Deng, Xiaotie 2008 For contributions to the interface of algorithmic methodology and game theory. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Dennis, Jack B 1994 For contributions to the advancement of combined hardware and software design through innovations in data flow architectures. ACM DL Author Profile
Deo, Narsingh 1996 For his seminal contribution in applying graph theory to practical problems using computer and dissemination of knowledge through his books. ACM DL Author Profile
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 ACM DL Author Profile
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. ACM DL Author Profile
Dietterich, Thomas G 2002 For contributions to machine learning. ACM DL Author Profile
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. ACM DL Author Profile
Dill, David 2005 For contributions to system verification and for leadership in the development of verifiable voting systems. ACM DL Author Profile
Diot, Christophe 2005 For contributions to the measurement and analysis of computer networks. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Dolev, Danny 2007 For contributions to fault-tolerant distributed computing. ACM DL Author Profile
Donald, Bruce R. 2009 For contributions in robotics, MEMS, computational molecular biology. ACM DL Author Profile
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. ACM DL Author Profile
Downey, Rodney Graham 2007 For contributions to computability and complexity theory. ACM DL Author Profile
Druffel, Larry E 1995 For leadership in advancing the state of software engineering practice and technical contributions to design automation and software development environments. ACM DL Author Profile
Dubois, Michel 2005 For contributions to multiprocessor memory system design. ACM DL Author Profile
Dumais, Susan T 2006 For research contributions to information retrieval and human-computer interaction. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Ebeling, Carl 2011 For contributions to the architecture and design of reconfigurable systems. ACM DL Author Profile
Eckert, J Presper 1994 ACM DL Author Profile
Eggers, Susan J 2002 For contributions to the design and analysis of multithreaded and shared memory multiprocessors and compiler technology. ACM DL Author Profile
El Abbadi, Amr El 2010 For contributions to scalable and fault-tolerant data management protocols ACM DL Author Profile
Elias, Peter 1994 For contributions to information theory, including data compression and error correction applicable to digital communications and to computation. ACM DL Author Profile
Elliott, Chip 2013 For scientific contributions enabling quantum communications, advanced tactical networks, and programming literacy. ACM DL Author Profile
Ellis, Carla S. 2010 For contributions to techniques for energy management technology in mobile devices, and for service to the computing community. ACM DL Author Profile
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. ACM DL Author Profile
Elmagarmid, Ahmed K 2012 For contributions to database management systems. ACM DL Author Profile
Emer, Joel 2004 For contributions to computer architecture and performance analysis. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Engeler, Erwin 1995 Erwin Engeler is honored for his pioneering work on the interrelations between logic, computer science and scientific computation. ACM DL Author Profile
Eppstein, David 2011 For contributions to graph algorithms and computational geometry. ACM DL Author Profile
Erickson, Thomas D 2009 For contributions to interaction design and social computing and for outstanding service to ACM. ACM DL Author Profile
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. ACM DL Author Profile
Estrin, Deborah L 2000 For significant contributions to the design of scalable Internet protocols, and for service to the networking community. ACM DL Author Profile
Evans, Bob O 1994 ACM DL Author Profile
Fagin, Ronald 2000 For creating the field of finite model theory, and for fundamental research in relational database theory and in reasoning about knowledge. ACM DL Author Profile
Faloutsos, Christos 2010 For contributions to data mining, indexing, fractals, and power laws. ACM DL Author Profile
Fan, Wenfei 2012 For contributions to Web data management ACM DL Author Profile
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. ACM DL Author Profile
Fateman, Richard J 1999 For seminal contributions to the development of MACSYMA and symbolic processing systems. ACM DL Author Profile
Fayyad, Usama 2006 For contributions to machine learning, data mining and knowledge discovery. ACM DL Author Profile
Feigenbaum, Edward A 2007 For contributions to artificial intelligence. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Felleisen, Matthias 2006 For contributions to programming languages and development environments. ACM DL Author Profile
Felten, Edward W. 2007 For contributions to security and the public policy of information technology. ACM DL Author Profile
Feng, Tse-Yun 1994 ACM DL Author Profile
Ferrante, Jeanne 1996 For the development of intermediate program representations for program optimization and parallelization that are fundamental to current optimizing compilers. ACM DL Author Profile
Ferrari, Domenico 2001 For pioneering work on real-time communication protocols for packet-switching internetworks. ACM DL Author Profile
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. ACM DL Author Profile
Fischer, Gerhard 2009 For contributions to human computer interaction and computer-mediated lifelong learning. ACM DL Author Profile
Fischer, Michael J 1996 For outstanding technical contributions to theoretical computer science, and for dedicated service to the computer science community. ACM DL Author Profile
Fisher, Kathleen S. 2010 For contributions to programming language design, theory, and practice, and for service to the computing community. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Flynn, Michael J 1994 For his important and seminal contribution to processor organization and classification, computer arithmetic, and performance evaluation. ACM DL Author Profile
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. ACM DL Author Profile
Forbus, Kenneth D. 2006 For contributions to artificial intelligence and cognitive science. ACM DL Author Profile
Forsyth, David 2013 For contributions to computer vision. ACM DL Author Profile
Fortnow, Lance J. 2007 For contributions to complexity theory. ACM DL Author Profile
Foster, Ian T. 2009 For work in parallel programming languages, collaborative and distributed computing. ACM DL Author Profile
Fox, Geoffrey C. 2011 For contributions to software applications for high-performance computing, and for diversity outreach. ACM DL Author Profile
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. ACM DL Author Profile
Franklin, Michael J 2005 For contributions to distributed information management. ACM DL Author Profile
Frankston, Robert M 1994 For the invention of VisiCalc, a new metaphor for data manipulation that galvanized personal computing industry. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Frieder, Ophir 2005 For contributions to search systems for distributed data. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Fuchs, W Kent 2000 For contributions to reliable computing. ACM DL Author Profile
Furnas, George W. 2011 For contributions to human-computer interaction. ACM DL Author Profile
Gabow, Harold N 2002 For contributions to efficient algorithms to flows, connectivity and matching. ACM DL Author Profile
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. ACM DL Author Profile
Galil, Zvi 1995 For fundamental contributions to the design and analysis of algorithms and outstanding service to the theoretical computer science community. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Gao, Guang R. 2007 For contributions to multiprocessor computers and compiler optimization techniques. ACM DL Author Profile
Gao, Lixin 2012 For contributions to network protocols and internet routing. ACM DL Author Profile
Gao, Wen 2013 For contributions to video technology, and for leadership to advance computing in China. ACM DL Author Profile
Garcia-Luna-Aceves, Jose J. 2008 For contributions to the theory and design of computer communication protocols. ACM DL Author Profile
Garcia-Molina, Hector 1997 For outstanding innovations to database system technology, including achievements in storage management, distributed databases, transaction management and digital libraries. ACM DL Author Profile
Garey, Michael R 1995 For fundamental contributions to the theory of complexity and algorithms and for outstanding service to ACM. ACM DL Author Profile
Garfinkel, Simson 2012 For contributions to digital forensics and to computer security education. ACM DL Author Profile
Garlan, David 2013 For contributions to the development of software architecture as a discipline in software engineering. ACM DL Author Profile
Gear, Charles W 1994 For the development of automatic computational techniques for the solution of stiff differential equations. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Gibbons, Phillip B 2006 For contributions to parallel computing, databases, and sensor networks. ACM DL Author Profile
Gibson, Garth A. 2012 For contributions to the performance and reliability of storage systems. ACM DL Author Profile
Gifford, David K. 2011 For contributions to distributed systems, e-commerce and content distribution. ACM DL Author Profile
Giles, C Lee 2006 For contributions to information processing and web analysis. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Goemans, Michel X 2008 For contributions to the theory of approximation algorithms and mathematical programming. ACM DL Author Profile
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 ACM DL Author Profile
Goldberg, Andrew V. 2009 For contributions to fundamental theoretical and practical problems in the design and analysis of algorithms. ACM DL Author Profile
Goodenough, John B 1995 For technical contributions improving the state of the art and state of the practice of software engineering. ACM DL Author Profile
Goodman, James 2010 For contributions to parallel processor and memory system design. ACM DL Author Profile
Goodrich, Michael T. 2009 For contributions to data structures and algorithms for combinatorial and geometric problems. ACM DL Author Profile
Gosling, James 2013 For Java, NeWS, Emacs, NetBeans, and other contributions to programming languages, tools, and environments. ACM DL Author Profile
Gotlieb, Calvin C. 1994 ACM DL Author Profile
Gottlieb, Allan J 2004 For contributions to shared-memory multiprocessing. ACM DL Author Profile
Gottlob, Georg 2007 For contributions to the theory of artificial intelligence and database systems. ACM DL Author Profile
Govindan, Ramesh 2011 For contributions to computer networking. ACM DL Author Profile
Govindaraju, Venugopal 2009 For contributions to handwritten document image analysis, recognition, and retrieval. ACM DL Author Profile
Goyal, Ambuj 2002 For contributions to the theory and practice of system dependability modeling. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Graham, Susan L 1994 ACM DL Author Profile
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 ( ACM DL Author Profile
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 ACM DL Author Profile
Greenberg, Albert G 2006 For contributions to Internet measurement and engineering. ACM DL Author Profile
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. ACM DL Author Profile
Greenberg, Saul 2012 For contributions to computer supported cooperative work and ubiquitous computing ACM DL Author Profile
Greif, Irene 1997 For innovative development of group-enabled desktop applications, and for pioneering the field of Computer Supported Cooperative Work. ACM DL Author Profile
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. ACM DL Author Profile
Gropp, William D 2006 For contributions to message passing protocols. ACM DL Author Profile
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. ACM DL Author Profile
Gross, Markus 2012 For contributions to computer graphics and animation. ACM DL Author Profile
Grosz, Barbara J 2003 For contributions to the study of human discourse. ACM DL Author Profile
Grove, David P. 2012 For contributions to programming languages and for the development of open-source research infrastructures. ACM DL Author Profile
Grudin, Jonathan 2012 For contributions to human computer interaction with an emphasis on computer supported cooperative work. ACM DL Author Profile
Guerin, Roch 2006 For contributions to the resource management of data networks. ACM DL Author Profile
Guerraoui, Rachid 2012 For contributions to the theory and practice of reliable distributed computing. ACM DL Author Profile
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. ACM DL Author Profile
Guo, Baining 2011 For contributions to computer graphics. ACM DL Author Profile
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. ACM DL Author Profile
Gupta, Manish 2012 For contributions to high performance computing software and compiler optimizations. ACM DL Author Profile
Gupta, Rajiv 2009 For contributions to program analysis and optimization and sustained professional service to the computer science research community. ACM DL Author Profile
Gurevich, Yuri 1997 Professor Yuri Gurevich is an internationally acclaimed researcher, educator, and leader in the field of foundational issues of computer science. ACM DL Author Profile
Guttag, John 2006 For contributions to algebraic specifications and abstract data types. ACM DL Author Profile
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. ACM DL Author Profile
Haas, Laura M 2006 For research leadership, and contributions to federated database systems. ACM DL Author Profile
Haas, Peter 2013 For leadership in probabilistic methods for the management and analysis of data and for system simulation. ACM DL Author Profile
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. ACM DL Author Profile
Hailpern, Brent T 2003 For leadership in, and service to, the computer science community. ACM DL Author Profile
Halevy, Alon Yitzchak 2006 For contributions to data integration and knowledge representation. ACM DL Author Profile
Hall, Wendy 2010 For contributions to the semantic web and web science and for service to ACM and the international computing community. ACM DL Author Profile
Halpern, Joseph 2002 For contributions to the modeling of and reasoning about uncertainty. ACM DL Author Profile
Hammer, Carl 1994 For his outstanding service to the computing community through professional, managerial, and technical contributions, both nationally and internationally. ACM DL Author Profile
Hamming, Richard W 1994 For his work on numerical methods, automatic coding systems, and error- detecting and error-correcting codes. ACM DL Author Profile
Han, Jiawei 2003 For contributions in knowledge discovery and data mining. ACM DL Author Profile
Hanrahan, Patrick 2008 For contributions to rendering theory and systems. ACM DL Author Profile
Hanson, Vicki L. 2004 For contributions to computing technologies for people with disabilities. ACM DL Author Profile
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. ACM DL Author Profile
Harper, Robert 2005 For contributions to type systems for programming languages. ACM DL Author Profile
Harris, Fred H 1994 For helping insure ACM's effective and valuable participation in establishing and operating the Institute for Certification of Computer Professionals. ACM DL Author Profile
Harrison, Michael A 1996 For his rare combination of fundamental theoretical contributions in automata theory and formal languages, service to ACM, and entrepreneurial contributions. ACM DL Author Profile
Harrold, Mary Jean 2003 For contributions in software testing and analysis. ACM DL Author Profile
Hart, Peter E 2003 For contributions in pattern recognition and artificial intelligence. ACM DL Author Profile
Hartmanis, Juris 1994 In recognition of their seminal paper which established the foundations for the field of computational complexity theory. ACM DL Author Profile
Hayes, John P 2001 For outstanding contributions to logic design and testing and to fault-tolerant computer architecture. ACM DL Author Profile
Hearn, Anthony C 2006 For contributions to computer algebra and symbolic computation. ACM DL Author Profile
Hearst, Marti 2013 For contributions to information retrieval and computational linguistics. ACM DL Author Profile
Heath, Michael T 2000 For his research contributions in scientific and parallel computing and for his educational research leadership in computational science and engineering. ACM DL Author Profile
Heckerman, David 2011 For contributions to reasoning and decision-making under uncertainty. ACM DL Author Profile
Heidelberger, Philip 1996 For contributions to the theory and practice of efficient discrete event simulations. ACM DL Author Profile
Hellerstein, Joseph M 2009 For contributions to database systems and data management. ACM DL Author Profile
Hendren, Laurie J 2009 For contributions to program analysis of procedural, object-oriented and aspect-oriented programming languages. ACM DL Author Profile
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. ACM DL Author Profile
Henzinger, Thomas A 2006 For contributions to formal verification and hybrid systems. ACM DL Author Profile
Herlihy, Maurice P 2005 For contributions to distributed and parallel systems. ACM DL Author Profile
Hershberger, John 2012 For contributions to geometric computing and to design tools for integrated circuits. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Hill, Mark D 2004 For contributions to memory consistency models and memory system design. ACM DL Author Profile
Hillis, Danny Daniel 1994 For his basic research on parallel algorithms and for he conception, design, implementation and commercialization of the Connection Machine. ACM DL Author Profile
Hoelzle, Urs 2009 For the design, engineering and operation of energy efficient large-scale cloud computing systems. ACM DL Author Profile
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. ACM DL Author Profile
Holzmann, Gerard J. 2011 For contributions to software verification by model checking. ACM DL Author Profile
Hopcroft, John E 1994 For fundamental achievements in the design and analysis of algorithms and data structures. ACM DL Author Profile
Hoppe, Hugues 2011 For contributions to computer graphics. ACM DL Author Profile
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. ACM DL Author Profile
Horowitz, Mark A 2003 For contributions to multiprocessor architecture. ACM DL Author Profile
House, Charles H. 2008 For distinguished service and contributions to ACM and the computing community. ACM DL Author Profile
Hubaux, Jean-Pierre Pierre 2010 For contributions to security in wireless networks. ACM DL Author Profile
Hudak, Paul 2003 For contributions to functional programming languages. ACM DL Author Profile
Hull, Richard 2007 For contributions to data semantics and web services. ACM DL Author Profile
Hull, Tom 1994 ACM DL Author Profile
Hume, J N 1994 ACM DL Author Profile
Humphrey, Watts S. 2008 For contributions to software engineering process discipline. ACM DL Author Profile
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. ACM DL Author Profile
Huttenlocher, Daniel P. 2007 For contributions to computer vision. ACM DL Author Profile
Hwu, Wen-Mei 2002 For technical contributions and leadership in computer architecture. ACM DL Author Profile
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. ACM DL Author Profile
Ibarra, Oscar H 1995 For contributions to the design and analysis of algorithms, the theory of computation, computational complexity, and parallel computing. ACM DL Author Profile
Immerman, Neil 2002 For contributions to complexity theory, descriptive complexity, and database theory. ACM DL Author Profile
Ioannidis, Yannis E 2004 For contributions to database systems, particularly query optimization. ACM DL Author Profile
Irwin, Mary Jane 1996 For contributions to computer arithmetic, digital signal processing architectures, and electronic CAD and outstanding service to ACM/SIG activities. ACM DL Author Profile
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. ACM DL Author Profile
Iyer, Ravishankar K 2001 For outstanding contributions to the design, measurement and evaluation of reliable computing systems. ACM DL Author Profile
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. ACM DL Author Profile
Jagadish, H V 2003 For contributions to database technology. ACM DL Author Profile
Jahanian, Farnam 2009 For contributions to the dependability and security of networks and systems. ACM DL Author Profile
Jain, Anil K 2003 For contributions in Pattern Recognition theory. ACM DL Author Profile
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. ACM DL Author Profile
Jain, Ramesh C 2003 For contributions to computer vision and multimedia information systems. ACM DL Author Profile
Jaja, Joseph F 2001 For contributions to the design and analysis of parallel algorithms, algebraic and combinatorial complexity, VLSI architectures, and high-performance computing. ACM DL Author Profile
Jarke, Matthias 2013 For contributions to conceptual modeling, requirements engineering, metadata management, and computer science leadership in Germany. ACM DL Author Profile
Jensen, Christian S. 2011 For contributions to temporal and spatio-temporal data management. ACM DL Author Profile
Jha, Niraj K 2003 For contributions to low power design and testing of digital systems. ACM DL Author Profile
Jiang, Tao 2007 For contributions to computational biology and computational complexity. ACM DL Author Profile
Johnson, David S 1995 For fundamental contributions to the theories of approximation algorithms and computational complexity, and for outstanding service to ACM. ACM DL Author Profile
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. ACM DL Author Profile
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). ACM DL Author Profile
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. ACM DL Author Profile
Jordan, Michael I. 2010 For contributions to the theory and application of machine learning. ACM DL Author Profile
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. ACM DL Author Profile
Jouppi, Norman P 2006 For contributions to the design and analysis of high-performance processors and memory systems. ACM DL Author Profile
Kaashoek, Frans 2004 For contributions to distributed, mobile, and parallel systems. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Kahng, Andrew B. 2012 For contributions to physical design automation and to design for manufacturability of microelectronic systems. ACM DL Author Profile
Kaltofen, Erich L. 2009 For contributions to symbolic and algebraic computation, algebraic algorithms and complexity theory. ACM DL Author Profile
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. ACM DL Author Profile
Kandel, Abraham 1998 For original research contributions advancing the state-of-the-art in applied fuzzy sets, fuzzy expert systems, and fuzzy hybrid systems. ACM DL Author Profile
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. ACM DL Author Profile
Kannan, Sampath K. 2013 For contributions to algorithmic approaches to program reliability, bioinformatics, and for service to the computer science research community. ACM DL Author Profile
Kaplan, Ronald M 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 ACM DL Author Profile
Karger, David Ron 2009 For efficient algorithms for combinatorial optimization problems based on randomization. ACM DL Author Profile
Karin, Sidney 2002 For leadership in integrating the academic computer science and computational science communities. ACM DL Author Profile
Karlin, Anna 2012 For contributions to the design and analysis of algorithms and their use in the study of systems design. ACM DL Author Profile
Karloff, Howard J. 2011 For contributions to the design and analysis of algorithms. ACM DL Author Profile
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 ACM DL Author Profile
Kasik, David J 2013 For contributions to computer graphics, user interface software, and visual analytics. ACM DL Author Profile
Katabi, Dina 2013 For contributions in cross-layer wireless networking, wireless network coding, and Internet congestion control. ACM DL Author Profile
Katz, Randy H 1996 For contributions to computer system design, engineering education, and government service. ACM DL Author Profile
Kaufman, Arie E. 2009 For contributions to volume visualization and its applications. ACM DL Author Profile
Kautz, Henry A 2013 For contributions to artificial intelligence and pervasive computing with applications to assistive technology and health. ACM DL Author Profile
Kavraki, Lydia E. 2010 For contributions to robotic motion planning and its application to computational biology. ACM DL Author Profile
Kay, Alan C. 2008 For fundamental contributions to personal computing and object-oriented programming. ACM DL Author Profile
Keckler, Stephen W. 2011 For contributions to computer architectures and technology modeling. ACM DL Author Profile
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. ACM DL Author Profile
Kellogg, Wendy A 2002 For contributions to social computing and human-computer interaction (HCI) and for service to ACM. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Keshav, Srinivasan 2012 For contributions to computer communication networks and systems. ACM DL Author Profile
Key, Peter B. 2011 For network control and routing. ACM DL Author Profile
Kiczales, Gregor 2012 For contributions to aspect-oriented programming language design and implementation. ACM DL Author Profile
Kieburtz, Richard B 2001 For founding two successful computer science departments, for research, and for service to the computing community. ACM DL Author Profile
Kiesler, Sara 2010 For contributions to Human Computer Interaction. ACM DL Author Profile
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. ACM DL Author Profile
Kirkpatrick, Scott 2011 For simulated annealing and contributions to combinatorial optimization. ACM DL Author Profile
Kitsuregawa, Masaru 2012 For contributions to high performance database systems. ACM DL Author Profile
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. ACM DL Author Profile
Klein, Philip N. 2010 For contributions to graph algorithms. ACM DL Author Profile
Kleinberg, Jon 2013 For contributions to the science of information and social networks. ACM DL Author Profile
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 ACM DL Author Profile
Klensin, John C. 2007 For contributions to networking standards and internet applications. ACM DL Author Profile
Knuth, Donald E 1994 For the design and implementation of TEX, an innovative tool for the computer composition of documents of high typographical quality. ACM DL Author Profile
Kolaitis, Phokion G 2005 For contributions to logic in computer science. ACM DL Author Profile
Konstan, Joseph A. 2008 For contributions to human-computer interaction. ACM DL Author Profile
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. ACM DL Author Profile
Kosaraju, S R 1995 For contributions to the Theory of Parallel Computing. ACM DL Author Profile
Kossmann, Donald 2010 For advances in XML data management and distributed information systems. ACM DL Author Profile
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. ACM DL Author Profile
Kozen, Dexter 2003 For contributions to theoretical computer science. ACM DL Author Profile
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. ACM DL Author Profile
Kraut, Robert E. 2011 For contributions to human-computer interaction. ACM DL Author Profile
Kriegel, Hans-Peter 2009 For contributions to knowledge discovery and data mining, similarity search, spatial data management, and access methods for high-dimensional data. ACM DL Author Profile
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. ACM DL Author Profile
Kumar, Panganamala 2013 For contributions to wireless communication and control technologies. ACM DL Author Profile
Kumar, Vipin 2005 For contributions to the design and analysis of parallel algorithms. ACM DL Author Profile
Kurose, James F 2001 For contributions to the design and analysis of network protocols, and for technical leadership in the field. ACM DL Author Profile
Kurtz, Thomas E 1994 Invented, along with John G. Kemeny, the BASIC computer programming language, and contributed to its growth and standardization. ACM DL Author Profile
Kurzweil, Ray 1994 ACM DL Author Profile
Ladner, Richard E 1995 For seminal and significant contributions in theoretical computer science research. ACM DL Author Profile
Laird, John E 2006 For contributions to the development and application of cognitive architectures. ACM DL Author Profile
Lakshman, T V 2005 For contributions to packet processing and traffic management algorithms. ACM DL Author Profile
Lakshmivarahan, S 1995 For contributions to the theory and applications of learning algorithms, parallel processing and interconnection networks. ACM DL Author Profile
Lam, Monica S. 2007 For contributions to compilers and program analysis. ACM DL Author Profile
Lam, Simon S 1998 For fundamental research contributions to the design, analysis, and understanding of computer network architectures and protocols. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Landau, Susan 2011 For public policy leadership in security and privacy. ACM DL Author Profile
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. ACM DL Author Profile
Larson, Per-Ake G 2004 For contributions to query processing and access methods in database systems. ACM DL Author Profile
Larus, James R 2006 For contributions to programming languages, compilers, and computer architecture. ACM DL Author Profile
Launchbury, John 2010 For contributions to the development of functional programming. ACM DL Author Profile
Lavenberg, Stephen S 1994 For contributions to the theory and practice of computer performance modeling. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Lea, Douglas S 2013 For contributions to software, particularly in support of concurrency. ACM DL Author Profile
Lederberg, Joshua 1994 ACM DL Author Profile
Lee, Der-Tsai 1997 For contribution to Computational Geometry and Design and Analysis of Algorithms. ACM DL Author Profile
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. ACM DL Author Profile
Lee, Peter 2004 For contributions to the security of mobile code. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Leiserson, Charles E 2006 For contributions to parallel and distributed computing. ACM DL Author Profile
Lenzerini, Maurizio 2009 For contributions to data management and knowledge representation. ACM DL Author Profile
Lesk, Michael E 1996 For outstanding contributions to Unix, research in Information Retrieval, and the design and implementation of multimedia Digital Libraries. ACM DL Author Profile
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. ACM DL Author Profile
Levin, Roy 2008 For contributions to software and systems. ACM DL Author Profile
Levoy, Marc 2007 For contributions to computer graphics. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Li, Kai 1998 For fundamental contributions to computer systems and architecture, by introducing and demonstrating the effectiveness of Shared Virtual Memory. ACM DL Author Profile
Li, Ming 2006 For contributions to computational complexity and its applications. ACM DL Author Profile
Libkin, Leonid 2012 For contributions to finite model theory and database theory. ACM DL Author Profile
Lin, Ming C. 2011 For contributions to geometric modeling and computer graphics. ACM DL Author Profile
Lin, Yi-Bing 2003 For contributions to mobile networks. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Liskov, Barbara H 1996 For pioneering contributions in the fields of programming methodology, programming languages, and distributed systems. ACM DL Author Profile
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. ACM DL Author Profile
Litwin, Witold 2001 For pioneering research in dynamic storage structures, scalable distributed file structures and multidatabases. ACM DL Author Profile
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.
Lomet, David B 2002 For contributions to database system access methods, concurrency control, and recovery. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Lowney, P. Geoffrey 2008 For contributions to compiler technology and performance enhancement tools. ACM DL Author Profile
Lui, John C.S. 2009 For contributions to stochastic analysis of parallel storage and communication systems. ACM DL Author Profile
Lynch, Nancy A 1997 For contributions to the theory of distributed computing, including mathematical models and proof techniques, algorithms and impossiblity results. ACM DL Author Profile
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. ACM DL Author Profile
Lyon, Richard F. 2010 For contributions to machine perception and for the invention of the optical mouse. ACM DL Author Profile
Maarek, Yoelle 2013 For contributions to industrial leadership and to information retrieval and Web search. ACM DL Author Profile
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. ACM DL Author Profile
Magnusson, Peter S. 2011 For contributions to full-system simulation. ACM DL Author Profile
Maier, David 1998 For fundamental insights into database theory and object-oriented databases and for leadership in directing the future of database research. ACM DL Author Profile
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. ACM DL Author Profile
Malik, Jitendra 2008 For contributions to computer vision. ACM DL Author Profile
Malkhi, Dahlia 2011 For contributions to fault-tolerant distributed computing. ACM DL Author Profile
Manna, Zohar 1994 ACM DL Author Profile
Manning, Christopher D 2013 For contributions to natural language processing research and education. ACM DL Author Profile
Manocha, Dinesh 2009 For contributions to geometric computing and applications to computer graphics, robotics and GPU computing. ACM DL Author Profile
Marathe, Madhav 2013 For contributions to high performance computing algorithms and software environments for simulating and analyzing socio-technical systems. ACM DL Author Profile
Martin, Dianne 1999 For extraordinary leadership and innovation in computer science education and for service to ACM and the profession. ACM DL Author Profile
Martonosi, Margaret 2009 For contributions in power-aware computing. ACM DL Author Profile
Marzullo, Keith 2011 For contributions to distributed systems and service to the computing community. ACM DL Author Profile
Masinter, Larry M 1999 Development of Interlisp programming environment; leader in creation of standards for the Internet and World Wide Web. ACM DL Author Profile
Matias, Yossi 2009 For contributions to the analysis of large data sets and data streams. ACM DL Author Profile
Matsuoka, Satoshi 2011 For contributions to the design of high-performance computers. ACM DL Author Profile
Max, Nelson 2011 For contributions to visualization tools and computer animation. ACM DL Author Profile
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 ACM DL Author Profile
Mccracken, Daniel D 1994 ACM DL Author Profile
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. ACM DL Author Profile
Mckeown, Kathleen 2003 For contributions to natural language processing. ACM DL Author Profile
Mckeown, Nick 2006 For contributions to network switching and queueing. ACM DL Author Profile
McKinley, Kathryn S. 2008 For contributions to compilers and memory management. ACM DL Author Profile
Mehlhorn, Kurt 1999 For important contributions in complexity theory and in the design, analysis, and practice of combinatorial and geometric algorithms. ACM DL Author Profile
Mellor-Crummey, John M. 2013 For contributions to parallel and high performance computing. ACM DL Author Profile
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. ACM DL Author Profile
Meyer, Albert R 2000 For fundamental advances in complexity theory and semantics of programming, and for outstanding service and education of graduate students. ACM DL Author Profile
Meyer, Bertrand 2008 For contributions to software engineering and programming languages. ACM DL Author Profile
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. ACM DL Author Profile
Miller, Barton P 2001 For contributions to the fields of parallel and distributed computing, particularly in the areas of debugging and performance measurement. ACM DL Author Profile
Miller, Gary L 2002 For contributions to the design and analysis of algorithms in number theory and computational geometry. ACM DL Author Profile
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. ACM DL Author Profile
Miller, Renee J. 2009 For innovations in metadata management, especially the creation of tools to integrate, transform, query and analyze information. ACM DL Author Profile
Mills, David L 1999 For contributions to Internet Routing and Timekeeping. ACM DL Author Profile
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. ACM DL Author Profile
Milo, Tova 2012 For contributions to database theory and business process management. ACM DL Author Profile
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. ACM DL Author Profile
Mishra, Bhubaneswar 2007 For contributions to symbolic computation and computational biology. ACM DL Author Profile
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. ACM DL Author Profile
Mitchell, John C. 2008 For contributions to the theory of programming languages. ACM DL Author Profile
Mitchell, Joseph 2011 For contributions to geometric computing and approximation algorithms. ACM DL Author Profile
Mockapetris, Paul V 2004 For contributions to the Internet, including the development of domain and email protocols. ACM DL Author Profile
Mogul, Jeffrey C 2001 For significant contributions in operating systems, file systems, Web caching, Internet performance, and Internet standards. ACM DL Author Profile
Mohan, C. 2002 For contributions to reliable, high-performance transaction management. ACM DL Author Profile
Mooney, Raymond 2010 For contributions to machine learning and natural language processing ACM DL Author Profile
Moore, J Strother 2006 For contributions to mechanized theorem proving. ACM DL Author Profile
Moran, Thomas P 2003 For contributions to human-computer interaction. ACM DL Author Profile
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. ACM DL Author Profile
Morrisett, Greg 2013 For contributions to mathematically-based methods for ensuring the efficient implementation and verification of practical programming languages. ACM DL Author Profile
Moses, Joel 2008 For developing the Macsyma computer system for formula manipulation. ACM DL Author Profile
Moss, J. Eliot B. 2007 For contributions in transactions and memory management. ACM DL Author Profile
Motwani, Rajeev 2007 For contributions to algorithms and complexity theory. ACM DL Author Profile
Mukherjee, Shubu 2011 For contributions to modeling and design of high-performance and soft-error tolerant microarchitectures. ACM DL Author Profile
Munro, J. Ian 2008 For contributions to algorithms and data structures. ACM DL Author Profile
Muntz, Richard R 1996 For contributions to the theory of queuing networks and their application to computer system performance evaluation. ACM DL Author Profile
Muthukrishnan, S. 2010 For contributions to efficient algorithms for string matching, data streams, and internet ad auctions ACM DL Author Profile
Myers, Andrew C. 2013 For contributions to languages and systems that use information flow for implementing secure computing systems. ACM DL Author Profile
Myers, Brad A 2005 For contributions to interactive programming environments. ACM DL Author Profile
Myers, Eugene W 2003 For contributions to bioinformatics. ACM DL Author Profile
Nahrstedt, Klara 2012 For contributions to quality-of-service management for distributed multimedia systems. ACM DL Author Profile
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. ACM DL Author Profile
Nau, Dana 2013 For contributions to automated search and planning. ACM DL Author Profile
Naughton, Jeffrey F 2002 For contributions to database system research and practice. ACM DL Author Profile
Needham, Roger M 1994 ACM DL Author Profile
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 ACM DL Author Profile
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. ACM DL Author Profile
Newell, Alan F 2006 For contributions to computer-based systems for people with disabilities. ACM DL Author Profile
Nicol, David M 2005 For contributions to discrete-event simulation. ACM DL Author Profile
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). ACM DL Author Profile
Nishizeki, Takao 1996 For contributions to the design and analysis of efficient algorithms for planar graphs, network flows and VLSI routing. ACM DL Author Profile
Norman, Donald A. 2001 For contributions to human-centered design and computing. ACM DL Author Profile
Norvig, Peter 2006 For contributions to artificial intelligence and information retrieval. ACM DL Author Profile
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. ACM DL Author Profile
Nycum, Susan H 1998 For her contributions to improving the bilateral understanding between the technical community and the legal community. ACM DL Author Profile
O'Leary, Dianne P. 2006 For mentoring activities and contributions to numerical algorithms. ACM DL Author Profile
O'Rourke, Joseph 2012 For contributions to computational geometry and for broadening participation in computing. ACM DL Author Profile
Odersky, Martin M 2007 For contributions to functional and object-oriented programming languages. ACM DL Author Profile
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. ACM DL Author Profile
Olsen, Dan R 2006 For contributions to user interface technology. ACM DL Author Profile
Olson, Gary M. 2007 For contributions to computer-supported collaborative work. ACM DL Author Profile
Olson, Judith S. 2008 For contributions to human-computer interaction and computer-supported cooperative work. ACM DL Author Profile
Olukotun, Kunle A 2006 For contributions to multiprocessors on a chip and multi threaded processor design. ACM DL Author Profile
Ooi, Beng Chin 2011 For contributions to spatio-temporal and distributed data management. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Ozsoyoglu, Zehra Meral 2011 For contributions to database management systems. ACM DL Author Profile
Ozsu, Tamer M. 2006 For contributions to distributed data management and service to the database community. ACM DL Author Profile
Pach, Janos 2011 For contributions to computational geometry. ACM DL Author Profile
Padua, David 2007 For contributions to compiler support for parallel computing. ACM DL Author Profile
Palem, Krishna 2005 For contributions to compiler optimization and embedded computing. ACM DL Author Profile
Pancake, Cherri M 2001 For leadership contributions to usability to high performance computing tools. ACM DL Author Profile
Papadimitriou, Christos 2001 For outstanding contributions to complexity theory, database theory and combinatorial optimization. ACM DL Author Profile
Parker, Donn B 2001 For contributions to information security and professional ethics. ACM DL Author Profile
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. ACM DL Author Profile
Partridge, Craig 2003 For contributions to high-speed networking. ACM DL Author Profile
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. ACM DL Author Profile
Patt, Yale N 2001 For many outstanding seminal contributions to high performance microarchitecture and for leadership and teaching in computer science and engineering education. ACM DL Author Profile
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. ACM DL Author Profile
Paulson, Lawrence C. 2008 For contributions to theorem provers and verification techniques. ACM DL Author Profile
Pausch, Randy 2007 For contributions to the use of programming environments in education and entertainment. ACM DL Author Profile
Paxson, Vern 2006 For contributions to Internet measurement and intrusion detection. ACM DL Author Profile
Pereira, Fernando C. 2010 For contributions to machine-learning models of natural language and biological sequences. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Petzold, Linda 2011 For contributions to computational science. ACM DL Author Profile
Pevzner, Pavel 2010 For contribution to algorithms for genome rearrangements, DNA sequencing, and proteomics. ACM DL Author Profile
Peyton-Jones, Simon L 2004 For contributions to functional programming languages. ACM DL Author Profile
Pierce, Benjamin C. 2012 For contributions to the theory and practice of programming languages and their type systems. ACM DL Author Profile
Pingali, Keshav K 2012 For contributions to data-centric parallel programming and to parallel compilation theory and practice. ACM DL Author Profile
Pippenger, Nicholas 1997 For numerous contributions to the theory of computation, to communication theory and information theory, and to related areas of mathematics. ACM DL Author Profile
Pirahesh, Hamid 2008 For contributions to query processing and query languages. ACM DL Author Profile
Pitts, Andrew M 2012 For contributions to the theory of programming language semantics. ACM DL Author Profile
Pnueli, Amir 2007 For contributions to program and system verification. ACM DL Author Profile
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. ACM DL Author Profile
Pollack, Martha E. 2011 For contributions to planning systems design and for service to the computing community. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Prasanna, Viktor K. 2007 For contributions to parallel, distributed and reconfigurable computing. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Raghavan, Prabhakar 2001 For contributions to the theory and practice of randomized algorithms. ACM DL Author Profile
Ralston, Anthony 1994 For a range of accomplishments as an author, educator, human rights advocate, and in the management of technical societies. ACM DL Author Profile
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. ACM DL Author Profile
Ramamritham, Krithivasan 2001 For contributions to the theory and practice of real-time systems and real-time transaction processing. ACM DL Author Profile
Randell, Brian 2008 For contributions to dependable computing and computer history. ACM DL Author Profile
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. ACM DL Author Profile
Rao, Satish 2013 For contributions to algorithms for graph partitioning and for single- and multi-commodity flows. ACM DL Author Profile
Rao, Trn 1996 For outstanding contributions to error-control coding theory and fault tolerant systems; and service to ACM Lectureship and Chapter activities. ACM DL Author Profile
Rastogi, Rajeev R. 2012 For contributions to the analysis and management of large data sets. ACM DL Author Profile
Rau, Bantwal R 2002 For contributions to VLIW architectures and their compilers. ACM DL Author Profile
Reddy, Raj 2012 For pioneering the design and construction of large scale artificial intelligence systems ACM DL Author Profile
Reed, Daniel A 2003 For contributions to high-performance computing. ACM DL Author Profile
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. ACM DL Author Profile
Reingold, Edward M 1996 For significant research and educational contributions to data structures and the analysis of combinatorial algorithms. ACM DL Author Profile
Reiter, Michael K. 2008 For contributions to computer security and fault-tolerant distributed computing. ACM DL Author Profile
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. ACM DL Author Profile
Reps, Thomas 2005 For contributions to automated program analysis and synthesis. ACM DL Author Profile
Requicha, Aristides A. G. 2007 For contributions to solid modeling and nanorobotics. ACM DL Author Profile
Rexford, Jennifer 2008 For contributions to network control and management systems. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Richards, John T 1998 For contributions to user-centered software design and for outstanding service to the programming languages community. ACM DL Author Profile
Riedl, John T. 2009 For contributions to recommender systems and to social and collaborative computing. ACM DL Author Profile
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. ACM DL Author Profile
Rivest, Ronald L 1994 For contributions to the field of cryptography. ACM DL Author Profile
Roberts, Eric S. 2007 For contributions to computer science education. ACM DL Author Profile
Robertson, George G 2001 For pioneering contributions to information visualization, animated 3D user interfaces, multimedia message systems, hypertext systems, operating systems, and programming languages. ACM DL Author Profile
Robertson, S E 2013 For contributions to the theory and practice of information retrieval. ACM DL Author Profile
Rombach, Dieter 2010 For contributions to empirical software engineering research and its successful application to industrial practice. ACM DL Author Profile
Roscoe, Timothy 2013 For contributions to operating systems and networking research. ACM DL Author Profile
Rose, Jonathan S. 2008 For contributions to the architecture and computer-aided design of field-programmable gate arrays (FPGAs). ACM DL Author Profile
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. ACM DL Author Profile
Rosenblum, David S. 2010 For contributions to software testing and distributed systems, and for service to the software engineering community. ACM DL Author Profile
Rosenblum, Mendel 2008 For contributions to reinventing virtual machines. ACM DL Author Profile
Rosenfeld, Azriel 1994 For pioneering and fundamental contributions to computer vision and image analysis. ACM DL Author Profile
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. ACM DL Author Profile
Ross, Keith 2012 For contributions to the design and modeling of computer networks and Internet applications. ACM DL Author Profile
Roth, Dan 2011 For contributions to machine learning and natural language processing. ACM DL Author Profile
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. ACM DL Author Profile
Rowe, Lawrence A 1998 For seminal contributions to programming languages, relational database technology, user interfaces and multimedia systems. ACM DL Author Profile
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). ACM DL Author Profile
Russell, Stuart J 2003 For contributions to AI and machine learning. ACM DL Author Profile
Rutenbar, Rob A. 2008 For contributions to computer-aided design tools for mixed-signal integrated circuits. ACM DL Author Profile
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. ACM DL Author Profile
Sabnani, Krishnan K. 2001 For seminal contributions to the research and development of communication protocols. ACM DL Author Profile
Sahni, Sartaj K 1996 For contributions to data structures, design and analysis of algorithms, multiprocessor scheduling, electronic computer aided design, and parallel computing. ACM DL Author Profile
Sakallah, Karem 2012 For algorithms for Boolean Satisfiability that advanced the state-of-the-art of hardware verification. ACM DL Author Profile
Salesin, David H 2002 For contributions to computer graphics, particularly non-photorealistic rendering. ACM DL Author Profile
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. ACM DL Author Profile
Sameh, Ahmed H 1999 For leadership in education and research in parallel computing, and for pioneering contributions in mathematical software for parallel architectures. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Sanders, William H 2003 For contributions to the design of dependable systems and networks. ACM DL Author Profile
Sandholm, Tuomas 2008 For contributions to combinatorial auctions and mechanism design. ACM DL Author Profile
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. ACM DL Author Profile
Sanguinetti, John W 2011 For contributions to hardware simulation. ACM DL Author Profile
Sarkar, Vivek 2008 For contributions to technologies for parallel computing. ACM DL Author Profile
Satyanarayanan, Mahadev 2002 For contributions to computer systems research in distributed and mobile information access. ACM DL Author Profile
Savage, John E 1996 For fundamental contributions to theoretical computer science, information theory, and VLSI design, analysis and synthesis. ACM DL Author Profile
Savage, Stefan 2010 For contributions to large scale systems and network security. ACM DL Author Profile
Schantz, Richard 2004 For contributions to object-oriented distributed computing. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Schnabel, Robert B. 2010 For leadership of the computing community in education and diversity, and for contributions to numerical optimization. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Schreiber, Robert S 2012 For contributions to matrix computations and to languages, compilers, and architectures for parallel scientific computing. ACM DL Author Profile
Schroeder, Michael D 2004 For contributions to distributed computing systems, security, and networking. ACM DL Author Profile
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. ACM DL Author Profile
Scott, Michael L. 2006 For contributions to system software for parallel and distributed computing. ACM DL Author Profile
Scott, Steven 2012 For contributions to the architecture of interconnection networks and supercomputers. ACM DL Author Profile
Sedgewick, Robert 1997 For seminal work in the mathematical analysis of algorithms and pioneering research in algorithm animation. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Selman, Bart 2012 For contributions to artificial intelligence with applications to automated reasoning and planning. ACM DL Author Profile
Seltzer, Margo 2011 For contributions to data management and computing systems. ACM DL Author Profile
Sequin, Carlo H 1998 For seminal contributions to the development of RISC, CAD tools and computer graphics systems. ACM DL Author Profile
Sethi, Ravi 1996 For contributions to compiler technology, computer programming languages, scheduling, and analysis of algorithms. ACM DL Author Profile
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. ACM DL Author Profile
Sha, Lui 2005 For contributions to real-time systems. ACM DL Author Profile
Shamir, Ron 2012 For contributions to bioinformatics. ACM DL Author Profile
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. ACM DL Author Profile
Shasha, Dennis E 2013 For technical and literary contributions over a broad range of data management topics. ACM DL Author Profile
Shavit, Nir N 2013 For contributions to the theory and practice of synchronization in concurrent programming. ACM DL Author Profile
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. ACM DL Author Profile
Shaw, Mary M 1996 For significant contributions to software engineering, especially in the areas of software architecture, abstract data types, and software engineering education. ACM DL Author Profile
Shenker, Scott J 2003 For contributions to Internet architecture and protocols. ACM DL Author Profile
Shim, Kyuseok 2013 For contributions to scalable data mining and query processing. ACM DL Author Profile
Shin, Kang G 2001 For the development of the theory of dynamic failure in real-time fault-tolerant computing. ACM DL Author Profile
Shmoys, David 2001 For fundamental achievements in the design and analysis of algorithms for discrete optimization problems. ACM DL Author Profile
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. ACM DL Author Profile
Shoham, Yoav 2012 For contributions at the intersection of artificial intelligence, logic, and economics. ACM DL Author Profile
Shum, Harry 2006 For contributions to computer vision and computer graphics. ACM DL Author Profile
Shyamasundar, Rudrapatna Kallikote 2009 For contributions to real-time distributed programs and logic programming. ACM DL Author Profile
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. ACM DL Author Profile
Siewiorek, Daniel 1994 In recognition of outstanding technical and professional achievements in the field of information technology. ACM DL Author Profile
Sifakis, Joseph 2012 For contributions to hardware and software verification technology. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Simons, Barbara B 1994 ACM DL Author Profile
Sinclair, Alistair 2012 For contributions to randomized algorithms and their applications to statistical physics. ACM DL Author Profile
Singhal, Amit 2011 For contributions to search and information retrieval. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Smith, Burton J 1994 For pioneering work in the design and implementation of scalable shared memory multiprocessors. ACM DL Author Profile
Smyth, Padhraic 2013 For contributions to probabilistic and statistical approaches to data mining and machine learning. ACM DL Author Profile
Snir, Marc 1999 For contributions to the theory of parallel computation and the development of scaleable parallel systems architectures. ACM DL Author Profile
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. ACM DL Author Profile
Snyder, Larry 1995 For fundamental contributions to parallel computer programming, parallel computer architecture, and the theoretical foundations of computer science. ACM DL Author Profile
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. ACM DL Author Profile
Sohi, Gurindar S 2003 For contributions to computer architecture. ACM DL Author Profile
Souvaine, Diane L. 2011 For contributions to computational geometry and for service on behalf of the computing community. ACM DL Author Profile
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. ACM DL Author Profile
Spector, Alfred Z 2006 For leadership and contributions to scalable distributed systems. ACM DL Author Profile
Spielman, Daniel A. 2010 For contributions to the design and analysis of algorithms. ACM DL Author Profile
Squillante, Mark S. 2008 For contributions to the theory and practice of stochastic modeling. ACM DL Author Profile
Srivastava, Divesh 2011 For contributions to query processing in data management systems. ACM DL Author Profile
Stankovic, John A 1996 For research, leadership and service in real-time computing. ACM DL Author Profile
Stearns, Richard E 1994 In recognition of their seminal paper which established the foundations for their field of computation theory. ACM DL Author Profile
Steel, Thomas B 1994 Steel has provided significant service to many organizations in the computer field, particularly ACM, ANSI, IFIP, and SHARE. ACM DL Author Profile
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. ACM DL Author Profile
Steiglitz, Kenneth 1997 For advancing the fields of signal processing, control theory, computer music, and combinatorial optimization from a computer science perspective. ACM DL Author Profile
Stein, Clifford 2012 For contributions to the theory of combinatorial optimization and to the design and analysis of graph algorithms. ACM DL Author Profile
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. ACM DL Author Profile
Stenstrom, Per O 2008 For contributions to the design of high-performance memory systems. ACM DL Author Profile
Stockmeyer, Larry 1996 For several fundamental contributions to computational complexity theory, which have significantly affected the course of this field. ACM DL Author Profile
Stoica, Ion 2012 For contributions to networking, distributed systems, and cloud computing. ACM DL Author Profile
Stone, Harold 1994 ACM DL Author Profile
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. These systems were full-function DBMS's that supported non-procedural q ACM DL Author Profile
Strecker, William 1994 ACM DL Author Profile
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. ACM DL Author Profile
Suciu, Dan 2011 For contributions to probabilistic databases and semistructured data. ACM DL Author Profile
Sudan, Madhu 2008 For contributions to algorithms and complexity theory. ACM DL Author Profile
Suppes, Patrick 1994 ACM DL Author Profile
Suri, Subhash 2010 For algorithmic contributions in computational geometry, networks, and computational economics. ACM DL Author Profile
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. ACM DL Author Profile
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 ACM DL Author Profile
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. ACM DL Author Profile
Szeliski, Richard 2008 For contributions to computational photography. ACM DL Author Profile
Taft, Edward A 1994 For the design of the PostScript page description language and its implementation. ACM DL Author Profile
Tamassia, Roberto 2012 For contributions to graph drawing, algorithms and data structures and to computer science education. ACM DL Author Profile
Tambe, Milind 2013 For contributions to the theory and practice of multi-agent systems, teamwork and security games. ACM DL Author Profile
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. ACM DL Author Profile
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.) ACM DL Author Profile
Tannen, Val 2013 For contributions to query languages, query optimization and data provenance. ACM DL Author Profile
Tardos, Eva 1998 For fundamental contributions in the design and analysis of algorithms, combinatorial optimization, network flows, and approximation algorithms. ACM DL Author Profile
Tarjan, Robert E 1994 For fundamental achievements in the design and analysis of algorithms and data structures. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Teng, Shang-Hua 2009 For contributions to theoretical computer science, algorithms and interdisciplinary applications of computing. ACM DL Author Profile
Terry, Douglas B 2008 For contributions to distributed computing. ACM DL Author Profile
Terzopoulos, Demetri 2007 For contributions to computer graphics and vision. ACM DL Author Profile
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. ACM DL Author Profile
Thekkath, Chandramohan A. 2009 For contributions to operating systems, distributed systems, and scalable storage. ACM DL Author Profile
Thomas, Donald E. 2007 For contributions to computer-aided design of integrated circuits and systems. ACM DL Author Profile
Thorup, Mikkel 2005 For contributions to algorithms and data structures. ACM DL Author Profile
Tichy, Walter F. 2012 For contributions to software engineering and revision control systems. ACM DL Author Profile
Tompa, Frank Wm. 2010 ACM DL Author Profile
Torii, Koji 1999 For distinguished research in language theory and in software engineering, and for international leadership in the software engineering community. ACM DL Author Profile
Torrellas, Josep 2010 For contributions to shared-memory multiprocessor architectures and thread-level speculation. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Tullsen, Dean M. 2011 For contributions to the architecture of high-performance processors. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Ungar, David M. 2010 For contributions to the design and implementation of object-oriented programming languages ACM DL Author Profile
Upfal, Eli 2005 For contributions to parallel and stochastic networks. ACM DL Author Profile
Vahdat, Amin 2011 For contributions to data center scalability and management. ACM DL Author Profile
Valduriez, Patrick 2012 For contributions to parallel and distributed data management. ACM DL Author Profile
Valero, Mateo 2002 For contributions to the design of vector, superscalar, and VLIW architectures, and technical leadership. ACM DL Author Profile
Valiant, Leslie G 2012 For transformative contributions to the theory of computation. ACM DL Author Profile
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. ACM DL Author Profile
Van Renesse, Robbert 2009 For contributions to fault-tolerant distributed computing. ACM DL Author Profile
Van Rijsbergen, C J 2003 For contributions to information retrieval. ACM DL Author Profile
Vardi, Moshe Y 2000 For contributions to the development of logic as a unifying foundational framework and a tool for modeling computational systems. ACM DL Author Profile
Varghese, George 2002 For contributions to efficient scalable algorithms. ACM DL Author Profile
Vassiliadis, Stamatis 2004 For inventions in processor architecture and design. ACM DL Author Profile
Vazirani, Umesh Virkumar 2005 For contributions to theoretical computer science and quantum computation. ACM DL Author Profile
Vazirani, Vijay 2005 For contributions to optimization and approximation algorithms. ACM DL Author Profile
Vemuri, Baba C. 2009 For contributions to computer vision and medical image analysis. ACM DL Author Profile
Verissimo, Paulo J 2009 For contributions to dependable and secure distributed computing. ACM DL Author Profile
Vernon, Mary K 1996 For fundamental contributions to performance analysis of parallel computer architectures and for leadership in the computing research community. ACM DL Author Profile
Vetterli, Martin 2009 For contributions to multimedia compression and communication. ACM DL Author Profile
Vianu, Victor D 2006 For contributions to database management systems. ACM DL Author Profile
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. ACM DL Author Profile
Vitter, Jeffrey S 1996 For contributions to the theory of information storage and retrieval and to the design and mathematical analysis of computer algorithms. ACM DL Author Profile
Wadler, Philip 2007 For contributions to the theory of programming languages. ACM DL Author Profile
Wah, Benjamin W 2004 For leadership in the computer science community and contributions to system optimization. ACM DL Author Profile
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. ACM DL Author Profile
Waltz, David L 1999 For contributions to Artificial Intelligence through innovations in memory-based reasoning and constraint-satisfaction techniques. ACM DL Author Profile
Wand, Mitchell 2007 For contributions to type theory and program analysis. ACM DL Author Profile
Want, Roy 2005 For contributions to mobile and ubiquitous systems. ACM DL Author Profile
Ware, Willis H 1994 ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Wasserman, Anthony I 1996 For technical and professional contributions to the field of software engineering. ACM DL Author Profile
Wecker, Stuart 1994 ACM DL Author Profile
Wegbreit, Ben 1994 ACM DL Author Profile
Wegman, Mark 1996 For contributions to compiler technology and to the design, implementation, and analysis of algorithms. ACM DL Author Profile
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. ACM DL Author Profile
Weikum, Gerhard 2005 For contributions to distributed database systems. ACM DL Author Profile
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. ACM DL Author Profile
Weiser, Uri C. 2005 For leadership in superscalar processors and multimedia architectures. ACM DL Author Profile
Weiss, Eric A 1994 For his contribution to ACM and to the computing community, particularly in the field of publications and publications policy. ACM DL Author Profile
Weld, Daniel S 2005 For contributions to planning algorithms. ACM DL Author Profile
Wellman, Michael P 2005 For contributions to market-based and decentralized computation ACM DL Author Profile
Welzl, Emmerich 1998 For orignial contributions in geometric and combinatorial algorithms and for bringing together discrete mathematics and algorithmics. ACM DL Author Profile
Wetherall, David J. 2011 For contributions to computer network design. ACM DL Author Profile
Weyuker, Elaine J 1997 For contributions to software engineering, specifically software testing and metrics, and the theory of computation. ACM DL Author Profile
Whang, Kyu-Young 2009 For contributions to physical database design, query processing, and database management system architecture. ACM DL Author Profile
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. ACM DL Author Profile
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.
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. ACM DL Author Profile
Widmayer, Peter 1997 For original contributions in data structures and algorithms advancing the areas of geometric and combinatorial computation and spatial databases. ACM DL Author Profile
Widom, Jennifer 2005 For contributions to active and semi-structured database systems. ACM DL Author Profile
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. ACM DL Author Profile
Wilensky, Robert 1997 For research contributions to the areas of natural language processing and digital libraries as well as outstanding leadership in Computer Science. ACM DL Author Profile
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. ACM DL Author Profile
Wilkes, John 2002 For contributions to the understanding of storage systems and their management. ACM DL Author Profile
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. ACM DL Author Profile
Wilks, Yorick Alexander 2009 For research on meaning-based understanding of natural language by computers. ACM DL Author Profile
Williams, Robin 2000 For leadership in Computer Science research and the transfer of technology into products; and for contributions to ACM. ACM DL Author Profile
Williamson, David P. 2013 For contributions to the design and analysis of approximation algorithms. ACM DL Author Profile
Willinger, Walter 2005 For contributions to the analysis of data networks and protocols. ACM DL Author Profile
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. ACM DL Author Profile
Winograd, Shmuel 1994 ACM DL Author Profile
Winograd, Terry 2009 For contributions to AI, natural language processing, HCI, and human-centered design. ACM DL Author Profile
Winslett, Marianne 2006 For contributions to information management and security. ACM DL Author Profile
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. ACM DL Author Profile
Wise, David S 2004 For leadership in the computer science community and contributions to functional programming languages. ACM DL Author Profile
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. ACM DL Author Profile
Wolf, Alexander L 2006 For research in distributed system software engineering and service to the community. ACM DL Author Profile
Wolf, Marilyn Claire 2001 For contributions to embedded computing. ACM DL Author Profile
Wolfson, Ouri 2001 For his pioneering research in moving object databases and for his fundamental contributions to research in distributed systems. ACM DL Author Profile
Wolfson, Seymour J 1994 For diligent and effective administration of ACM's conferences, meetings, and symposia responsibilities. ACM DL Author Profile
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. ACM DL Author Profile
Wong, Limsoon 2013 For contributions to database theory and computational biology. ACM DL Author Profile
Wood, David A 2005 For contributions to shared-memory multiprocessing. ACM DL Author Profile
Wulf, William A 1994 ACM DL Author Profile
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. ACM DL Author Profile
Yao, Andrew C 1995 For significant research contributions in Computational Complexity, Analysis of Algorithms, Data Structures, Communication Complexity, and Cryptographic Protocols. ACM DL Author Profile
Yelick, Kathy 2012 For contributions to parallel languages that improve programmer productivity. ACM DL Author Profile
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. ACM DL Author Profile
York, Bryant W 2006 For leadership in broadening participation in computing. ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Yu, Philip S 1997 For contributions to the theory and practice of analytical performance modeling of database sytems. ACM DL Author Profile
Yung, Moti 2013 For contributions to cryptography and its use in security and privacy of systems. ACM DL Author Profile
Zabih, Ramin 2012 For contributions to discrete optimization in computer vision. ACM DL Author Profile
Zadeck, Frank Kenneth 2011 For contributions to optimizing compilers. ACM DL Author Profile
Zadeh, L A 1994 ACM DL Author Profile
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. ACM DL Author Profile
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. ACM DL Author Profile
Zdonik, Stanley B 2006 For contributions to data management and database systems. ACM DL Author Profile
Zegura, Ellen 2013 For contributions to communication and computation in intermittingly-connected networks. ACM DL Author Profile
Zeller, Andreas 2010 For contributions to automated debugging, and to mining software archives. ACM DL Author Profile
Zhai, Shumin 2010 For contributions to human computer interface research and innovation. ACM DL Author Profile
Zhang, HongJiang 2007 For contributions to content-based analysis and retrieval of multimedia. ACM DL Author Profile
Zhang, Hui 2005 For contributions to network architecture, protocols and algorithms. ACM DL Author Profile
Zhang, Lixia 2006 For contributions to protocol designs for packet switched networks. ACM DL Author Profile
Zhang, Xiaodong 2012 For contributions to data and memory management in distributed systems. ACM DL Author Profile
Zhang, Zhengyou 2013 For contributions to computer vision and multimedia. ACM DL Author Profile
Zhou, Yuanyuan 2013 For contributions to software reliability and quality. ACM DL Author Profile
Zuckerman, David 2013 For contributions to randomness extraction, pseudorandomness, and their role in complexity theory. ACM DL Author Profile
Zwaenepoel, Willy E 2000 For contributions to distributed and parallel processing, in particular to the design, implementation, and evaluation of software distributed shared memory. ACM DL Author Profile
Zweben, Stuart 1998 For contributions to the field of software engineering, and for leadership in professional societies in the computing field. ACM DL Author Profile