sign in sign up
<<
Home , Abraham Lempel, ACM Fellow, ACM Prize in Computing, ACM SIGACT, Adi Shamir, Alan Kay

Contents u u u

ACM Awards Reception and Banquet, June 2018...... 2 Introduction...... 3 A.M. ...... 4 ACM Prize in Computing...... 5 ACM Charles P. “Chuck” Thacker Breakthrough in Computing Award...... 6 ACM – AAAI Award...... 7 System Award...... 8 Grace Murray Hopper Award...... 9 Theory and Practice Award...... 10 Karl V. Karlstrom Outstanding Educator Award...... 11 Eugene L. Lawler Award for Humanitarian Contributions within Science and ...... 12 Distinguished Service Award...... 13 ACM Athena Lecturer Award...... 14 Outstanding Contribution to ACM Award...... 15 Doctoral Dissertation Award...... 16 ACM Student Research Competition...... 17 ACM ...... 18 ACM Policy Award...... 19 ACM – CSTA Cutler-Bell Prize...... 19 ACM Prize...... 20 ACM – IEEE CS Eckert-Mauchly Award...... 21 ACM – IEEE CS ...... 21 ACM – IEEE CS George Michael HPC Memorial Fellowships...... 22 SIAM – ACM Prize in and Engineering...... 22 ACM Doctoral Dissertation Award...... 23 ACM China Doctoral Dissertation Award...... 23 ACM China Rising Star Award...... 24 IPSJ/ACM Award for Early Career Contributions to Global Research...... 24 ACM Special Interest Group Awards...... 25-27 2018 ACM Award Subcommittee Chairs...... 28 ACM Award Nomination Submission Procedures...... 29 2019 ACM Award Subcommittee Chairs and Members...... 30-31 Past Recipients...... 32-37 ACM Fellows Complete Listing...... 38-46 In Memoriam, ACM Fellows...... 47

1 ACM Awards Reception & Banquet

u u u The Palace Hotel San Francisco, June 23, 2018

2017 ACM A.M. Turing Award

(left to right) Vicki L. Hanson, ACM Past President and CEO; 2017 ACM A.M. Turing Award recipients, John L. Hennessy and David A. Patterson; Jeffery Dean, Senior ; and John R. White, ACM Awards Committee Co-Chair.

2017 ACM Prize in Computing

(left to right) Vicki L. Hanson, ACM Past President and CEO; Srikantan Moorthy, Infosys Head of Talent Acquisition; , 2017 ACM Prize in Computing recipient; and John R. White, ACM Awards Committee Co-Chair.

2 ACM AWARDS

u u u Introduction

ACM, the Association for Computing Machinery, is the world’s largest educational and scientific computing society. ACM’s overarching goal is to advance computing as a science and a profession. A very important part of this goal is to recognize outstanding technical and professional achievements in computing and through our series of awards. These prestigious and internationally recognized honors are an integral part of ACM’s mission to unite computing educators, researchers, and professionals to inspire dialogue, share resources, and address the field’s challenges.

ACM welcomes nominations for candidates whose work exemplifies the best and most influential contributions to our community, and society at large. More information on nominating candidates for future awards is available on page 29 in this booklet.

The awards included in this overview are being presented at the 2019 ACM Awards Banquet on June 15, 2019, at The Palace Hotel in San Francisco, California.

More information on ACM’s Awards Programs can be found at https:// awards.acm.org, including links to the full award citations and a downloadable version of this booklet.

3 A.M. Turing Award

Yoshua Bengio Yann LeCun University of Montreal Google/Vector Institute Facebook Mila University

u u u

The A.M. Turing Award is presented to , Geoffrey Hinton and Yann LeCun for conceptual and engineering breakthroughs that have made deep neural networks a critical component of computing.

Working independently and together, Bengio, Hinton and LeCun developed conceptual foundations for the field, identified surprising phenomena through experiments, and contributed engineering advances that demonstrated the practical advantages of deep neural networks. In recent years, deep methods have been responsible for astonishing breakthroughs in , , natural language processing, and robotics—among other applications.

While the use of artificial neural networks as a tool to help recognize patterns and simulate human intelligence had been introduced in the 1980’s, by the early 2000’s, LeCun, Hinton and Bengio were among a group who remained committed to this approach. Though their efforts to rekindle the AI community’s interest in neural networks were initially met with skepticism, their ideas resulted in major technological advances, and their methodology is now the dominant paradigm in the field.

This award celebrates the work of one of the founding fathers of modern computer science – Alan Mathison Turing (1912-1954). In a 1936 paper, Turing introduced a precise definition of a computational machine (now called a ). He is perhaps best known for his contributions during World War II in cracking the Enigma code. He later studied problems key to .

Accompanied by a prize of $1,000,000, ACM’s most prestigious award is given to recognize contributions of a technical nature which are of lasting and major technical importance to the computing field. Financial support of the A.M. Turing Award is provided by Google Inc.

4 ACM Prize in Computing

Shwetak Patel University of Washington Google

u u u

The ACM Prize in Computing is presented to Shwetak Patel for contributions to creative and practical sensing systems for sustainability and health.

Before Patel’s work, most systems for monitoring energy and health required expensive and cumbersome specialized devices, precluding practical widespread adoption. Patel and his students found highly creative ways to leverage infrastructure to affordable and accurate monitoring a practical reality. Patel quickly turned his team’s research contributions into real-world deployments, founding companies to commercialize their work.

Patel’s research closed the gap between science fiction and reality in many applications in ubiquitous computing for sustainability and health. The three broad areas in which Patel has made important contributions include monitoring energy and water usage in the home, low-powered home sensors, and digital health.

The ACM Prize in Computing recognizes an early to mid-career fundamental, innovative contribution in computing that, through its depth, impact, and broad implications, exemplifies the greatest achievements in the discipline.

The award carries a prize of $250,000. Financial support is provided by an endowment from Infosys Ltd.

5 ACM Charles P. “Chuck” Thacker Breakthrough in Computing Award

Mendel Rosenblum

u u u

The inaugural ACM Charles P. “Chuck” Thacker Breakthrough in Computing Award is presented to Mendel Rosenblum of Stanford University for reinventing the for the modern era and thereby revolutionizing datacenters and enabling modern cloud computing.

In the late 1990s, Rosenblum and his students at Stanford University revisited the idea of virtual machines to develop system software for FLASH, an experimental large-scale multiprocessor. They recognized that existing operating systems could not support large numbers of processors, and modifying one to work efficiently on FLASH would have been very difficult. Instead, they decided to use virtual machines to run multiple instances on FLASH, each with only a few virtual processors.

The success of his work on FLASH prompted Rosenblum to found the company VMware in 1998 with Diane Greene, Edouard Bugnion, Scott Devine, and Ellen Wang. VMware popularized the use of virtual machines as a means of allowing any disparate software environments to share processor resources within a datacenter. Today, every commercial cloud environment, including major providers such as Amazon Services, Azure, and Google Cloud, is based on virtualization concepts developed by Rosenblum and his colleagues.

The ACM Breakthrough Award celebrates Chuck Thacker’s pioneering contributions in computing and his long-term inspirational mentorship of generations of computer scientists. The award recognizes individuals or groups with the same out-of-the-box thinking and “can-do” approach to solving the unsolved that Thacker exhibited. The award carries a prize of $100,000. Financial support is provided by Microsoft.

6 ACM – AAAI Allen Newell Award

Henry Kautz University of Rochester

u u u

The ACM-AAAI Allen Newell Award is presented to Henry Kautz for contributions to artificial intelligence and computational social science, including fundamental results on the complexity of inference, planning, and media analytics for public health.

Beginning with his doctoral dissertation, Kautz, now a at the University of Rochester, studied how computers can infer the goals and plans of people by studying their behavior. He has made a range of fundamental contributions to theory and practice in knowledge representation and reasoning, planning and plan recognition, and computational social science. Kautz was one of the pioneers in analyzing the computational complexity of knowledge representation formalisms. He was also a co-developer of the first randomized local search for Boolean satisfiability testing, which have found practical application in planning, graphical models, and software verification.

In the area of pervasive computing and social media analytics, Kautz’s trailblazing projects have included a system to help cognitively disabled people find their way by inferring the transportation destinations of selected groups of people; a project that uncovered the central role of air travel in the spread of diseases by analyzing social media data; and an initiative to improve the efficiency of restaurant health inspections by combining social media reports of food poisoning with location data.

The award is named for Allen Newell (1927-1992), a trailblazer in computer science research and , and a founder of the artificial intelligence and fields. A pivotal force in creating Carnegie Mellon’s School of Computer Science, he co-authored Human with Nobel Laureate Herbert Simon in 1972.

The Newell Award is presented to individuals selected for career contributions that have breadth within computer science, or that bridge computer science and other disciplines. It is accompanied by a $10,000 prize provided by ACM and the Association for the Advancement of Artificial Intelligence (AAAI), and by individual contributions.

7 Software System Award

Gerald . Combs Riverbed Technologies

u u u

The ACM Software System Award is presented to Gerald C. Combs for creating the Wireshark network protocol analyzer, an essential tool for nearly anyone who designs, deploys, analyzes, and troubleshoots the wide range of network protocols that tie the together, and for continued leadership of the world-wide Wireshark developer community.

Combs started Wireshark as an open source project in 1997, under the name Ethereal. The software quickly became the most commonly used system for visually analyzing network protocol traffic. Before the advent of Ethereal and Wireshark, protocol analyzers were expensive, dedicated pieces of hardware that were only available to large institutions. The creation of an open source network protocol analyzer democratized access to network protocol analysis. It also enabled people to learn about network protocols as they were able to visualize the traffic on their own networks. In addition, Wireshark has also had significant influence on the areas of network engineering and cyber security. Engineers who work alongside security experts in financial institutions and other high-profile businesses make extensive use of Wireshark in their ongoing fight against cybercrime.

Combs, who serves as Director of Open Source Projects at Riverbed Technology, has continued to work on the Wireshark code. He spent 20 years guiding the open source community that has developed around the software and leading SharkFest, an annual educational conference focused on sharing knowledge, experience, and best practices among the Wireshark developer and user communities.

The Software System Award is presented to an institution or individuals recognized for developing a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both. A prize of $35,000 accompanies the award with financial support provided by IBM.

8 Grace Murray Hopper Award

Constantinos Daskalakis Michael . Freedman Massachusetts Institute of Technology

u u u

The Grace Murray Hopper Award is presented to for his seminal contributions to the and economics, particularly the complexity of the Nash Equilibria, and to Michael J. Freedman for the design and deployment of self-organizing geo-distributed systems. Strategic behavior greatly complicates many forms of exchanges in society, including online advertising, kidney transplants, cryptocurrencies, online marketplaces such as Uber and Airbnb, and social platforms such as Twitter and Facebook. To analyze such complex systems, economists have long relied on the concept of equilibrium. By challenging equilibrium theory, Daskalakis’ work has triggered the ongoing reshaping of our understanding of strategic behavior, proving that computation must play an essential role in laying new and firmer foundations for economics. He has applied his insights to advance many other sciences as well, including , learning, and probability and statistics. By introducing new algorithms and protocols, Freedman has shown how to build scalable, performant, and autonomous distributed systems for modern heterogeneous deployments and realistic workloads. Some of Freedman’s most popular systems include CoralCDN, a content distribution infrastructure that has been deployed at hundreds of network sites worldwide and been used by millions of clients to share images, videos and other content; the JetStream system, which employs an innovative approach to data streaming analytics; and TimescaleDB, an open source time series that provides complex queries at scale on both historical and fresh data. Additionally, in more fundamental research, Freedman and colleagues have demonstrated that theoretically deep cloud systems need not be slow or scale poorly. The award is named for Grace Murray Hopper (1906-1992), a pioneer in software development. Her work spanned programming languages, software development concepts, validation, and data processing. Admiral Hopper’s early recognition of the potential for commercial applications of computers, and her leadership in making this vision a reality paved the way for modern data processing. The Grace Murray Hopper Award is presented to the outstanding young computer professional(s) of the year, selected on the basis of a single recent major technical or service contribution. The candidate(s) must have been 35 years of age or less at the time the qualifying contribution was made. A prize of $35,000 accompanies the award. Financial support for the Grace Murray Hopper Award is provided by Microsoft. 9 Paris Kanellakis Theory and Practice Award

Pavel Pevzner University of California, San Diego

u u u

The Paris Kanellakis Theory and Practice Award is presented to Pavel Pevzner for pioneering contributions to the theory, design, and implementation of algorithms for string reconstruction and to their applications in the assembly of .

Pevzner’s research interests span the field of computational biology, and his work has been guided by tailoring algorithmic ideas to biological problems. The life sciences have been transformed by the ability to rapidly sequence and assemble genomes for organisms from existing and extant species and use these assembled genomes to answer fundamental and applied questions in biology, medicine, and other sciences. Pevzner has made fundamental contributions to the theoretical study of string algorithms and to their application to scalable reconstruction of genomes and other biological sequences such as antibodies and antibiotics. Pevzner’s algorithms underlie almost all sequence assemblers used today and were used to reconstruct the vast majority of genomic sequences available in .

This award is named for Paris Christos Kanellakis (1953-1995), who, as a distinguished computer science theoretician and esteemed faculty member of , focused much of his work in the area of theoretical computer science, particularly the principles of database systems and logic. His contributions were exceptional in both the breadth of his interests and his ability to carve out research programs in which his keen mathematical insight could be put at the service of practical issues.

The Paris Kanellakis Theory and Practice Award honors specific theoretical accomplishments that have had a significant and demonstrable effect on the practice of computing. This award is accompanied by a prize of $10,000 and is endowed by contributions from the Kanellakis family, and financial support by ACM’s SIGACT, SIGDA, SIGMOD, SIGPLAN, the ACM SIG Project Fund, and individual contributions.

10 Karl V. Karlstrom Outstanding Educator Award

Robert Sedgewick Princeton University

u u u

The Karl V. Karlstrom Outstanding Educator Award is presented to Robert Sedgewick for developing classic textbooks and online materials for the study of algorithms, analytic combinatorics, and introductory computer science that have educated generations of students worldwide.

Sedgewick is best known for his series of Algorithms textbooks, which have been bestsellers for four decades (12 books in four editions covering five programming languages). The books develop a scientific approach to the study of algorithms, based on experiments with real code to validate hypotheses about performance based on mathematical analysis.

His recent book (with Kevin Wayne), Computer Science: An Interdisciplinary Approach, is a comprehensive introduction to the field and was named by ACM Computing Reviews as “Best of Computing Notable Book” for 2017. His book Analytic Combinatorics (with Philippe Flajolet) is an advanced graduate text that has been recognized with the 2019 Leroy P. Steele Prize for Mathematical Exposition.

More recently, Sedgewick has been extremely active as a pioneer and innovator in online education. He has co-developed extensive online content associated with his books that attract millions of visitors annually. Sedgewick has also recorded over 100 hours of online lectures on programming, computer science, and algorithms that reach hundreds of thousands of people around the world. The Sedgewick-Wayne Algorithms online course has been listed as one of the top 10 Massive Open Online Courses (MOOCs) of all time.

The Karlstrom Award is presented annually to an outstanding educator who is appointed to a recognized educational baccalaureate institution; recognized for advancing new teaching methodologies; effecting new curriculum development or expansion in computer science and engineering; or making a significant contribution to ACM’s educational mission. Educators with ten years or less experience are given special consideration. The Karlstrom Award is accompanied by a prize of $10,000. Financial support is provided by Pearson Education.

11 Eugene L. Lawler Award for Humanitarian Contributions within Computer Science and Informatics

Meenakshi Balakrishnan Indian Institute of Technology, Delhi

u u u

The ACM Eugene L. Lawler Award for Humanitarian Contributions within Computer Science and Informatics is presented to Meenakshi Balakrishnan for research, development, and deployment of cost-effective embedded-system and software solutions addressing mobility and education challenges of the visually impaired in the developing world.

Balakrishnan, a professor at the Indian Institute of Technology, Delhi, has dedicated more than a decade to addressing the challenges of the visually impaired by developing low-cost, computing technology-based solutions. Each of his devices has been developed by the meticulous integration of hardware, software, and firmware. His applications have not only improved the quality of life for countless people, but also have made their day-to-day lives dramatically safer. These technologies are especially valuable in the developing world, where there are fewer resources for the visually impaired.

Perhaps his best-known technology is the SmartCane project, which allows the visually impaired to detect items above their knees within a distance of 3 meters. Balakrishnan equipped the probing cane with ultrasonic ranging, wherein the cane conveys the distance of obstacles using vibrations. Balakrishnan has also worked tirelessly to bring the SmartCane to market at an affordable cost. Working with for-profit, nonprofit, and government organizations, he introduced the SmartCane at 5% of the cost of a comparable product in the West. Within India he has made over 70,000 devices available through government initiatives and 45 partner agencies. SmartCane has also won numerous awards, including the Best Paper Award at the International Conference on Mobility and Transport for Elderly and Disabled Citizens (TRANSED) 2010.

Additional technologies Balakrishnan and his lab have developed include the OnBoard bus identification and homing system which helps the visually impaired identify bus routes and locate the entry door, and The Refreshable Braille which allows the visually impaired to read digital text line-by-line through a tactile interface.

The ACM Eugene L. Lawler Award for Humanitarian Contributions within Computer Science and Informatics recognizes an individual or group who has made a significant contribution through the use of computing technology. This biennial award is accompanied by a prize of $5,000.

12 Distinguished Service Award

Victor Bahl Microsoft Research

u u u

The Distinguished Service Award is presented to Victor Bahl for significant and lasting service to the broad community of mobile computing and wireless networking, and for building strong linkages between academia, industry, and government agencies.

Bahl was a co-founder and the driving force behind ACM SIGMobile, ACM’s Special Interest Group dedicated to all things mobile. He created MobiSys, the International Conference on Mobile Systems, Applications and Services, and for nearly two decades has steered MobiCom, the International Conference on Mobile Computing and Networking. Under Bahl’s leadership, both of these conferences have grown to become highly respected international events and publication venues. Also in the vein of publishing and disseminating the best in mobile technology research, Bahl founded GetMobile, a quarterly scientific publication related to wireless communications and mobility, and served as its first editor.

Bahl has also positively influenced spectrum policies of the US Federal Communications Commission and that of several European, South American and Asian countries, through technology inventions, demonstrations, and technical evangelism involving academia-industry-government collaboration on opportunities around dynamic spectrum sharing, and he has initiated key efforts in mobile computing and wireless networking within the US National Science Foundation.

Through Microsoft Research, he also led the creation and free distribution of the Mesh Academic Research Kit, a significant enabler for research in Wi-Fi systems, which has been adopted by more than 1,200 academic institutions worldwide. This toolkit allowed academic researchers to experiment with mesh technologies. He also drove the creation of the complementary Microsoft Digital Inclusion program that disbursed more than $1.2 million in funding to academic institutions that applied wireless mesh and related technologies to bridge the digital divide in communities around the world.

The Distinguished Service Award is given on the basis of value and degree of service to the computing community. The contributions are not limited to service to the Association, and should include activities in other computer organizations and should emphasize contributions to the computing community at large.

13 ACM Athena Lecturer Award

Elisa Bertino

u u u

The ACM Athena Lecturer Award is presented to Elisa Bertino for pioneering and impactful contributions to data management, security, and privacy, along with outstanding contributions to broadening participation in computing via professional leadership and mentoring. Bertino is recognized as one of the top data management and data security experts in the world, and has made contributions to data security and privacy in many different contexts, including context-based access control; digital identity management; data integrity; Internet of Things and sensor network security; secure and privacy- preserving provenance; privacy-preserving analytics; protection from insider threats; and cloud security. Through these efforts, she provided formal foundations and implementations of mechanisms that have become commonplace in industrial products. Bertino is also an outstanding educator and mentor who has been especially active in encouraging young women to pursue careers in computing. Bertino’s 2001 paper “T-RBAC: A Temporal Role-Based Access Control Model,” co- authored with Piero Andrea Bonatti and Elena Ferrari, outlined how access to a system could be made available at certain times and unavailable at others. The paper has been cited more than 1,000 times and transformed the design of security systems developed by industry. In 2007 Bertino and her co-authors made another significant contribution to role-based access control in the paper “GEO-RBAC: A Spatially Aware RBAC,” in which the access depends on user location. Bertino’s GEO-RBAC model was introduced before mobile computing became ubiquitous, and has become an essential component of most security systems. Recently, Bertino has made significant contributions to the security of cellular networks as exemplified in her recent paper, “LTEInspector: A Systematic Approach for Adversarial Testing of 4G,” which introduced a model-based testing approach to investigate the security and privacy of the 4G LTE protocol. The ACM Athena Lecturer Award recognition celebrates women researchers who have made fundamental contributions to computer science. The ACM-W Council, which originally organized the Athena Lecturer project to honor a preeminent woman , chose to identify the honoree with the Greek goddess of wisdom, who, with her sense of purpose and willingness to enter the fray, epitomizes the strength, determination, and intelligence of the Athena Lecturers. The award includes a $25,000 honorarium provided by Two Sigma. 14 Outstanding Contribution to ACM Award

Chris Stephenson Google

u u u

The Outstanding Contribution to ACM Award is presented to Chris Stephenson for advancing computer science education by founding and nurturing the Computer Science Teachers Association – an organization that incorporates more than 22,000 -12 computer science educators and partners into the ACM community.

Stephenson founded the Computer Science Teachers Association (CSTA) in 2004, with the support of ACM, and thereafter became its founding Executive Director. During her 10 years leading CSTA, she grew the organization to include 20,000 members worldwide and 60 regional chapters.

Her scholarly research contributions were disseminated in several influential reports including: Bringing Computational Thinking to K-12: What Is Involved and What Is the Role of the Computer Science Education Community?; the inaugural CSTA K-12 Computer Science Standards; Running On Empty: The Failure to Teach K–12 Computer Science in the Digital Age; and Bugs in the System: Computer Science Teacher Certification in the U.S. These reports have led to projects, initiatives, and policy changes that have deeply and positively impacted K-12 computer science education and educators globally.

Now Head of Computer Science Education Strategy at Google, Stephenson has continued her work with ACM education initiatives. She is currently co-chair of the ACM Education Board, where she has been actively engaged in developing curricular materials to meet the needs of computer science educators and students, both in the US and abroad. She also recently co-chaired the Board’s retention in undergraduate computer science task force.

The Outstanding Contribution to ACM Award recognizes outstanding service contributions to the ACM. Candidates are selected based on the value and degree of service overall, and up to three individuals may be recognized each year.

15 Doctoral Dissertation Award

Chelsea Finn and Berkeley Artificial Intelligence Lab (BAIR)

u u u

The Doctoral Dissertation Award is presented to Chelsea Finn, Google Brain and Berkeley AI Research Lab (BAIR), for her dissertation, Learning to Learn with Gradients, nominated by the University of California, Berkeley.

Ryan Beckett Tengyu Ma Microsoft Research Stanford University

Honorable Mentions for the Doctoral Dissertation Award are presented to: Ryan Beckett, Microsoft Research, for his dissertation, Network Control Plane Synthesis and Verification, nominated by Princeton University; and Tengyu Ma, Stanford University, for his dissertation, Non-convex Optimization for : Design, Analysis, and Understanding, nominated by Princeton University.

The Doctoral Dissertation Award is presented annually to the author(s) of the best doctoral dissertation(s) in computer science and engineering. The Doctoral Dissertation Award is accompanied by a prize of $20,000 and the Honorable Mention Award is accompanied by a prize totaling $10,000. Winning dissertations will be published in the ACM Digital Library as part of the ACM Book Series.

16 ACM Student Research Competition

u u u

The ACM Student Research Competition (SRC) represents a unique forum for ACM undergraduate and graduate student members to present their original research. Winners from Student Research Competitions held at conferences organized by SIGACCESS, SIGARCH, SIGCHI, SIGCOMM, SIGCSE, SIGDA, SIGDOC, SIGGRAPH, SIGHPC, SIGMOBILE, SIGMOD, SIGPLAN, SIGSAC, SIGSOFT, and SIGSPATIAL advanced to compete in the Grand Finals where their research contributions were evaluated, via the web, by the ACM SRC committee members. Financial sponsorship of $120,000 is provided by Microsoft per competition year for the ACM Student Research Competition. The finalists honored represent the best student research of the past year.

The recipients of the ACM Grand Finals are listed below.

Undergraduate Category 1st Place: Zhuangzhuang Zhou Shanghai Jiao Tong University ICCAD 18

2nd Place: Fandel Lin National Cheng Kung University SIGSPATIAL 18

3rd Place: Elizaveta A. Tremsina University of California, Berkeley TAPIA 18

Graduate Category 1st Place: Gengjie Chen The Chinese University of Hong Kong ICCAD 18

2nd Place: Christie Louis Alappat University of Erlangen-Nuremberg SC 18

3rd Place: Scott Parker Kolodziej Texas A&M University SIGCSE 19

17 ACM Fellows

u u u

The ACM Fellows Program was established by Council in 1993 to recognize and honor outstanding ACM members for their achievements in computer science and information technology and for their significant contributions to the mission of the ACM. The ACM Fellows serve as distinguished colleagues to whom the ACM and its members look for guidance and leadership as the world of information technology evolves. The 2018 Fellows are listed below. A complete listing of ACM Fellows is on pages 38-46, and awards.acm.org/fellows.

Gul Agha, University of Illinois, Urbana- Aaron Hertzmann, Adobe Research Champaign Jessica K. Hodgins, Carnegie Mellon Krste Asanovic, University of California, University Berkeley John Hughes, Chalmers University N Asokan, Aalto University Charles Lee Isbell, Jr. , Georgia Institute Paul Barham, Google Brain of Technology Peter L. Bartlett, University of California, Kimberly Keeton, Hewlett Packard Berkeley Laboratories David Basin, ETH, Zurich Sanjeev Khanna, University of Elizabeth M. Belding, University of California, Lillian Lee, Santa Barbara Tom Leighton, Akamai Technologies Rastislav Bodik, University of Washington Fei-Fei Li, Stanford University Katy Borner, Indiana University Michael Littman, Brown University Amy S. Bruckman, Georgia Institute of Huan Liu, Technology Jiebo Luo, University of Rochester Jan Camenisch, DFINITY Labs Zurich Bruce M. Maggs, Adnan Darwiche, University of California, Bangalore S. Manjunath, University of California, Santa Barbara Andre M. Dehon, University of Pennsylvania Vishal Misra, Premkumar T. Devanbu, University of Frank Mueller, State California, Davis University Tamal Dey, David Parkes, Sandhya Dwarkadas, University of Rochester Gurudatta Parulkar, Open Networking Steven Feiner, Columbia University Foundation (ONF) Tim Finin, University of Maryland, Toniann Pitassi, University of Toronto Baltimore County Lili Qiu, University of Texas, Austin Thomas Funkhouser, Princeton University Matthew Roughan, University of Adelaide Minos Garofalakis, Athena Research Center , University of California, and Technical University of Crete Los Angeles Mario Gerla, University of California, Alex Snoeren, University of California, Los Angeles San Diego Juan E. Gilbert, Gerald Tesauro, IBM Research Mohammad T. Hajiaghayi, University of Bhavani Thuraisingham, University of Texas Maryland, College Park at Dallas Dan Halperin, University , Harvard University Johan Håstad, KTH Royal Institute of Ellen M. Voorhees, National Institute of Technology, Stockholm Standards and Technology Tian He, University of Minnesota, Twin Cities , Institute for Advanced Study Wendi Beth Heinzelman, University of Alec Wolman, Microsoft Research Rochester 18 Additional ACM Awards

ACM Policy Award

u u u

The ACM Policy Award recognizes an individual or small group that had a significant positive impact on the formation or execution of public policy affecting computing or the computing community. This can be for education, service, or leadership in a technology position; for establishing an innovative program in policy education or advice; for building the community or community resources in technology policy; or other notable policy activity. The biennial award is accompanied by a $10,000 prize. The next award will be presented in 2020.

ACM/CSTA Cutler Bell Prize in High School Computing

u u u

Naveen Durvasula Isha Puri Montgomery Blair High School (MD) Horace Greeley High School (NY)

Eshika Saxena Varun Shenoy Interlake High School (WA) Cupertino High School (CA)

This year’s Cutler-Bell Prize recipients will be formally recognized at the Computer Science Teachers Association’s annual conference which takes place July 7-10, 2019 in Phoenix, Arizona.

The Prize, bestowed by ACM and CSTA (Computer Science Teachers Association), recognizes computer science talent in high school students. The intent of the program is to promote the field of computer science as well as to empower young and aspiring learners to pursue computing challenges outside of the traditional classroom environment. The award was established by David Cutler and Gordon Bell and includes a $10,000 scholarship for each selected student. The award is financially supported by an endowment from the Gordon Bell and David Cutler Endowment Fund.

19 ACM

u u u

Two teams share the 2018 ACM Gordon Bell Prize. A seven-member team affiliated with the Oak Ridge National Laboratory (ORNL) is recognized for their paper “Attacking the Opioid Epidemic: Determining the Epistatic and Pleiotropic Genetic Architectures for Chronic Pain and Opioid Addiction,” and a 12-member team affiliated with the Lawrence Berkeley National Laboratory (LBNL) is recognized for their paper “Exascale for Climate Analytics.”

The aim of the Oak Ridge National Laboratory (ORNL) team was to use supercomputing to provide a tool in combating the US opioid epidemic by understanding the underlying genetic architecture of how individuals develop chronic pain and respond to opioids. The ORNL team developed a new “CoMet” that allows to vast amounts of genetic data and identify genes that may be more susceptible to pain and opioid addiction—as well as promising treatments.

The ORNL team includes Daniel Jacobson, Wayne Joubert, Deborah Weighill, and David Kainer (all of Oak Ridge National Laboratory); Sharlee Climer (University of -St. Louis); Amy Justice (/Department of Veterans Affairs); and Kjiersten Fagnan (US Department of Energy Joint Institute).

The Lawrence Berkeley National Laboratory (LBNL) team trained a deep neural network to identify extreme weather patterns from high-resolution climate simulations. They demonstrated that accurate datasets can be computed for weather patterns such as tropical cyclones and atmospheric rivers. To train the neural network, the LBNL team paper proposed an innovative blend of hardware and software solutions. These included a novel architecture as well as a number of system-level innovations to enable the largest processing units (GPU)- based HPC systems in the world to process vast amounts of weather-related data. Their application represents the largest successful high performance computer scaling of a deep learning application to date.

Winning team members from the LBNL include Prabhat, Thorsten Kurth, Mayur Mudigonda, Jack Deslippe, Ankur Mahesh (all from Lawrence Berkeley National Laboratory); Sean Treichler, Joshua Romero, Nathan Luehr, Everett Phillips, Massimiliano Fatica, Michael Houston (all of NVIDIA); and Michael Matheson (Oak Ridge Leadership Computing Facility).

The Gordon Bell Prize recognizes outstanding achievement in high-performance computing. The purpose is to track the progress of , with particular emphasis on rewarding innovation in applying high-performance computing to applications in science. The awards, presented during the SC Conference, include $10,000 in prize money. The prize is endowed by Gordon Bell, a pioneer in high- performance and parallel computing.

20 ACM – IEEE CS Eckert-Mauchly Award

u u u

Mark Hill, a professor at University of Wisconsin, Madison, will be presented with the 2019 ACM–IEEE CS Eckert-Mauchly Award. Hill was selected for contributions to the design and evaluation of systems and parallel computers.

The award will be presented at the 46th International Symposium on (ISCA’19), June 22-26, 2019 in Phoenix, Arizona.

Administered jointly by ACM and IEEE Computer Society, an award of $5,000 is given for contributions to computer and digital systems architecture, where the field of computer architecture encompasses hardware- and analysis of computing and digital systems.

ACM – IEEE CS Ken Kennedy Award

u u u

Sarita Adve, University of Illinois at Urbana-Champaign, received the 2018 ACM– IEEE CS Ken Kennedy Award for her research and leadership in the development of memory consistency models for C++ and Java; for service to numerous computer science organizations; and for exceptional mentoring.

The award honors the substantial research, service, and mentoring contributions of Ken Kennedy (1945-2007), the founder of ’s computer science program, who was one of the world’s foremost experts on high-performance computing.

The Kennedy Award recognizes substantial contributions to programmability and productivity in computing and substantial community service or mentoring contributions and includes a $5,000 honorarium. The recipient is invited to give a presentation at an ACM or IEEE conference of the winner’s choosing in the year following the announcement.

21 ACM – IEEE CS George Michael Memorial Fellowships

u u u

The George Michael Memorial Fellowships were presented to Linda Gesenhues of the Federal University of Rio de Janeiro, for her work on finite element simulation of turbidity currents with an emphasis on non-Newtonian fluids, and Markus Höhnerbach of RWTH Aachen University, for his work on portable optimizations of complex molecular dynamics codes.

Endowed in memory of George Michael, one of the founding fathers of the SC Conference series, the ACM–IEEE CS George Michael Memorial Fellowships honor exceptional Ph.D. students throughout the world whose research focus areas are in high-performance computing, networking, storage, and large-scale data analysis. ACM, the IEEE Computer Society, and the SC Conference support this award.

Fellowship recipients are selected each year based on overall potential for research excellence, the degree to which technical interests align with those of the HPC community, academic progress to date, recommendations by their advisor and others, and a demonstration of current and anticipated use of HPC resources. The Fellowship includes a $5,000 honorarium, plus travel and registration to receive the award at the annual SC conference.

SIAM – ACM Prize in Computational Science and Engineering

u u u

Jack Dongarra of the was awarded the 2019 SIAM–ACM Prize in Computer Science and Engineering for his key role in the development of software and software standards, software repositories, performance and benchmarking software, and in community efforts to prepare for the challenges of exascale computing, especially in adapting infrastructure to emerging architectures.

The award was presented at the SIAM Conference on Computational Science and Engineering (CSE19) in Spokane, Washington.

This biennial endowed award recognizes individuals for outstanding research contributions to the field of computational science and engineering. Their contributions must be publicly available and may belong to any aspect of computational science in its broadest sense. The award includes a certificate and $5,000 prize. Financial sponsorship is provided by SIAM.

22 ACM India Doctoral Dissertation Award

Keerti Choudhary Deepash Data Indian Institute of Technology (IIT), Kanpur Tata Institute of Fundamental Research

u u u

The ACM India Doctoral Dissertation Award is presented to Keerti Choudhary, for her dissertation, Compact and Efficient Fault Tolerant Structures for Directed Graphs, nominated by the Indian Institute of Technology (IIT), Kanpur. Honorable Mention for the ACM India Doctoral Dissertation Award is presented to Deepash Data for his dissertation, Communication Complexity and Characterization Results in Secure Computation, nominated by Tata Institute of Fundamental Research, Mumbai

The ACM India Doctoral Dissertation Award recognizes the best doctoral dissertation from a degree-awarding institution based in India, and is accompanied by a prize of ₹200,000. The winning dissertation will be published in the ACM Digital Library. This award is additionally supported by the Tata Consultancy Services.

ACM China Doctoral Dissertation Award

Ding Wang Wenguan Wang Peking University Beijing Institute of Technology u u u

The ACM China Doctoral Dissertation Award is presented to Ding Wang of Peking University and Wenguan Wang of the Beijing Institute of Technology.

The ACM China Doctoral Dissertation Award recognizes the best doctoral dissertation(s) in computer science and engineering from a degree-awarding institution based in China, for the purpose of encouraging dedicated research and academic achievement. The award, accompanied by a prize of ¥10,000, will be presented at the ACM China Annual Meeting, held each October. 23 ACM China Rising Star Award

Yang Yang Haipeng Dai University of Electronic Science Nanjing University and Technology of China (UESTC) u u u

The ACM China Rising Star Award is presented to Yang Yang and Haipeng Dai.

The China Rising Star Award is given annually to recognize rising stars in the Chinese computing community who demonstrate outstanding potential for research in the field of computing. The selection is based on the impact of the candidate’s work in the field in creating promising new ideas, paradigms, and novel systems which are related to computer or communications systems, which may be analytical, empirical or experimental in nature. Winners will receive a prize of ¥10,000.

IPSJ/ACM Award for Early Career Contributions to Global Research

Yasutaka Kamei Kyushu University u u u

The IPSJ/ACM Award for Early Career Contributions to Global Research is presented to Dr. Yasutaka Kamei, Kyushu University, for research on mining software repositories (MSR) to improve assurance.

The IPSJ/ACM Award for Early Career Contributions to Global Research recognizes technical achievement by an early to mid-career researcher 10 years or less after receiving his/her doctoral degree. The contributions should be through an international collaboration or a collaboration for which there is reasonable expectation of future international collaboration. 24 ACM Special Interest Group Awards u u u

Additional information, including descriptions of the SIG Awards, nomination procedures, where the award is presented, and any prizes attached to the award, is available at awards.acm.org/sig-awards.

SIGACCESS - Accessibility and Computers SIGBED - Embedded Systems • ASSETS Paper Impact Award • SIGBED Paul Caspi Memorial Dissertation • Best Paper Award Award • Best Student Paper Award • SIGBED – SIGSOFT Frank Anger Memorial • Outstanding Contributions to Award Computing and Accessibility • SIGBED – EMSOFT Best Paper Award • SIGBED Early Career Researcher Award SIGACT - Algorithms and Computation • SIGBED HSCC Best Paper Award Theory • Gödel Prize SIGBio - , Computational • for Outstanding Biology and Biomedical Informatics Contributions to the Foundations of • Best Paper Award Computer Science Service Prize • Best Student Paper Award • Danny Lewin Best Student Paper Award • SIGACT/SIGOPS Edsger W. SIGCAS - Computers and Society in • Outstanding Service Award • Distinguished Service Award • Making a Difference Award

SIGAda - Ada SIGCHI - Computer-Human Interaction • Award for Outstanding • SIGCHI Academy Ada Community Contributions • Lifetime Practice Award • Distinguished Service Award • Lifetime Research Award • Lifetime Service Award SIGAI - Artificial Intelligence • Social Impact Award • Annual Award for Excellence in • Outstanding Dissertation Award Autonomous Agent Research • AAAI/ACM SIGAI Doctoral Dissertation SIGCOMM - Data Communication Award • Award for Lifetime Achievement • Industry Award for Excellence in Artificial • SIGCOMM Doctoral Dissertation Award Intelligence for Outstanding Ph.D. in Computer Networking and Data Communication SIGAPP - Applied Computing • Networking System Award • Distinguished Service Award • Rising Star Award • Outstanding Service Award • Test of Time Paper Award • Networking Systems Award SIGARCH - Computer Architecture • Award SIGCSE - Computer Science Education • ISCA Influential Paper Award • Award for Outstanding Contributions to • Alan D. Berenbaum Distinguished Service Computer Science Education Award • Lifetime Service • SIGARCH/SIGPLAN/SIGOPS ASPLOS Influential Paper Award

25 SIGDA - Design Automation SIGKDD - Knowledge Discovery in Data • Outstanding Ph.D. Dissertation Award in • Innovation Award Electronic Design Automation • Service Award • SIGDA IEEE/ACM William J. McCalla • Doctoral Dissertation Award ICCAD Best Paper Award • Test of Time Award • Outstanding New Faculty Award • ACM-IEEE A. Richard Newton Technical SIGLOG - Logic and Computation Impact Award in Electronic Design • Alonzo Church Award Automation SIGMETRICS - Measurement and SIGDOC - Design of Communication Evaluation • Joseph T. Rigo Award • Achievement Award • Diana Award • Kenneth C. Sevcik Outstanding Student Paper Award SIGecom - Economics and Computation • Rising Star Researcher Award • Best Paper Award • Test of Time Paper Award • Best Full Paper Award • Best Full Paper Award with a Student SIGMICRO - Microarchitecture Lead Author • Distinguished Service Award • Doctoral Dissertation Award • Test of Time Award SIGMIS - Management Information Systems SIGEVO - Genetic and Evolutionary • Magid Igbaria Outstanding Conference Computation Paper of the Year Award • GECCO Impact Paper Award • Best Dissertation Award SIGMM - Multimedia • Outstanding Contribution Award • SIGMM Award for Outstanding Technical Contributions SIGGRAPH - • SIGMM Award for Outstanding Ph.D. • Steven A. Coons Award Thesis in Multimedia Computing, • Computer Graphics Achievement Award Communications and Applications • Outstanding Service Award • SIGMM Rising Star Award • Significant New Researcher Award • Distinguished Artist Award for Lifetime SIGMOBILE - Mobility of Systems, Users, Achievement in Digital Art Data & Computing • Outstanding Doctoral Dissertation Award • Distinguished Service Award • Practitioner Award • Doctoral Dissertation Award • SIGGRAPH Academy • Outstanding Contributions Award to • Distinguished Educator Award Research on Mobility of Systems, Users, Data and Computing SIGHPC- High Performance Computing • Test of Time Paper Award • Emerging Woman Leader in Technical • RockStar Award Computing • Outstanding Doctoral Dissertation Award SIGMOD - Management of Data • Contribution Award SIGIR - • Edgar F. Codd Innovations Award • SIGWEB/SIGIR Award • Test of Time Award • Gerard Salton Award • Jim Gray Doctoral Dissertation Award • Best Paper Award • PODS Alberto O. Mendelzon Test of Time • Best Student Paper Award Award • Test of Time Paper Award • SIGMOD Systems Award

26 SIGOPS - Operating Systems SIGSOFT - • SIGOPS Doctoral • SIGBED – SIGSOFT Frank Anger Memorial Dissertation Award for Software Systems Award Research • Distinguished Service Award • SIGACT/SIGOPS Edsger W. Dijkstra Prize • Influential Educator Award in Distributed Computing • SIGSOFT Outstanding Doctoral • SIGARCH/SIGPLAN/SIGOPS ASPLOS Dissertation Award Influential Paper Award • Outstanding Research Award • Mark Weiser Award • SIGSOFT/IEEE TCSE ICSE Most Influential • Hall of Fame Award Paper Award • SIGSOFT Impact Paper Award SIGPLAN - Programming Languages • Early Career Researcher Award • Distinguished Service Award • Programming Languages Achievement SIGSPATIAL - Spatial Information Award • Best Paper • Programming Languages Software • Ten Year Impact Award Award • Most Influential PLDI Paper Award SIGUCCS - University and College • Most Influential POPL Paper Award Computing Services • Most Influential OOPSLA Paper Award • Penny Crane Award for Distinguished • Most Influential ICFP Paper Award Service • John C. Reynolds Doctoral Dissertation Award SIGWEB - ,Hypermedia and • SIGARCH/SIGPLAN/SIGOPS ASPLOS Web Influential Paper Award • Best Paper Award • SIGPLAN Young Researcher • SIGWEB/SIGIR Vannevar Bush Award Award • Newcomer Award • John Vlissides Award • DocEng Best Paper Award • Distinguished Educator Award SIG Governing Board SIGSAC - Security, Audit and Control • Kenneth E. Iverson Award for • Outstanding Innovation Award Outstanding Contributions in Array • Outstanding Contribution Award Languages • Doctoral Dissertation Award

SIGSAM - Symbolic and Algebraic Manipulation • Richard D. Jenks Memorial Prize

SIGSIM - Simulation and Modeling • Distinguished Contribution Award

27 2018 ACM Award Subcommittee Chairs u u u

A.M. Turing Outstanding Contribution to ACM Alex Aiken, Stanford University Lori Pollock, Duke University

ACM Prize in Computing Doctoral Dissertation Kathryn McKinley, Google Martha Kim, Columbia University

ACM Charles P. “Chuck” Thacker Fellows Breakthrough in Computing Keith Marzullo, University of Maryland Richard Rashid

Distinguished Member ACM - AAAI Allen Newell John West, Texas Advanced Thomas Dietterich, Oregon Computing Center State University

Senior Member Software System Sathish Vadhiyar, Indian Institute Vikram Adve, University of Illinois of Science Urbana-Champaign

Gordon Bell Prize Grace Murray Hopper Satoshi Matsuoka, RIKEN Center (R-CSS) Sihem Amer-Yahia, University of Grenoble

ACM - IEEE CS Eckert-Mauchly Paris Kanellakis Theory and Practice Kunle Olukotun, Stanford University Edith Cohen, Google

ACM - IEEE CS Ken Kennedy Karl V. Karlstrom Stu Feldman, Schmidt Sciences Outstanding Educator Renee McCauley, College of Charleston ACM - IEEE CS George Michael HPC Fellowships Eugene L. Lawler Award for Ilkay Altintas, San Diego Contributions within Computer Supercomputing Center Science and Informatics Maggie Johnson, Google International Science and Engineering Fair (ISEF) Distinguished Service Wilfred Pinfold, Portland State University Richard Snodgrass,

SIAM/ACM Prize in Computational ACM Athena Lecturer Science and Engineering Kenneth Anderson, University of Colorado Linda Petzold, University of California, Santa Barbara

28 ACM Award Nomination Submission Procedures u u u Nominations for the awards presented at the June Awards Banquet are due in Mid-January, but other awards are presented throughout the year.

For ACM Fellow, the deadline is September 7, 2019. For ACM Distinguished Member, the deadline is August 1, 2019. For Senior Member, the deadline is September 3, 2019.

Nomination forms and guidelines will be found on the awards site under “Advanced Grades of Membership” https://awards.acm.org/advanced-member-grades.

u u u

For information on the nominations process and deadline for each award, please visit: https://awards.acm.org/award-nominations Please visit awards.acm.org, for additional details about the ACM awards program, or contact: Jade Morris ACM Awards Committee Liaison [email protected] u u u Awards Committee Co-Chairs Vinton G. Cerf Google [email protected] John R. White [email protected] Roy Levin [email protected] u u u

SGB Awards Committee Liaison Jeff Hollingsworth University of Maryland [email protected]

29 2019 ACM Award Subcommittee Chairs and Members u u u

A.M. Turing Members: Eugene L. Lawler Micheal Carey Thomas Dietterich (Biennial) University of California, Julia Hirschberg Carla Gomes Irvine Sheila McIlraith Cornell University [email protected] [email protected] Software System Members: Members: Rod Brooks Ben Fried Karrie Karahalios Google Robin Murphy David Heckerman [email protected] Lucy Sanders Members: David Patterson David DeWitt Distinguished Service Nenad Medvidović Jeffery Naughton Olga Sorkine-Hornung George Neville-Neil Google Alfred Spector [email protected] Grace Murray Hopper Members: ACM Prize in Computing Ron Perrott Doug Burger Edward Lazowska Oxford e-Research Center Kal Li University of Washington [email protected] Richard Snodgrass [email protected] Members: Members: Sihem Amer-Yahia ACM Athena Lecturer Alexei Efros Renee Miller Ravi Sethi Eric Horvitz Ron Perrott University of Arizona Pankaj Jalote Alex Smola [email protected] Dina Katabi Members: Kathryn McKinley Paris Kanellakis Theory Kenneth Anderson and Practice Gail Murphy Josep Diaz Charles P. “Chuck” Barcelona Supercomputing Outstanding Thacker Breakthrough in Center Contribution to ACM Computing (biennial) [email protected] Carla Ellis John Hennessy Members: Duke University Stanford University/ Edith Cohen [email protected] Alphabet Tal Rabin [email protected] Members: Gabriele Anderst-Kotsis Members: Karl V. Karlstrom Steve Bourne Eric Brewer Outstanding Educator Donna Cappo Adele Goldberg Michael Caspersen Lori Pollock Aarhus [email protected] Doctoral Dissertation Richard Rashid Members: Jose Moreira IBM Research ACM-AAAI Allen Newell Armando Fox jmoreira@us..com Michael Wooldridge Renee McCauley Members: [email protected] Edouard Bugnion 30 2019 ACM Award Subcommittee Chairs and Members u u u

Anne-Marie Kermarrec Members: ACM-IEEE CS Martha Kim Ewa Deelman George Michael Brad Myers Philip Roth Jennifer Neville HPC Fellowships Dan Suciu Gordon Bell Prize Boyana Norris Val Tannen Arndt Bode University of Oregon Chris Umans Technical University of [email protected] Greg Valiant Munich ACM Members: [email protected] Rosa Badia Fellows Members: Karen Karavanic Kathleen Fisher George Biros Yves Robert Tufts University Bronis de Supinski IEEE CS Members: [email protected] Katrin Heitmann Jack Dongarra Members: Michael A. Heroux Bruce Jacob Wen Gao Satoshi Matsuoka Elizabeth Jessup Rajesh Gupta Mark Parsons Laura Haas Kenjiro Taura Intel International Science and Joseph Konstan ACM-IEEE CS Engineering Fair James Larus Eckert-Mauchly Keith Marzullo Jan Vahrenhold Paolo Faraboschi Daniela Rus University of Muenster HPE jan.vahrenhold@uni- [email protected] Mary Shaw muenster.de Mikkel Thorup ACM Members: Members: Alexander L. Wolf Sandhya Dwarkadas Jake Baskin Kunle Olukotun Wilfred Pinfold Distinguished Member David Wood Fred Martin Rao Mannepalli IEEE CS Members: Raytheon Lieven Eeckhout SIAM/ACM Prize in [email protected] Per Stenstrom Computational Science Members and Engineering Jeanne Ferrante ACM-IEEE CS (Biennial) Geraldine Fitzpatrick Ken Kennedy c/o Joanna Littleton Carlo Ghezzi William Gropp SIAM Silvia Giordano University of Illinois [email protected] Lucian Popa Urbana-Champaign Linda Petzold David Rosenblum [email protected] University of California, John West Members: Santa Barbara Cristina Videira Lopes Antonia Bertolino [email protected] Jeff Hollingsworth Members: Senior Member Geoffrey Fox IEEE CS Members: Michela Taufer David Keyes University of Tennessee Jack Dongarra Knoxville Jesús Labarta [email protected] Daniel Reed 31 Past Recipients u u u

A.M. Turing Award 2002 Software System Award 1966 A.J. Perlis 2002 Ronald Rivest 1983 1967 Maurice V. Wilkes 2002 1968 2003 Alan Kay Dennis M. Ritchie 1969 2004 Vinton G. Cerf 1984 Alto Systems 1970 J.H. Wilkinson 2004 Robert E. Kahn Butler W. Lampson 1971 John McCarthy 2005 Robert W. Taylor 1972 E.W. Dijkstra 2006 Frances E. Allen Charles P. Thacker 1973 Charles W. Bachman 2007 Edmund Clarke 1985 1974 Donald E. Knuth 2007 E. Allen Emerson Daniel Bricklin 1975 Allen Newell 2007 Joseph Sifakis Robert Frankston 1975 Herbert A. Simon 2008 1986 TeX 1976 Michael O. Rabin 2009 Charles Thacker Donald E. Knuth 1976 Dana S. Scott 2010 Leslie G. Valiant 1987 1977 2011 Alan C. Kay 1978 Robert W. Floyd 2012 Shafi Goldwasser Daniel H.H. Ingalls, Jr. 1979 Kenneth E. Iverson 2012 Adele Goldberg 1980 C. Antony R. Hoare 2013 1988 SystemR 1981 Edgar F. Codd 2014 Michael Stonebreaker Donald Chamberlin 1982 Stephen A. Cook 2015 James Gray 1983 Ken Thompson 2015 Martin E. Hellman Raymond Lorie 1983 Dennis M. Ritchie 2016 Sir Tim Berners-Lee Gianfranco Putzolu 1984 2017 John Hennessy Patricia Selinger 1985 Richard M. Karp 2017 David Patterson Irving Traiger 1986 1988 INGRES 1986 ACM Prize in Computing* Gerald Held 1987 2007 1988 2008 Jon Kleinberg Eugene Wong 1989 William (Velvel) Kahan 2009 Eric Brewer 1989 PostScript 1990 Fernando J. Corbatό 2010 Frans Kaashoek John E. Warnock 1991 Robin Milner 2011 Charles M. Geschke 1992 Butler Lampson 2012 Jeffrey Dean William H. Paxton 1993 2012 Douglas K. Brotz 1993 Richard E. Stearns 2013 David Blei Edward A. Taft 1994 Edward A. Feigenbaum 2014 1990 NLS 1994 2015 Stefan Savage Douglas C. Engelbart 1995 2016 Alexei A. Efros William K. English 1996 2017 Dina Katabi Johns F. Rulifson 1997 Douglas Engelbart * Formerly the ACM-Infosys Award 1991 TCP/IP 1998 James N. Gray in the Computing Sciences Vinton G. Cerf 1999 Frederick P. Brooks, Jr. Robert E. Kahn 2000 Andrew C. Yao 1992 Interlisp 2001 Ole-Johan Dahl Daniel G. Bobrow 2001 Richard R. Burton 32 Past Recipients u u u

L. Peter Deutsch Robert S. Boyer Bradley Miller Ronald M. Kaplan Matt Kaufmann Paul Resnick Larry Masinter J Strother Moore John Riedl Warren Teitelman 2006 Eiffel Mitesh Suchak 1993 Bertrand Meyer 2011 Eclipse Ivan Sutherland 2007 Statemate Gregory Adams 1994 Remote Procedure Call David Harel John Duimovich Andrew Birrell Hagi Lachover Erich Gamma Bruce Nelson Amnon Naamad Kevin Haaland 1995 World-WideWeb Amir Pnueli Julian Jones Tim Berners-Lee Michal Politi Philippe Mulet Rivi Sherman Steve Northover 1995 NCSA Mark Trakhtenbrot Dave Thomson Aron Trauring John Wiegand 2008 Gamma Parallel 2012 LLVM 1996 no award given Database System Vikram Adve 1997 Tcl/tk David J. DeWitt Evan Cheng Robert Gerber Chris Lattner 1998 S System Shahram 2013 Coq John M. Chambers Ghandeharizadeh Bruno Barras 1999 Apache Goetz Graefe Yves Bertot Brian Behlendorf Michael Heytens Pierre Castéran Roy T. Fielding Hui-I Hsiao Thierry Coquand Rob Hartill Murali M. Krishna Jean-Christophe David Robinson Jeffrey F. Naughton Filliâtre Cliff Skolnick Donovan A. Schneider Hugo Herbelin Randy Terbush Anoop Sharma Gerard P. Huet Robert S. Thau 2009 VMware 1.0 Chetan Murthy Andrew Wilson Edouard Bugnion Christine Paulin- 2000 no award given Scott Devine Mohring 2001 SPIN Verification Mendel Rosenblum 2014 MACH System Jeremy Sugarman Rick Rashid Gerard Holzmann Edward Wang Avadis (Avie) Tevanian 2002 Java 2010 GroupLens 2015 GCC (GNU Compiler James A. Gosling Collaborative Filtering Collection) 2002 Make Recommender Systems Peter Bergstrom 2016 Andrew 2004 SNP Lee Gordon (AFS) Raghuram Bindignavle Jonathan Herlocker John H. Howard Simon S. Lam Neophytos Iacovou Michael L. Kazar Shaowen Joseph A. Konstan David A. Nichols Thomas Y.C. Woo Shyong (Tony) Lam Sherri M. Nichols 2005 Boyer-Moore David Maltz Mahadev Theorem Prover Sean McNee Satyanarayanan 33 Past Recipients u u u

Robert N. Sidebotham Susan Owicki 1996 Shafrira Goldwasser Alfred Z. Spector 1978 Niklaus Wirth 1997 no award given Michael J. West 1979 David L. Parnas 1998 no award given (posthumously) 1980 no award given 1999 Wen-mei Hwu 2017 Project Jupyter 1981 no award given 2000 Fernando Pérez 1982 James Gray 2001 Brian E. Granger Paul McJones 2002 Ramakrishnan Srikant Min Ragan-Kelley Michael Blasgen 2003 Stephen W. Keckler Paul Ivanov Bruce Lindsay 2004 Thomas Kluyver Raymond Lorie 2005 Jason Grout Thomas Price 2006 Daniel Klein Matthias Bussonnier Gianfranco Putzolu 2007 Damián Avila Irving Traiger 2008 Steven Silvester * This award was replaced in 1983 2009 Jonathan Frederic, by the Software System Award 2010 Craig Gentry Kyle Kelley 2011 Jessica Hamrick Grace Murray Hopper Award 2012 Carol Willing 1971 Donald E. Knuth 2012 Dina Katabi Sylvain Corlay 1972 Paul E. Dirksen 2013 Pedro Felzenszwalb Peter Parente 1972 Paul H. Cress 2014 1973 Lawrence Breed 2015 Programming Systems and 1973 Richard Lathwell 2016 Jeffrey Michael Heer Languages Paper Award* 1973 Roger Moore 2017 Amanda Randles 1971 Peter Lucas 1974 George N. Baird Kurt Walk 1975 Allen L. Scherr Allen Newell Award 1971 Peter J. Denning 1976 Edward H. Shortliffe 1994 Frederick P. Brooks, Jr. 1971 Edsger W. Dijkstra 1977 no award given 1995 1971 Jan Gecsei 1978 Raymond Kurzweil 1996 no award given Richard L. Mattson 1979 Stephen Wozniak 1997 Donald R. Slutz 1980 Robert M. Metcalfe 1998 Irving Traiger 1981 Daniel S. Bricklin 1999 Nancy Leveson 1971 John C. Reynolds 1982 Brian K. Reid 2000 Lotfi Zadeh 1972 no award given 1984 Daniel H.H. Ingalls, Jr. 2001 Ruzena Bajcsy 1973 C.A.R. Hoare 1985 2002 Peter Chen 1974 1986 William N. Joy 2003 Stephen Ness 1987 John K. Ousterhout 2003 Judea Pearl Jean Vuillemin 1988 Guy L. Steele 2004 Richard P. Gabriel 1975 Daniel G. Bobrow 1989 W. Daniel Hillis 2005 Jack Minker Ben Wegbreit 1990 Richard Stallman 2006 Karen Spärck Jones 1975 Dennis Ritchie 1991 Feng-hsiung Hsu 2007 Leonidas Guibas Kenneth Thompson 1992 no award given 2008 Joseph Y. Halpern 1976 John Cocke 1993 2008 Barbara J. Grosz Frances E. Allen 1994 no award given 2009 Michael I. Jordan 1977 1995 no award given 2010 Takeo Kanade 34 Past Recipients u u u

2011 Stephanie Forrest 2010 2016 Owen Astrachan 2012 Yoav Shoham 2011 2017 Judith Gal-Ezer 2012 Moshe Tennenholtz 2012 2013 no award given 2012 Eugene L. Lawler Award 2014 Jon Kleinberg 2012 Piotr Indyk for Humanitarian 2015 Eric Horvitz 2013 Robert Blumofe Contributions within 2016 Jitendra Malik 2013 Charles Leiserson Computer Science and 2017 Margaret A. Boden 2014 Informatics (Biennial) 2015 Michael G. Luby 1999 Antonia Stone Paris Kanellakis Theory 2016 2001 John Blitch and Practice Award 2016 2003 Patrick Ball 1996 Leonard Adleman 2017 Scott J. Shenker 2005 Albrecht Ehrensperger 1996 Whitfield Diffie 2005 Solomon Mbuguah 1996 Karl V. Karlstrom 2005 Ernest Siva 1996 Outstanding Educator 2007 Randolph Y.Wang 1996 Ronald Rivest Award 2009 Gregory Abowd 1996 Adi Shamir 1989 C.L. Liu 2012 Thomas Bartoschek 1997 1990 Gerald Jay Sussman 2012 Johannes Schöning 1997 1991 David A. Patterson 2014 Robin Roberson 1998 1992 David Harel Murphy 1998 Edmund M. Clarke, Jr. 1993 2016 Ken Banks 1998 E. Allen Emerson 1994 Andrew Tanenbaum 1998 Kenneth McMillan 1995 David Gries Distinguished Service Award 1999 1996 Peter Denning 1970 Franz L. Alt 1999 Robert Tarjan 1997 1971 J. Don Madden 2000 1998 Avi Silberschatz 1972 George E. Forsythe 2001 Gene Myers 1999 Randy H. Katz (posthumously) 2002 Peter A. Franaszek 2000 Yale Patt 1973 William Atchison 2003 Gary Miller 2001 Nell . Dale 1974 Saul Gorn 2003 Michael Rabin 2002 John T. Gorgone 1975 John W. Carr III 2003 Robert Solovay 2003 Sartaj Sahni 1976 Richard G. Canning 2003 2004 no award given 1977 Thomas B. Steel, Jr. 2004 2005 Stuart J. Russell 1978 Eric A. Weiss 2004 2006 no award given 1979 Carl Hammer 2005 Gerard Holzmann 2007 1980 Bernard Galler 2005 Robert Kurshan 2008 John Hopcroft 1981 Aaron Finerman 2005 Moshe Vardi 2009 Matthias Felleisen 1982 Anthony Ralston 2005 2010 Barbara Ericson 1983 Grace Murray Hopper 2006 Robert K. Brayton 2010 Mark Guzdial 1984 Saul Rosen 2007 2011 Hal Abelson 1985 Jean Sammet 2008 2012 Eric S. Roberts 1986 Clair 2008 2013 Susan Rodger (posthumously) 2009 2014 William A. Wulf 1987 Frederick P. Brooks, Jr. 2009 2015 Armando Fox 1988 Charles L. Bradshaw 35 Past Recipients u u u

1989 Peter J. Denning 1990 David Heckerman 1983 Seymour J. Wolfson 1990 Walter M. Carlson 1991 Robert Schapire 1984 Orrin E. Taulbee 1991 Gerald L. Engel 1992 Kenneth McMillan 1985 Jack Minker 1992 Joyce Currie Little 1992 Mendel Rosenblum 1985 Thomas A. D’Auria 1993 J.A.N. Lee 1993 1986 Herbert Maisel 1994 no award given 1994 David Karger 1987 Edward G. Coffmann, Jr. 1995 Doris Lidtke 1994 T.V. Raman 1988 Thomas A. DeFanti 1996 Hal Berghel 1995 Sanjeev Arora 1989 Monroe (Monty) 1997 David H. Brandin 1995 Daniel A. Spielman Newborn 1998 no award given 1996 Xiaoyuan Tu 1990 William Poucher 1999 Anita Borg 1996 Carl Waldspurger 1991 Allen Tucker 2000 Peter Wegner 1997 Steven McCanne 1992 James M. Adams 2001 Won Kim 1998 Hari Balakrishnan 1992 Lorraine Borman 2002 Raymond E. Miller 1999 Dieter van Melkebeek 1992 Peter Neumann 2003 Ruzena Bajcsy 2000 Salil Vadhan 1993 John H. Esbin 2004 E.G. Coffman 2001 Ion Stoica 1993 Frank L. Friedman 2005 Mary Jane Irwin 2002 Venkatesan 1994 John R. White 2006 Susan L. Graham Guruswami 1994 A. Joseph Turner 2007 David A. Patterson 2003 AnHai Doan 1995 Robert Aiken 2008 Telle Whitney 2004 Boaz Barak 1996 Stuart H. Zweben 2009 Edward Lazowska 2005 Ben Liblit 1997 Robert L. Ashenhurst 2010 Reinhard Wilhelm 2006 Yi-Ren Ng 1998 Peter J. Denning 2011 William A. Wulf 2007 Sergey Yekhanin 1999 Ronald Boisvert 2012 Mateo Valero 2008 Constantinos 2000 Hal Berghel 2013 Gerhard Goos Daskalakis 2001 Barbara Simons 2013 Juris Hartmanis 2009 Craig Gentry 2002 Patricia M. Ryan 2013 Jan van Leeuwen 2010 Bryan Parno 2003 Mark Scott Johnson 2014 Dame Wendy Hall 2011 Seth Cooper 2004 Richard T. Snodgrass 2015 Ron Perrott 2012 Shyamnath Gollakota 2005 Don Gotterbarn 2016 Leonard J. Shustek 2013 Sanjam Garg 2006 David S. Wise 2017 Janice Cuny 2014 Matei Zaharia 2007 Robert A. Walker 2015 Julian Shun 2008 Wayne Graves Doctoral Dissertation 2016 Haitham Hassanieh 2008 Bernard Rous Award 2017 Aviad Rubenstein 2009 Moshe Y. Vardi 1982 Charles E. Leiserson 2010 Joseph S. DeBlasi 1983 Thomas W. Reps Outstanding Contribution 2011 Calvin C. (Kelly) 1984 Manolis G.H. Katevenis to ACM Award Gotlieb 1985 John R. Ellis 1976 W. Smith Dorsey 2012 Zvi Kedem 1986 Johan Torkel Hastad 1976 Bruce W. Van Atta 2013 Donna Cappo 1986 Ketan D. Mulmuley 1978 Kathleen A. Wagner 2013 Russell Harris 1987 John Canny 1979 M. Stuart Lynn 2014 Dame Wendy Hall 1988 Mauricio Karchmer 1981 J.A.N. Lee 2015 no award given 1989 Vijay Saraswat 1982 Fred H. Harris 2016 Valerie Barr 1990 Hector Geffner 1983 Richard Austing 2017 Stephen Bourne 36 Past Recipients u u u

ACM-IEEE CS Eckert- ACM-IEEE CS Ken 2010 Joseph Mathai Mauchly Award Kennedy Award 2010 Elaine Weyuker 1979 Robert S. Barton 2009 Francine Berman 2013 Fabrizio Gagliardi 1980 Maurice V. Wilkes 2010 David J. Kuck 2013 Yunhao Liu 1981 Wesley A. Clark 2011 Susan L. Graham 2013 P.J. Narayanan 1982 C. Gordon Bell 2012 Mary Lou Soffa 2014 Mehran Sahami 1983 Tom Kilburn 2013 Jack Dongarra 2016 Gerhard Schimpf 1984 Jack B. Dennis 2014 Charles Leiserson 2016 Chris Stephenson 1985 John Cocke 2015 2017 Moshe Vardi 1986 Harvey G. Cragon 2016 William D Gropp 2018 Don Gotterbarn 1987 Gene M. Amdahl 2017 Jesús Labarta 2018 Andrew McGettrick 1988 Daniel P. Siewiorek 2018 Fabrizio Gagliardi 1989 Seymour Cray SIAM-ACM Award in 1990 Kenneth E. Batcher Computational Science ACM Athena Lecturer 1991 Burton J. Smith and Engineering (Biennial) Award* 1992 Michael J. Flynn 2003 John B. Bell 2006 Deborah Estrin 1993 David J. Kuck 2003 Phillip Colella 2007 Karen Spärck Jones 1994 James E. Thornton 2004 Achi Brandt 2008 Shafrira Goldwasser 1995 John Crawford 2007 Chi-Wang Shu 2009 Susan Eggers 1996 Yale Patt 2009 2010 Mary Jane Irwin 1997 Robert Tomasulo 2011 J. Tinsley Oden 2011 Judith S. Olson 1998 Tadashi Watanabe 2013 Linda Petzold 2012 1999 James E. Smith 2015 Sataish Balay 2013 Katherine Yelick 2000 Edward Davidson 2015 Jed Brown 2014 Susan Dumais 2001 John Hennessy 2015 William Gropp 2015 Jennifer Widom 2002 B. Ramakrishna (Bob) 2015 Matthew Knepley 2016 Jennifer Rexford Rau 2015 Lois Curfman McInnes 2017 Lydia E. Kavraki 2003 Joseph A. (Josh) Fisher 2015 Barry Smith 2018 Andrea Goldsmith 2004 Frederick P. Brooks, Jr. 2015 Hong Zhang * Formerly the ACM-W Athena 2005 Robert P. Colwell 2017 Thomas J. R. Hughes Lecturer Award 2006 James Pomerene 2007 Mateo Valero ACM Presidential Award 2008 David A. Patterson 1985 Robert E. Kahn 2009 Joel Emer 1987 Kent Curtis 2010 William Dally 1998 John Gage 2011 Gurindar Sohi 2002 Calvin C. Gotlieb 2012 Algirdas Avizienis 2006 Andreas Bechtolsheim 2013 James Goodman 2006 Janice E. Cuny 2014 Trevor Mudge 2006 Edward Lazowska 2015 Norman Jouppi 2007 Eugene Spafford 2016 Uri Weiser 2008 Stephen R. Bourne 2017 Charles P. “Chuck” 2008 Patricia M. Ryan Thacker 2008 Barbara Ryder 2018 Susan Eggers 2008 Moshe Vardi 37 ACM Fellows u u u

Martin Abadi Krste Asanovic* Joel S. Birnbaum Serge Abiteboul N Asokan* Dines Bjorner Gregory Abowd Mikhail Atallah Stephen Blackburn Jacob Abraham Hagit Attiya Jose A. Blakeley Paul W. Abrahams Marc Auslander Michael W. Blasgen Samson Abramsky Richard H. Austing David M. Blei David A. Abramson Ozalp Babaoglu Guy Blelloch Mark S. Ackerman David F. Bacon William Richards Adrion Ronald M. Baecker Gregor V. Bochmann Sarita Adve Jean-Loup E. Baer Rastislav Bodik* Vikram Adve Ricardo A. Baeza-Yates Barry Boehm Foto Afrati Victor Bahl Hans Boehm Pankaj Agarwal Chandrajit L. Bajaj David R. Boggs Anant Agarwal Ruzena R. Bajcsy Shahid H. Bokhari Charu Chandra Aggarwal Hari Balakrishnan Dan Boneh Gul Agha* Grady Booch Dharma P. Agrawal Thomas J. Ball Christine L. Borgman Vishwani D. Agrawal Prithviraj Banerjee Lorraine Borman Rakesh Agrawal Utpal Banerjee Katy Borner* Divyakant Agrawal Paul Barford Alan H. Borning Alfred V. Aho Paul Barham* Narendra Ahuja Alan H. Barr Bella Bose Robert Aiken Luiz Andre Barroso Stephen Bourne Alex Aiken Peter L. Bartlett* Craig Boutilier Anastasia Ailamaki Victor Basili Ronald J. Brachman Kurt B. Akeley David Basin* Robert T. Braden Ian F. Akyildiz Kenneth E. Batcher Charles L. Bradshaw Catriel Beeri David H. Brandin Eric Allender Elizabeth M. Belding* Richard P. Brent C. Gordon Bell Eric A. Brewer Gustavo Alonso Mihir Bellare Daniel S. Bricklin Rajeev Alur Luca Benini Andrei Broder Lorenzo Alvisi Carla Brodley Nancy M. Amato Hal Berghel Frederick Brooks Mostafa Ammar Francine Berman Rodney A. Brooks Thomas Anderson Philip A. Bernstein Douglas K. Brotz James H. Anderson Elisa Bertino James C. Browne Gregory R. Andrews Vijay P. Bhatkar Amy S. Bruckman* Andrew W. Appel Laxmi Bhuyan Randal E. Bryant Lars Arge Ricardo Bianchini Janis A. Bubenko Sanjeev Arora Alan W. Biermann Edouard Bugnion Arvind Arvind Lars Birkedal Alan Bundy Tetsuo Asano Ken Birman Peter Buneman

38 ACM Fellows u u u

Douglas C. Burger Dorin Comaniciu Richard Demillo Margaret Burnett Douglas E. Comer James Demmel Richard R. Burton Anne Condon Xiaotie Deng William A.S. Buxton Jason Cong Peter J. Denning Jin-Yi Cai Robert Constable Dorothy E. Denning Jan Camenisch* Larry Constantine Tracy Camp Rob Cook Narsingh Deo Stuart K. Card Perry Cook L. Peter Deutsch Luca Cardelli Stephen A. Cook Srinivas Devadas Michael J Carey Keith D. Cooper Premkumar Devanbu* Loren C. Carpenter Fernando Corbato David DeWitt John Carroll Ingemar J. Cox Tamal Dey* Robert S. Cartwright Harvey G. Cragon Inderjit Dhillon Justine Cassell Lorrie Faith Cranor Thomas G. Dietterich Bruce Croft David Dill Rick Cattell Mark Crovella Christophe Diot Vinton Cerf Jon Crowcroft David P. Dobkin Stefano Ceri David Culler George Dodd Krishnendu Chakrabarty Ron Cytron Donald Chamberlin Mary P. Czerwinski Bruce R. Donald B. Chandrasekaran Michael D. Dahlin Jack Dongarra Naehyuck Chang Nell B. Dale Paul Dourish Shih Fu Chang William Dally Rodney Downey Surajit Chaudhuri Adnan Darwiche* Susan Dray Jennifer Chayes Thomas A. D’Auria Larry Druffel Bernard Chazelle Susan B. Davidson Allison Druin Ramalingam Chellappa Jack Davidson Michel Dubois Peter P. Chen Bruce Davie Susan T. Dumais Ming-Syan Chen Gordon B. Davis Karen Duncan Peter Chen Larry S. Davis Fredo Durand Hsinchun Chen Timothy Alden Davis Nikil D. Dutt Andrew A. Chien Umeshwar Dayal Sandhya Dwarkadas* Imrich Chlamtac Giuseppe De Giacomo Alok Choudhary Carlos J. P. De Lucena Carl Ebeling David D. Clark Jeffrey A. Dean Susan Eggers Lori Clarke Thomas L. Dean Amr El Abbadi Edmund Clarke Joseph S. DeBlasi Faith Ellen Kenneth Clarkson Chip Elliott Coffman Thomas DeFanti Clarence A. Ellis Michael F. Cohen Andre M. Dehon* Carla S. Ellis Edith Cohen Johan DeKleer Ahmed Elmagarmid Richard J. Cole Erik Demaine Joel Emer George E. Collins Giovanni DeMicheli Jose L. Encarnacao

39 ACM Fellows u u u

Gerald L. Engel Michael Franz James Goodman Erwin Engeler Herbert Freeman Michael T. Goodrich David Eppstein Peter A. Freeman James Gosling Thomas D. Erickson William Freeman Allan Gottlieb Michael D. Ernst Juliana Freire Georg Gottlob John H. Esbin Ophir Frieder Ramesh Govindan Deborah Estrin Frank Friedman Venu Govindaraju Henry Fuchs Ambuj Goyal Kevin Fall W. Kent Fuchs Susan L. Graham Christos Faloutsos Richard M. Fujimoto Robert M. Graham Babak Falsafi Thomas Funkhouser* Ronald L. Graham George Furnas Cordell Green David J. Farber Harold N. Gabow Donald Greenberg Richard J. Fateman Richard Gabriel Albert G. Greenberg Usama M. Fayyad Saul Greenberg Nick Feamster Guang Gao Irene Greif Joan Feigenbaum Lixin Gao David Gries Edward A. Feigenbaum Wen Gao Eric Grimson Steven Feiner* J.J. Garcia-Luna-Aceves Martin Grohe Stuart Feldman Hector Garcia-Molina William D. Gropp Matthias Felleisen Michael R. Garey Markus Gross Edward W. Felten Simson L. Garfinkel Ph.D. Robert L. Grossman Tse-Yun Feng David Garlan Barbara J. Grosz Jeanne Ferrante Minos Garofalakis* David Paul Grove Domenico Ferrari Charles W. Gear Jonathan Grudin Tim Finin* Johannes Gehrke Orna Grumberg Adam Finkelstein Erol Gelenbe Roch Guerin Michael J. Fischer Charles M. Geschke Gerhard Fischer Carlo Ghezzi Ramanathan Guha Kathleen S. Fisher Phillip B. Gibbons Leonidas Guibas Jason Flinn Garth A. Gibson Baining Guo Sally J. Floyd David K. Gifford Gopal Krishna Gupta Michael J. Flynn Yolanda Gil Rajiv Gupta James D. Foley Juan E. Gilbert* Manish Gupta Kenneth Forbus Lee Giles Rajesh Gupta David Forsyth Myron Ginsberg Ph.D. Aarti Gupta Robert L. Glass Yuri Gurevich Ian T. Foster Michael X. Goemans Venkatesan Guruswami Geoffrey Fox Adele Goldberg Edward Alan Fox Andrew V. Goldberg Dennis J. Frailey Shafi Goldwasser Mark Guzdial Michael J. Franklin Carla Gomes Adolfo Guzman Robert M. Frankston John B. Goodenough Laura M. Haas

40 ACM Fellows u u u

Peter Haas Jessica K Hodgins* Neil Jones Donald J. Haderle Urs Hoelzle Michael I. Jordan Gregory Hager Lance Hoffman Lance Aravind K. Joshi Brent T. Hailpern Gerard J. Holzmann Norman Jouppi Mohammad Hajiaghayi* John E. Hopcroft Frans Kaashoek Alon Yitzchak Halevy Hugues Hoppe Dame Wendy Hall Mark A. Horowitz Robert E. Kahn Dan Halperin* Eric Horvitz Andrew Kahng Charles H. House Laxmikant Kale Jiawei Han Erich L. Kaltofen Steven Michael Hand Jean-Pierre Hubaux Takeo Kanade Paul Hudak Abraham Kandel Vicki Hanson John Hughes* Sung Mo Kang Mor Harchol-Balter Richard Hull Sampath Kumar Kannan David Harel Harry D. Huskey Ravi Kannan Jayant R. Haritsa Daniel Huttenlocher Ronald M. Kaplan Robert Harper Wen-Mei Hwu David Karger Michael A. Harrison Toshihide Ibaraki Sidney Karin Peter Hart Oscar Ibarra Juris Hartmanis Howard J. Karloff Johan Håstad* Piotr Indyk Richard Karp John P. Hayes Yannis Ioannidis David J. Kasik Tian He* Mary Jane Irwin Anthony C. Hearn Charles Lee Isbell Jr* Dina Katabi Marti Hearst Sitharama Iyengar Randy H. Katz Michael T. Heath Ravishankar Iyer Arie E. Kaufman David Heckerman Daniel Jackson Henry A. Kautz Philip Heidelberger Robert J.K. Jacob Lydia Kavraki Wendi Beth Heinzelman* Jeffrey Jaffe Alan Kay Gernot Heiser H. V. Jagadish Michael Kearns Joseph M. Hellerstein Farnam Jahanian Stephen Keckler James Hendler Raj Jain Zvi Kedem Laurie J. Hendren Anil K. Jain Kimberly Keeton* John L. Hennessy Ramesh C. Jain Wendy A. Kellogg Thomas A. Henzinger Joseph F. Jaja Richard A. Kemmerer Monika Henzinger Matthias Jarke Stephen T. Kent Christian S. Jensen Anne-Marie Kermarrec John Hershberger Niraj Jha Angelos Dennis Keromytis Aaron Hertzmann* Somesh Jha Martin Kersten Anthony Hey Tao Jiang Srinivasan Keshav Mark Hill Thorsten Joachims Carl Kesselman William Daniel Hillis Cliff B. Jones Peter B. Key Julia Hirschberg Anita K. Jones Sanjeev Khanna*

41 ACM Fellows u u u

Gregor Kiczales Axel Van Lamsweerde C.L. Liu Richard B. Kieburtz Susan Landau Yunhao Liu Sara Kiesler James Landay Bing Liu Won Kim Lawrence H. Landweber Huan Liu* Valerie King Per-Ake Larson Gabriel H. Loh Scott Kirkpatrick James Larus David B. Lomet Masaru Kitsuregawa John Launchbury Raymond A. Lorie Maria Klawe Stephen S. Lavenberg Donald W. Loveland Philip N. Klein H. W. Lawson Paul G. Lowney Jon Kleinberg Edward Lazowska Tomas Lozano-Perez Douglas Lea Michael George Luby John C. Klensin John A.N. Lee John Chi-Shing Lui Edward Knightly Der-Tsai Lee Jiebo Luo* Craig Knoblock Ruby B. Lee Joseph Bryan Lyles Donald E. Knuth Peter Lee Nancy Lynch Phokion Kolaitis Insup Lee Clifford A. Lynch Joseph A. Konstan Wenke Lee M. Stuart Lynn Henry F. Korth Lillian Lee* Richard F. Lyon Sambasiva Kosaraju Tom Leighton* Professor Yi Ma Donald Kossmann K. Rustan M. Leino Yoelle Maarek Robert A. Kowalski Charles E. Leiserson David MacQueen Dexter Kozen Maurizio Lenzerini Bruce M. Maggs* Christoforos Kozyrakis Peter Magnusson Jeffrey Kramer Michael E. Lesk Sarit Kraus Nancy Leveson Herbert Maisel Robert Kraut Roy Levin Jitendra Malik Hans-Peter Kriegel Marc Levoy Sharad Malik David J. Kuck Henry M. Levy Dahlia Malkhi Vipin Kumar Philip M. Lewis Bangalore S. Manjunath* Panganamala R. Kumar Fei-Fei Li* Zohar Manna Tei-Wei Kuo Kai Li Christopher Manning James Kurose Li Erran Li Dinesh Manocha Thomas E. Kurtz Ming Li Yishay Mansour Leonid Libkin Madhav Marathe Yi-Bing Lin C. Dianne Martin Richard E. Ladner Ming C. Lin Margaret Martonosi John E. Laird Chih-Jen Lin Keith Marzullo T. V. Lakshman Bruce Lindsay Larry M. Masinter S. Lakshmivarahan Simon S. Lam Barbara Liskov Satoshi Matsuoka Monica Lam Joyce Currie Little CCP Ueli M. Maurer Leslie Lamport Michael Littman* Nelson Max Butler W. Lampson Witold Litwin Andrew K. Mccallum

42 ACM Fellows u u u

Edward McCluskey Shubu Mukherjee David Padua Patrick McDaniel Ian Munro Krishna Palem Paul R. McJones Richard R. Muntz Cherri M. Pancake Kathleen McKeown Gail C. Murphy Nick McKeown S. Muthukrishnan Donn B. Parker Kathryn S. McKinley Onur Mutlu David Parkes* Kurt Mehlhorn Andrew Myers David Lorge Parnas John Mellor-Crummey Brad A. Myers Craig Partridge Daniel Menasce Gurudatta Parulkar* Albert R. Meyer Elizabeth D. Mynatt Janak H. Patel Bertrand Meyer Klara Nahrstedt Jignesh M. Patel Silvio Micali Richard E. Nance Shwetak N. Patel Raymond Miller Vijaykrishnan Narayanan Yale Patt Barton P. Miller Dana Nau David Patterson Gary L. Miller Jeffrey F. Naughton Lawrence C. Paulson Renee J. Miller Shamkant Navathe Vern Paxson Victor Miller Peter G. Neumann Judea Pearl David L. Mills Monroe Newborn Jian Pei A. J. Milner Alan Newell David Peleg Tova Milo David M. Nicol Fernando Pereira Jack Minker Jurg Nievergelt Bud Mishra Takao Nishizeki Adrian Perrig Jayadev Misra Donald A. Norman Ron Perrott Vishal Misra* Larry L. Peterson John C. Mitchell Susan H. Nycum Linda Petzold Joseph Mitchell Martin Odersky Pavel Pevzner Subhasish Mitra Anthony Oettinger Simon L. Peyton-Jones Dianne Prost O’Leary Frank Pfenning Nuria Oliver Benjamin Pierce Jeffrey C. Mogul Dan R. Olsen Keshav K. Pingali C. Mohan Gary M. Olson Nicholas Pippenger Raymond Mooney Judith S. Olson Hamid Pirahesh J. Strother Moore Oyekunle Olukotun Toniann Pitassi* Thomas Moran Beng Chin Ooi Andrew M. Pitts James H. Morris Joseph O’Rourke Ira Pohl Robert Morris Leon J. Osterweil Martha Pollack Greg Morrisett John Ousterhout William B. Poucher Joel Moses Sharon Oviatt Balaji Prabhakar Andreas Moshovos Susan S. Owicki Dhiraj Pradhan Eliot Moss Zehra Ozsoyoglu Viktor Prasanna Todd C. Mowry M. Tamer Ozsu Vaughan Ronald Pratt Trevor Mudge Janos Pach Bryan Preas Frank Mueller* Venkata Padmanabhan Franco P. Preparata

43 ACM Fellows u u u

John Mark Pullen David S. Rosenblum Paul Schneck Lili Qiu* Mendel Rosenblum Fred B. Schneider Tal Rabin Daniel J. Rosenkrantz Bernhard Schoelkopf Roy F. Rada Keith Ross Robert Schreiber Dragomir R. Radev Dan Roth Michael D. Schroeder Prabhakar Raghavan Matthew Roughan* Peter Schroeder Sriram Rajamani Nick Roussopoulos Anthony Ralston Lawrence A. Rowe Assaf Schuster K. K. Ramakrishnan Ronitt Rubinfeld Dana S. Scott Raghu Ramakrishnan Yong Rui Michael Scott Ganesan Ramalingam Steven Scott Ravi Ramamoorthi Michael Rung-Tsong Lyu Robert Sedgewick Krithivasan Ramamritham Daniela Rus Steven M. Seitz Holly E. Rushmeier Patricia G. Selinger Venkat P. Rangan Stuart Russell Abigail Sellen Parthasarathy Ranganathan Rob A. Rutenbar Timoleon Sellis Satish Rao Barbara Gershon Ryder Alan Selman T.R.N. Rao Krishan K. Sabnani Bart Selman Louiqa Raschid Mooly Sagiv Margo Seltzer Rajeev Ramnarain Rastogi Amit Sahai* Sudipta Sengupta Raj Reddy Sartaj K. Sahni Carlo H. Sequin Daniel A. Reed Karem Sakallah Ravi Sethi John H. Reif Michael Saks Andre Seznec Edward M. Reingold David H. Salesin Lui Sha Omer Reingold Ahmed Sameh Michael Reiter Hanan Samet Thomas Reps Jean E. Sammet Dennis E. Shasha Aristides Requicha Pamela Samuelson Jennifer Rexford William H. Sanders Alan C. Shaw John Rice Tuomas Sandholm Mary M. Shaw John T. Richards Ravinderpal S. Sandhu Scott J. Shenker Martin Rinard Alberto L. Sangiovanni- Stuart Shieber Ronald L. Rivest Vincentelli Kyuseok Shim Eric S. Roberts John Sanguinetti Kang G. Shin George G. Robertson Sachin S. Sapatnekar David Shmoys S. E. Robertson Vivek Sarkar Ben Shneiderman Tom Rodden Mahadev Satyanarayanan Yoav Shoham Pablo Rodriguez John E. Savage Harry Heung-Yeung Shum Yvonne Rogers Stefan Savage R. K. Shyamasundar Dieter Rombach Richard Schantz Howard Siegel Timothy Roscoe Hans-Joerg Schek Daniel Siewiorek Jonathan Rose Richard D. Schlichting Joseph Sifakis Arnold Rosenberg Robert B. Schnabel Abraham Silberschatz

44 ACM Fellows u u u

Barbara B. Simons Subhash Suri Patrick Valduriez Gerald Sussman Mateo Valero Ivan Sutherland Leslie G. Valiant Michael F. Sipser Norihisa Suzuki Andries van Dam Anand Sivasubramaniam Paul Syverson Axel van Lamsweerde Kevin Skadron Richard Szeliski Paul van Oorschot Martha Sloan Edward A. Taft Robbert van Renesse Donald R. Slutz C. J. Van Rijsbergen Alan Smith Moshe Y. Vardi Burton Smith Chung Jen Tan Alexander Vardy Padhraic Smyth Wang-Chiew Tan George Varghese Marc Snir Andrew S. Tanenbaum Umesh Vazirani Richard Snodgrass Val Tannen Vijay Vazirani Alex C. Snoeren* Eva Tardos Manuela Veloso Larry Snyder Robert E. Tarjan Santosh Vempala Mary Lou Soffa Richard N. Taylor Baba C. Vemuri Gurindar S. Sohi Valerie E. Taylor Paulo J. Verissimo Diane L. Souvaine Shang-Hua Teng Mary K. Vernon Eugene H. Spafford Douglas B. Terry Martin Vetterli Alfred Z Spector Demetri Terzopoulos Victor Vianu Daniel A. Spielman Gerald Tesauro* Uzi Vishkin Mark S. Squillante Chandramohan A. Thekkath Jeffrey S. Vitter Ramakrishnan Srikant Donald E. Thomas Geoffrey M. Voelker Aravind Srinivasan Mikkel Thorup Ellen M. Voorhees* Divesh Srivastava Bhavani Thuraisingham* Philip Wadler Mani B. Srivastava Walter F. Tichy Benjamin W. Wah John A. Stankovic Carlo Tomasi Mitchell Wand Richard E. Stearns Frank Tompa Roy Want Thomas B. Steel, Jr. Koji Torii Guy L. Steele Josep Torrellas Kenneth Steiglitz Donald F. Towsley David S. Warren Irving L. Traiger Anthony I. Wasserman Ralf Steinmetz Stephen Trimberger Stuart Wecker Per O. Stenstrom Gene Tsudik Ben Wegbreit Ion Stoica Allen B. Tucker Mark Wegman Harold Stone Dean M. Tullsen Peter Wegner Michael Stonebraker Albert J. Turner Gerhard Weikum William D. Strecker Jonathan Turner Fred W. Weingarten Bjarne Stroustrup Jeffrey D. Ullman Uri C. Weiser Dan Suciu David M. Ungar Daniel Weld Madhu Sudan Eli Upfal Michael Wellman S. Sudarshan Salil Vadhan* Emmerich Welzl Amin Vahdat David Wetherall

45 ACM Fellows u u u

Elaine Weyuker Ramin Zabih Kyu-Young Whang Frank Kenneth Zadeck John R. White Paolo Zanella Steve Whittaker Pamela Zave J. Turner Whitted Stanley Zdonik Peter Widmayer Ellen Zegura Jennifer Widom Andreas Zeller Gio Wiederhold Chengxiang Zhai Avi Wigderson* Shumin Zhai Reinhard Wilhelm HongJiang Zhang John Wilkes Hui Zhang Yorick Wilks Lixia Zhang Robin Williams Xiaodong Zhang David P. Williamson Zhengyou Zhang Walter Willinger Aidong Zhang Jeannette M. Wing Yuanyuan Zhou Shmuel Winograd Zhi-Hua Zhou Terry Winograd David Zuckerman Marianne Winslett Willy E. Zwaenepoel Niklaus E. Wirth Stuart Zweben David S. Wise Ian Witten *2018 inductees Alexander L. Wolf Marilyn C. Wolf Ouri Wolfson Seymour J. Wolfson Alec Wolman* Chak-Kuen Wong Limsoon Wong Martin Wong David A. Wood Michael Wooldridge William A. Wulf Qiang Yang Andrew C. Yao Kathy Yelick Akinori Yonezawa Bryant W. York Paul Young Marshall C. Yovits Philip S. Yu Moti Yung

46 In Memoriam ACM Fellows u u u

James M. Adams Watts S. Humphrey Franz L. Alt David S. Johnson Robert L. Ashenhurst Joshua Lederberg William F. Atchison Meir M. Lehman Roger Bate Kenneth W. Kennedy Anita Borg John McCarthy Gaetano Borriello Daniel D. McCracken Yuri Breitbart Robin Milner Richard Canning Walter M. Carlson Roger Needham Edgar Codd David Notkin Daniel Couger Randy Pausch Edsger Dijkstra Amir Pnueli Stephen Dunwell Bob Rau (B. Ramakrishna Rau) J. Presper Eckert John T. Riedl Raymond Reiter Bob O. Evans John Reynolds Aaron Finerman Azriel Rosenfeld Robert Floyd Gerard Salton John Gannon Kenneth Sevcik Bernard Galler Herbert Simon Mario Gerla Calvin C. (Kelly) Gotlieb Robert W. Taylor James N. (Jim) Gray Charles P. Thacker Herbert R.J. Grosch Joseph Traub Carl Hammer Stamatis Vassiliadis Richard Hamming Chris S. Wallace Fred Harris David L. Waltz Mary Jean Harrold Willis H. Ware Bertram Herzog Eric A. Weiss Harold Highland David J. Wheeler James J. Horning Robert Wilensky Thomas E. Hull Maurice V. Wilkes J.N. P. Hume L.A. Zadeh

47