Latest from ACM Awards
2023 ACM - IEEE CS Eckert-Mauchly Award
ACM and IEEE Computer Society named Kunle Olukotun, a Professor at Stanford University, as the recipient of the ACM-IEEE CS Eckert-Mauchly Award for contributions and leadership in the development of parallel systems, especially multicore and multithreaded processors.
In the early 1990s, Olukotun became a leading designer of a new kind of microprocessor known as a "chip multiprocessor"—today called a "multicore processor." His work demonstrated the performance advantages of multicore processors over the existing microprocessor designs at the time. He included these ideas in a landmark paper presented at the ACM Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 1996), entitled "The Case for a Single-Chip Multiprocessor." This paper received the ASPLOS Most Influential Paper Award 15 years later. Olukotun’s multicore design eventually became the industry standard.
His insights on multicore processors and thread-level speculation research laid the foundation for Olukotun's work on fine-grained multithreading, a technique which improves the overall efficiency of computer processors (CPUs). These designs were the basis for Afara WebSystems, a server company Olukotun founded that was eventually acquired by Sun (and later Oracle). Sun Microsystems used Olukotun’s designs as a foundation for its Niagara chips, which were recognized for their outstanding performance and energy efficiency. The Niagara family of chips are now used in all of Oracle's SPARC-based servers.
Later, with Christos Kozyrakis and others, Olukotun was a leader in designing the Transactional Coherence and Consistency (TCC) approach to simplify parallel programming. He was a co-author of the paper, “Transactional Memory Coherence and Consistency,” which was presented at the 2004 International Symposium on Computer Architecture (ISCA) and received the Most Influential Paper Award in 2019. Olukotun is one of only two researchers who have received the Most Influential Paper Award from both ASPLOS and ISCA.
ACM and IEEE Computer Society co-sponsor the Eckert-Mauchly Award, which was initiated in 1979. It recognizes contributions to computer and digital systems architecture and comes with a $5,000 prize. The award was named for John Presper Eckert and John William Mauchly, who collaborated on the design and construction of the Electronic Numerical Integrator and Computer (ENIAC), the pioneering large-scale electronic computing machine, which was completed in 1947.
He will be formally recognized with the Eckert-Mauchly Award during an awards luncheon on Tuesday, June 20th at the International Symposium on Computer Architecture (ISCA 2023).
2022 ACM Doctoral Dissertation Award Honorable Mention
Aayush Jain is the recipient of the 2022 ACM Doctoral Dissertation Award for his dissertation “Indistinguishability Obfuscation From Well-Studied Assumptions.” Honorable Mentions for the 2022 ACM Doctoral Dissertation Award go to Alane Suhr whose PhD was earned at Cornell University, and Conrad Watt, who earned his PhD at the University of Cambridge.
Suhr’s dissertation, “Reasoning and Learning in Interactive Natural Language Systems,” was recognized for formulating and designing algorithms for continual language learning in collaborative interactions, and designing methods to reason about context-dependent language meaning. Suhr’s dissertation made transformative contributions in several areas of Natural Language Processing (NLP).
Suhr is an Assistant Professor at the University of California, Berkeley. Suhr’s research is focused on natural language processing, machine learning, and computer vision. Suhr received a BS in Computer Science and Engineering from Ohio State University, as well as a PhD in Computer Science from Cornell University.
2022 ACM Doctoral Dissertation Award
Aayush Jain is the recipient of the 2022 ACM Doctoral Dissertation Award for his dissertation “Indistinguishability Obfuscation From Well-Studied Assumptions,” which established the feasibility of mathematically rigorous software obfuscation from well-studied hardness conjectures.
The central goal of software obfuscation is to transform source code to make it unintelligible without altering what it computes. Additional conditions may be added, such as requiring the transformed code to perform similarly, or even indistinguishably, from the original. As a software security mechanism, it is essential that software obfuscation have a firm mathematical foundation.
The mathematical object that Jain’s thesis constructs, indistinguishability obfuscation, is considered a theoretical “master tool” in the context of cryptography—not only in helping achieve long-desired cryptographic goals such as functional encryption, but also in expanding the scope of the field of cryptography itself. For example, indistinguishability obfuscation aids in goals related to software security that were previously entirely in the domain of software engineering.
Jain’s dissertation was awarded the Best Paper Award at the ACM Symposium on Theory of Computing (STOC 2021) and was the subject of an article in Quanta Magazine titled “Scientists Achieve Crown Jewel of Cryptography.”
Jain is an Assistant Professor at Carnegie Mellon University. He is interested in theoretical and applied cryptography and its connections with related areas of theoretical computer science. Jain received a BTech in Electrical Engineering, and an MTech in Information and Communication Technology from the Indian Institute of Technology, Delhi. He received a PhD in Computer Science from the University of California, Los Angeles.
Honorable Mentions
Honorable Mentions for the 2022 ACM Doctoral Dissertation Award go to Alane Suhr whose PhD was earned at Cornell University, and Conrad Watt, who earned his PhD at the University of Cambridge.
Suhr’s dissertation, “Reasoning and Learning in Interactive Natural Language Systems,” was recognized for formulating and designing algorithms for continual language learning in collaborative interactions, and designing methods to reason about context-dependent language meaning. Suhr’s dissertation made transformative contributions in several areas of Natural Language Processing (NLP).
Suhr is an Assistant Professor at the University of California, Berkeley. Suhr’s research is focused on natural language processing, machine learning, and computer vision. Suhr received a BS in Computer Science and Engineering from Ohio State University, as well as a PhD in Computer Science from Cornell University.
Watt’s dissertation, “Mechanising and Evolving the Formal Semantics of WebAssembly: the Web’s New Low-Level Language,” establishes a mechanized semantics for WebAssembly and defines its concurrency model. The model will underpin current and future web engineering. His dissertation is considered a stand-out example of developing and using fully rigorous mechanized semantics to directly affect and improve the designs of major pieces of our industrial computational infrastructure.
Watt is a Research Fellow (postdoctoral) at the University of Cambridge, where he focuses on mechanized formal verification, concurrency, and the WebAssembly language. He received a MEng in Computer Science from Imperial College London and a PhD in Computer Science from the University of Cambridge.
2022 ACM Doctoral Dissertation Award
Aayush Jain is the recipient of the 2022 ACM Doctoral Dissertation Award for his dissertation “Indistinguishability Obfuscation From Well-Studied Assumptions.” Honorable Mentions for the 2022 ACM Doctoral Dissertation Award go to Alane Suhr whose PhD was earned at Cornell University, and Conrad Watt, who earned his PhD at the University of Cambridge.
Jain's dissertation established the feasibility of mathematically rigorous software obfuscation from well-studied hardness conjectures.The central goal of software obfuscation is to transform source code to make it unintelligible without altering what it computes. Additional conditions may be added, such as requiring the transformed code to perform similarly, or even indistinguishably, from the original. As a software security mechanism, it is essential that software obfuscation have a firm mathematical foundation.
Jain’s dissertation was awarded the Best Paper Award at the ACM Symposium on Theory of Computing (STOC 2021) and was the subject of an article in Quanta Magazine titled “Scientists Achieve Crown Jewel of Cryptography.”
Jain is an Assistant Professor at Carnegie Mellon University. He is interested in theoretical and applied cryptography and its connections with related areas of theoretical computer science. Jain received a BTech in Electrical Engineering, and an MTech in Information and Communication Technology from the Indian Institute of Technology, Delhi. He received a PhD in Computer Science from the University of California, Los Angeles.
2022 ACM Doctoral Dissertation Award Honorable Mention
Aayush Jain is the recipient of the 2022 ACM Doctoral Dissertation Award for his dissertation “Indistinguishability Obfuscation From Well-Studied Assumptions.” Honorable Mentions for the 2022 ACM Doctoral Dissertation Award go to Alane Suhr whose PhD was earned at Cornell University, and Conrad Watt, who earned his PhD at the University of Cambridge.
Watt’s dissertation, “Mechanising and Evolving the Formal Semantics of WebAssembly: The Web’s New Low-Level Language,” establishes a mechanized semantics for WebAssembly and defines its concurrency model. The model will underpin current and future web engineering. His dissertation is considered a stand-out example of developing and using fully rigorous mechanized semantics to directly affect and improve the designs of major pieces of our industrial computational infrastructure.
Watt is a Research Fellow (postdoctoral) at the University of Cambridge, where he focuses on mechanized formal verification, concurrency, and the WebAssembly language. He received a MEng in Computer Science from Imperial College London and a PhD in Computer Science from the University of Cambridge.
2022 ACM Eugene L. Lawler Award for Humanitarian Contributions Within Computer Science and Informatics
Jelani Nelson, Professor, University of California, Berkeley, receives the ACM Eugene L. Lawler Award for Humanitarian Contributions Within Computer Science and Informatics for founding and developing AddisCoder, a nonprofit organization which teaches programming to underserved students from all over Ethiopia. AddisCoder has led many students to higher education and successful careers.
In 2011, Nelson founded AddisCoder to provide a free intensive summer program for high school students in Addis Ababa, Ethiopia. The program has shown exemplary efficacy in fostering the academic and professional development of over 500 high school students. AddisCoder’s student body is 40% female and includes students from each of the 11 regions in Ethiopia, students from ethnic minorities, and students living in poverty.
Upon joining the program, many of the participating students have little or no background in programming or algorithms. In just four short weeks, the students gain significant knowledge. The program rigorously covers college-level material in algorithms such as binary search and sorting, dynamic programming, and graph exploration. Alumni have matriculated in programs at universities including Harvard, MIT, and Princeton, and some students have joined well-known companies such as Google.
Nelson has not only been an AddisCoder instructor himself, but he has recruited a large team of teachers and raised money from government, industry, and academic institutions to fund the initiative. He recently expanded the program to Jamaica.
2022 ACM Karl V. Karlstrom Outstanding Educator Award
Michael E. Caspersen, Managing Director of It-vest and Honorary Professor, Aarhus University, receives the Karl V. Karlstrom Outstanding Educator Award for his contributions to computer science education research, his policy work at the national and international levels to advance the teaching of informatics for all, and his outstanding service to the computing education community.
Caspersen has authored almost 70 papers on computer science education. He is also co-author of a two-volume textbook on programming, and co-editor of Reflections on the Teaching of Programming—published by Springer-Verlag in 2008—which is a novel and innovative collection of contributions that address all aspects of teaching programming.
Since 2008, Caspersen has been heavily involved in the development of the new informatics subjects for Danish high schools and associated teacher education. By personal invitation of the Minister of Education he has served in pivotal roles as chair and co-chair of groups developing an informatics curriculum for primary and lower secondary education.
He is co-founder and chair of the steering committee for the Informatics for All coalition, Co-Chair of Informatics Europe's permanent education research working group, and was Co-Chair of the Committee on European Computing Education established jointly by ACM Europe and Informatics Europe. Recently, he also served as special advisor on digital education and skills to the Executive Vice President of the European Commission.
2022 ACM Distinguished Service Award
Ramesh Jain, Professor, University of California, Irvine, receives the ACM Distinguished Service Award for establishing the ACM Special Interest Group on Multimedia Systems (SIGMM), and for outstanding leadership and sustained services to ACM and the computing community for the past four decades.
In 1993, Jain organized the first NSF workshop on visual information management systems. He was one of the organizing committee members of the first ACM Multimedia conference and gave a tutorial at that conference, which was held in conjunction with ACM SIGGraph that year. All these activities paved the way for the successful establishment of ACM SIGMM.
Since then, Jain has remained an active contributor to ACM Multimedia Computing. He has been on the organizing committees of almost all the past 25 ACM Multimedia Conferences. Additionally, he organized special issues of Communications of the ACM on visual computing, served as founding Editor-in-Chief of IEEE Multimedia magazine, organized numerous workshops, served on editorial boards of almost all multimedia-related journals, and helped SIGMM in many ways including chairing it from 2003 to 2007.
For his contributions and service, Jain has received numerous awards and has been recognized as a Fellow of the Association for Computing Machinery (ACM), the American Association for the Advancement of Science (AAAS), Association for the Advancement of Artificial Intelligence (AAAI), Institute of Electrical and Electronics Engineers (IEEE), SPIE (an international society for optics and photonics), and the International Association of Pattern Recognition (IAPR).
2022 Outstanding Contribution to ACM Award
Joseph A. Konstan, Professor, University of Minnesota, receives the Outstanding Contribution to ACM Award for 25 years of dedicated service and leadership in support of ACM's mission and operation, and the advancement of ACM's research, education, and practitioner communities.
Konstan has been involved in ACM’s activities for over 25 years: participating in, developing, and nurturing new technical areas, serving on key task forces and committees, and leading several of ACM’s major boards and working groups. He has demonstrated a volunteer spirit that has been an example and inspiration for others who have had the opportunity to work with him. His long involvement in and deep insight into ACM’s operation and governance has made him a trusted source of advice for ACM’s elected leadership, volunteers, and staff.
Konstan’s service started in 1994 within ACM SIGCHI’s conferences, eventually becoming SIGCHI’s President (2003-2006) and Chair of the SIG Governing Board (2006-2008), and as a member of ACM’s Executive Committee. During that time, he served on a task force on the future of ACM-W.
As Co-Chair of the Publications Board (2013-2022), Konstan served on ACM’s Extended Executive Committee, providing insightful advice and recommendations to the elected leadership. In that regard, he chaired ACM’s Strategic Planning Workgroup (2013–2014), which set the priorities and roadmap for ACM’s continued growth and development. He also worked on the task force on the future of the Journal of the ACM (JACM) and chaired the task force on ACM’s future directions in Health and Medical Informatics.
Konstan is hailed by colleagues for his efforts to bring people together to make the best decisions for ACM and the communities it serves. His many contributions to ACM have been, and no doubt will continue to be, outstanding.
2022-2023 ACM/CSTA Cutler-Bell Prize
ACM and the Computer Science Teachers Association (CSTA) selected four high school students from among a pool of graduating high school seniors throughout the US for the ACM/CSTA Cutler-Bell Prize in High School Computing. Eligible students applied for the award by submitting a project/artifact that engages modern technology and computer science. A panel of judges selected the recipients based on the ingenuity, complexity, relevancy, and originality of their projects.
The Cutler-Bell Prize promotes the field of computer science and empowers students to pursue computing challenges beyond the traditional classroom environment. In 2015, David Cutler and Gordon Bell established the award. Cutler is a software engineer, designer, and developer of several operating systems at Digital Equipment Corporation. Bell, an electrical engineer, is researcher emeritus at Microsoft Research.
Each Cutler-Bell Prize recipient receives a $10,000 cash prize. The prize amount is sent to the financial aid office of the institution the student will be attending next year and is then put toward each student’s tuition or disbursed.
These projects illustrate the diverse applications being developed by the next generation of computer scientists.
Okezue Bell, Moravian Academy, Bethlehem, Pennsylvania
With only 1% of the computer science space being Black, the innovation landscape within the field is reflective of that. There are few race- and class-responsible solutions built effectively for communities that have been historically discriminated against. “Fidutam” is a novel, putative first effort to foster a needs-responsive approach to providing financial accounts for unbanked populations. Bell uses state-of-the-art encryption to ensure the safety of user’s data, creating private signatures using a selfie, name and personal data, and location. The solution focuses on financial documentation, which is proven to be the biggest barrier to entry for the unbanked, Bell created Fidutam not only to provide financial access to unbanked individuals but to develop a platform to enable the upward mobilization of the global poor to revive their community’s economy. This increases their share in the global development landscape of computer science and also encourages and enables those whose voices are often underrepresented in CS to penetrate or quality control the field to ensure the existing products have utility in their milieus.
Nathan Elias, Liberal Arts and Sciences Academy, Austin, Texas
In his project, “A Novel Method for Automated Identification and Prediction of Invasive Species Using Deep Learning,” Elias developed InvasiveAI, a service that helps farmers, agricultural workers, and average citizens in the fight against invasive species. He designed an app that utilizes Artificial Intelligence and machine learning methods to accurately detect, predict, and visualize invasive species growth. Using the app, 200 unique invasive plants, wildlife, insects, and pathogens, can be identified. Elias also created a 3D image detection algorithm to identify over 75 invasive species aerially. Elias envisions that InvasiveAI will contribute to the field of computer science by expanding CS’ reach in environmental and citizen science systems, while also furthering advancements in geospatial and AI-based tracking toolkits. This project was inspired by the loss of Elias’ grandfather’s farm in Southern India to the invasive species Kariba.
Hannah Guan, BASIS San Antonio Shavano, San Antonio, Texas
Guan’s project, “Multi-Dimensional Interpretable Interaction Network (MDiiN) for Modeling Aging Heath and Mortality” was inspired by the retired military population of the city of San Antonio. She wanted to create an efficient and affordable system that would be able to diagnose and find remedies for highly pervasive age-related diseases like cancer or Alzheimer’s. Guan’s research can influence elders’ quality and equity of life worldwide. MDiiN is a computation and affordable predictive model that evaluates health risk factors for elders. It’s the first three-dimensional interaction network to uncover high-dimensional interactions among health variables during the aging process. Doctors can use MDiiN to predict the onset of age-related diseases, which would significantly increase the quality and longevity of life across the grid. It’s fast and easy to run, taking less than a second to get results. This research contributes to computer science by strengthening health equality in our society, improving global health security, and leading to tremendous public health benefits.
Sirihaasa Nallamothu, University High School, Normal, Illinois
In her project, Predicting and Identifying Relevant Features of Vasovagal Syncope in Patients with Postural Orthostatic Tachycardia Syndrome (POTS) using machine learning methods and physiological data, was inspired from a TikTok that led Nallamothu down a rabbit hole about POTS. To her surprise, there were no research studies or consumer solutions to predict syncope on real-world data, and she was determined to use her machine learning skills to predict syncopal episodes. Nallamothu is the first person to conduct an IRB research study and collect human subject field data on POTS patients in the real world using non-invasive technologies. She wrote a Python script to extract the 15-minute window signal data of heart rate, blood volumetric pressure, EDA, temperature, and accelerometer data. Nallamothu also uses the concept called “late fusion” in temporal multimodal machine learning. This research is providing a starting point for future research into real-time prediction and integration into a smartwatch, which will help millions who experience vasovagal syncope research a safe and comfortable position before fainting. After completing her research, Nallamothu plans to work toward creating a consumer product and pairing her algorithm with a smart watch.-->{C}
2022 ACM - AAAI Allen Newell Award
Bernhard Schölkopf, Max Planck Institute for Intelligent Systems and ETH Zurich, and Stuart J. Russell, University of California at Berkeley, receive the ACM - AAAI Allen Newell Award.
Schölkopf is recognized for his widely used research in machine learning, advancing both mathematical foundations and a broad range of applications in science and industry.
Schölkopf has made fundamental contributions to kernel methods and causality. His contributions to kernel PCA and kernel embeddings have advanced fundamental statistical methodology in dimensionality reduction and hypothesis testing. Professor Schölkopf and his team have advanced numerous areas of applied machine learning, including applications to astronomy, biology, computer vision, robotics, neuroscience, and cognitive science. Schölkopf’s pioneering work in causal machine learning has laid the foundation for a novel understanding of learning causal relationships from data, with implications for all areas of science.
Russell is recognized for a series of foundational contributions to Artificial Intelligence, spanning a wide range of areas such as logical and probabilistic reasoning, knowledge representation, machine learning, reinforcement learning, and the ethics of AI.
Early in his career, Russell defined and studied the concept of bounded optimality, for which he received the 1995 IJCAI Computers and Thought Award. His book, Artificial Intelligence: A Modern Approach (co-authored with Peter Norvig), is the preeminent textbook for AI. It has been used for decades to train AI students in more than 1,500 universities all over the world. Russell’s work on BLOG (Bayesian Logic) led to the creation of the NETVISA global seismic monitoring algorithm that has the capability to reliably detect and accurately localize nuclear explosions. In recent years he has also become an influential figure in addressing ethical issues in AI.
2022 ACM Software System Award
Gernot Heiser, University of New South Wales; Gerwin Klein, Proofcraft; Harvey Tuch, Google; Kevin Elphinstone, University of New South Wales; June Andronick, Proofcraft; David Cock, ETH Zurich; Philip Derrin, Qualcomm; Dhammika Elkaduwe, University of Peradeniya; Kai Engelhardt; Toby Murray, University of Melbourne; Rafal Kolanski, Proofcraft; Michael Norrish, Australian National University; Thomas Sewell, University of Cambridge; and Simon Winwood, Galois, receive the ACM Software System Award for the development of the first industrial-strength, high-performance operating system to have been the subject of a complete, mechanically-checked proof of full functional correctness.
In 2009, the Software System Awardees presented the seL4 microkernel, which became the first ever industrial-strength, general-purpose operating system with formally proved implementation correctness. In subsequent years, the team further added proofs that seL4 enforces the core security properties of integrity and confidentiality, extended the proof to the binary code of the kernel, and performed the first sound and complete worst-case execution-time analysis of a protected mode OS.
The seL4 high-assurance microkernel has fundamentally changed the research community’s perception of what formal methods can accomplish: it showed that not only is it possible to complete a formal proof of correctness and security for an industrial-strength operating system but that this can be accomplished without compromising performance or generality. The continuously maintained and growing proofs on seL4 have helped to give rise to a new discipline of proof engineering—the art of proof process modelling, effort estimation, and the systematic treatment of large-scale proofs.
2022 ACM Paris Kanellakis Theory and Practice Award
Michael Burrows, Google; Paolo Ferragina, University of Pisa; and Giovanni Manzini, University of Pisa, receive the ACM Paris Kanellakis Theory and Practice Award for inventing the BW-transform and the FM-index that opened and influenced the field of Compressed Data Structures with fundamental impact on Data Compression and Computational Biology.
In 1994, Michael Burrows and his late coauthor David Wheeler published their paper describing revolutionary data compression algorithm based on a reversible transformation of the input. This transformation, which became known as the “Burrows-Wheeler Transform” (BWT), was used as the core of the compressor bzip2. bzip2 achieved compression performance superior to the standard of the time.
A few years later, Paolo Ferragina and Giovanni Manzini showed that, by orchestrating the BWT with a new set of mathematical techniques and algorithmic tools, it became possible to build a “compressed index,” later called the FM-index. Before the FM-index, it seemed unavoidable to incur a significant space penalty for achieving efficient queries. With the FM-index, Ferragina and Manzini were able to disprove this common belief. In addition to being a theoretical breakthrough, the simplicity and effectiveness of the FM-index has made it a premier indexing choice for software tools working on large collections of unstructured data, with the most impressive applications in the field of DNA alignment and Computational Biology in general.
The introduction of the BW Transform by Burrows and Wheeler, and then the development of the FM-index by Ferragina and Manzini, have had a profound impact on the theory of algorithms and data structures with fundamental advancements—first and foremost to Data Compression and Computational Biology, but also to a number of applications in many other areas, including Databases and Information Retrieval at large.
2022 ACM Grace Murray Hopper Award
Mohammad Alizadeh, Massachusetts Institute of Technology, is the recipient of the 2022 ACM Grace Murray Hopper Award for pioneering and impactful contributions to data center networks.
Alizadeh has fundamentally advanced how data centers communicate efficiently in transporting data. One of his key contributions is the control of data center network congestion and packet loss with a groundbreaking Data Center Transport Control Protocol (DCTCP). DCTCP significantly increases performance in data center environments where state-of-the-art TCP protocols fall short.
The theoretical foundation upon which DCTCP is built and the empirical analyses, novel algorithms, and explicit congestion notification techniques it leverages enable data packets to circumvent congestion while using significantly less buffer space. In essence, DCTCP changes the way that network endpoints process congestion signals obtained from within the network, enabling traffic bursts to be tolerated better and leading to reduced transport latency, higher data throughput, and greater network utilization.
Background
Margo Seltzer is the Canada 150 Research Chair and the Cheriton Family Chair in Computer Science at the University of British Columbia. She is also the Director of the Berkman Center for Internet and Society at Harvard University.
Seltzer earned a PhD degree in Computer Science from the University of California at Berkeley, and an AB degree in Applied Mathematics from Harvard/Radcliffe College. She has authored more than 194 publications on a wide range of topics related to computer systems including systems for capturing and accessing data provenance, file systems, databases, and storage.
Her honors include receiving the UBC CS Awesome Instructor Award, the ACM SIGMOD Systems Award, the USENIX Lifetime Achievement Award, the CRA-E Undergraduate Research Mentoring Award, and the ACM Software System Award (for BerkeleyDB), among many others. She is a Fellow of ACM, the American Academy of Arts and Sciences, and the National Academy of Engineering.
2023-2024 ACM Athena Lecturer
New York, NY, April 26, 2023 – ACM, the Association for Computing Machinery, today named Margo Seltzer, a Professor at the University of British Columbia, as the 2023-2024 ACM Athena Lecturer. Seltzer is recognized for foundational research in file and storage systems, pioneering research in data provenance, impactful software contributions in Berkeley DB, and tireless dedication to service and mentoring. Initiated in 2006, the ACM Athena Lecturer Award celebrates women researchers who have made fundamental contributions to computer science.
Database Software
In 1992, while studying at the University of California at Berkeley, Seltzer, along with Keith Bostic and Mike Olson, introduced BerkeleyDB, a database software library. Berkeley DB underpinned a range of first-generation Internet services including account management, mail servers, and online trading platforms. This software has been a part of many popular operating systems including Linux, FreeBSD, Apple's OSX, and the GNU standard C library (glibc). Originally developed as an open-source library, Seltzer and Bostic founded Sleepycat Software in 1996 to continue the development of Berkeley DB and provide commercial support. Berkeley DB was an early and influential example of the NoSQL movement and pioneered the "dual license" approach to software licensing.
Data Provenance and Log-Structured File Systems
Seltzer later pioneered whole-system data provenance, a paradigm that provides system support for assessing the quality of information by understanding where the data comes from, who is using the data, and how it was obtained. Her research demonstrated how provenance could be practically supported at the system level to implement important applications in security and compliance. Her subsequent work focused on applications of provenance, including intrusion detection, data loss prevention and attack attribution, and computational reproducibility.
She is also known for her careful and nuanced work in log-structured file systems, where she adapted various approaches for use in the UNIX file systems and updates of file system metadata.
Teaching and Service
Seltzer has received several awards for excellence in teaching and leadership for her work broadening participation in computer science. She is deeply involved in mentoring, and several of her former students have become leaders in academia and industry. She has served as program chair for conferences in systems and databases and serves on numerous advisory boards for scientific and national boards.
“To be selected for the ACM Athena Award, a candidate must pass a very high bar,” said ACM President Yannis Ioannidis. “She must be a person who has both made fundamental technical contributions and impacted the computing community through service. Margo Seltzer not only meets these criteria but sets the bar extremely high. Regarding the former, her work on Berkeley DB and data provenance has broken new ground and has been very impactful in the data management and systems communities, both in academia and industry. Regarding the latter, in addition to her teaching and mentoring awards, she is known for her efforts to broaden participation in computer science among traditionally underrepresented groups. When considering all that Margo is involved in, one question that comes to mind is ‘Where does she find the time?’ Having overlapped with her at Harvard for a year, I think I have the answer: `She doesn’t find it. She creates it!’ We congratulate Margo Seltzer on being named the ACM Athena Lecturer and we look forward to celebrating her work at the ACM Awards Banquet.”
Seltzer will be formally presented with the ACM Athena Lecturer Award at the annual ACM Awards Banquet, which will be held this year on Saturday, June 10 at the Palace Hotel in San Francisco. The ACM Athena Lecturer Award carries a cash prize of $25,000, with financial support provided by Two Sigma.
Background
David B. Papworth was employed at Intel Corporation from 1990 to 2020, having served in positions including Principal Processor Architect, and Intel Fellow. He has broad experience in CPU microarchitecture, the software/hardware interface, and is listed as co-inventor on more than 50 issued patents for his work.
Papworth received a Bachelor of Science in Electrical Engineering from the University of Michigan, Ann Arbor. His honors include receiving the Intel Achievement Award for Microarchitecture, and the Intel Achievement Award for producing a microprocessor chip in record time.
2022 ACM Charles P. "Chuck" Thacker Breakthrough in Computing Award
ACM named David B. Papworth, formerly of Intel (retired), as the recipient of the ACM Charles P. “Chuck” Thacker Breakthrough in Computing Award. Papworth is recognized for fundamental groundbreaking contributions to Intel’s P6 out-of-order engine and Very Long Instruction Word (VLIW) processors.
Papworth was a lead designer of the Intel P6 (sold commercially as the Pentium Pro) microprocessor, which was a major advancement over the existing state-of-the-art not just for Intel but for the broader computer design community. P6 introduced a new microarchitectural paradigm of decomposing complex x86 instructions into sequences of micro-operations that flowed through a micro data flow engine, constrained only by true data dependencies and machine resources. Surprising to many, this scheme, which is still in use today, also enabled significantly higher clock rates.
With his own broad understanding of all facets of a computer system, including hardware, software, operating systems, compilers, languages, algorithms, and microcode, Papworth encouraged the Intel team developing the new processor to embrace an integrated approach. The P6 team successfully navigated the thousands of design tradeoffs required of a modern processor in a timely way while striking competitive balances among cost, performance, power, and schedule. Papworth was also the ultimate judge of how and when to use P6’s new microcode-patch facility to deal with any design errata that might turn up. That P6 was a runaway success for Intel is clear in that Intel’s cores today, 30+ years later, still use the same paradigm along with many of the architectural improvements shepherded by Papworth in 1992.
Just prior to joining Intel in 1990, Papworth was a lead designer and system architect at a startup called Multiflow. Multiflow co-founder Josh Fisher had invented the Very Long Instruction Word (VLIW) style of system design. Papworth re-engineered Fisher’s design to be implementable in 1985 hardware while carefully maintaining those aspects of Fisher’s VLIW scheme that were essential to performance. VLIWs are also now well-established in graphic processing units (GPUs), AI accelerators, and digital signal processors (DSPs)—a tribute to Josh Fisher’s original vision and to Dave Papworth’s ability to juggle extreme complexity and come up with economically viable, industry-influencing solutions.
The ACM Charles P. “Chuck” Thacker Breakthrough in Computing Award recognizes individuals or groups who have made surprising, disruptive, or leapfrog contributions to computing ideas or technologies. Recipients of the award are expected to give the ACM Breakthrough Lecture at a major ACM conference. The award is accompanied by a $100,000 cash prize, with financial support provided by Microsoft.
Background
Yael Tauman Kalai is a Senior Principal Researcher at Microsoft Research and an Adjunct Professor at the Massachusetts Institute of Technology (MIT). Kalai earned a BSc in Mathematics from the Hebrew University of Jerusalem, an MS in Computer Science and Applied Mathematics from The Weizmann Institute of Science, and a PhD in Computer Science from the Massachusetts Institute of Technology.
Kalai’s honors include the George M. Sprowls Award for Best Doctoral Thesis in Computer Science (MIT, 2007), an IBM PhD Fellowship (2004-2006), an MIT Presidential Graduate Fellowship (2003-2006), and an Outstanding Master’s Thesis Prize (Weizmann Institute of Science, 2001). She is a Fellow of the International Association for Cryptologic Research (IACR). Additionally, Kalai gave an Invited Talk at the International Congress of Mathematics (ICM, 2018).
2022 ACM Prize in Computing
ACM named Yael Tauman Kalai the recipient of the 2022 ACM Prize in Computing for breakthroughs in verifiable delegation of computation and fundamental contributions to cryptography. Kalai’s contributions have helped shape modern cryptographic practices and provided a strong foundation for further advancements.
The ACM Prize in Computing recognizes early-to-mid-career computer scientists whose research contributions have fundamental impact and broad implications. The award carries a prize of $250,000, from an endowment provided by Infosys Ltd.
Verifiable Delegation of Computation
Kalai has developed methods for producing succinct proofs that certify the correctness of any computation. This method enables a weak device to offload any computation to a stronger device in a way that enables the results to be efficiently checked for correctness. Such succinct proofs have been used by numerous blockchain companies (including Ethereum) to certify transaction validity and thereby overcome key obstacles in blockchain scalability, enabling faster and more reliable transactions. Kalai's research has provided essential definitions, key concepts, and inventive techniques to this domain.
More specifically, Kalai's work pioneered the study of “doubly efficient” interactive proofs, which ensure that the computational overhead placed on the strong device is small (nearly linear in the running time of the computation being proved). In contrast, previous constructions incurred an overhead that is super-exponential in the space of the computation. Kalai’s work transformed the concept of delegation from a theoretical curiosity to a reality in practice. Her subsequent work used cryptography to develop certificates of computation, eliminating the need for back-and-forth interaction. This work used insights from quantum information theory, specifically "non-signaling" strategies, to construct a one-round delegation scheme for any computation. These schemes have led to a body of work on delegation including theoretical advancements, applied implementations, and real-world deployment.
Additional Contributions to Cryptography
Kalai’s other important contributions include her breakthrough work on the security of the "Fiat-Shamir paradigm," a general technique for eliminating interaction from interactive protocols. This paradigm is extensively utilized in real-world applications including in the most prevalent digital signature scheme (ECDSA) which is used by all iOS and Android mobile devices. Despite its widespread adoption, its security has been poorly understood. Kalai's research established a solid foundation for understanding the security of this paradigm. In addition, she co-pioneered the field of leakage resilient cryptography and solved a long-standing open problem in interactive coding theory, showing how to convert any interactive protocol into one that is resilient to a constant fraction of adversarial errors while increasing the communication complexity by at most a constant factor and the running time by at most a polynomial factor. Kalai's extensive work in the field of cryptography has helped shape modern cryptographic practices and provided a strong foundation for further advancements.
“As data is the currency of our digital age, the work of cryptographers, who encrypt and decrypt coded language, is essential to keeping our technological systems secure and our data private, as necessary,” said ACM President Yannis Ioannidis. “Kalai has not only made astonishing breakthroughs in the mathematical foundations of cryptography, but her proofs have been practically useful in areas such as blockchain and cryptocurrencies. Her research addresses complex problems whose solution opens new directions to where the field is heading—focusing on keeping small computers (such as smartphones) secure from potentially malicious cloud servers. A true star all around, she has also established herself as a respected mentor, inspiring and cultivating the next generation of cryptographers.”
“We are pleased to see one of the world’s leading cryptographers recognized,” said Salil Parekh, Chief Executive Officer, Infosys. “Kalai’s technical depth and innovation of her work has definitely made a tremendous mark in this field and will inspire aspiring cryptographers. We are thankful for her contributions to date and can only imagine what she has in store in the coming years. Infosys has been proud to sponsor the ACM Prize since its inception. Recognizing the achievements of young professionals is especially important in computing, as bold innovations from people early in their careers have a tremendous impact on our field.”
Kalai will be formally presented with the ACM Prize in Computing at the annual ACM Awards Banquet, which will be held this year on Saturday, June 10 at the Palace Hotel in San Francisco.
Background
Robert Melancton Metcalfe is Emeritus Professor of Electrical and Computer Engineering (ECE) after 11 years at The University of Texas at Austin. He has recently become a Research Affiliate in Computational Engineering at his alma mater, the Massachusetts Institute of Technology (MIT) Computer Science & Artificial Intelligence Laboratory (CSAIL). Metcalfe graduated from MIT in 1969 with Bachelor degrees in Electrical Engineering and Industrial Management. He earned a Master’s degree in Applied Mathematics in 1970 and a PhD in Computer Science in 1973 from Harvard University.
Metcalfe’s honors include the National Medal of Technology, IEEE Medal of Honor, Marconi Prize, Japan Computer & Communications Prize, ACM Grace Murray Hopper Award, and IEEE Alexander Graham Bell Medal. He is a Fellow of the US National Academy of Engineering, the American Academy of Arts and Sciences, and the National Inventors, Consumer Electronics, and Internet Halls of Fame.
2022 ACM A.M. Turing Award
ACM has named Bob Metcalfe as recipient of the 2022 ACM A.M. Turing Award for the invention, standardization, and commercialization of Ethernet.
Metcalfe is an Emeritus Professor of Electrical and Computer Engineering (ECE) at The University of Texas at Austin and a Research Affiliate in Computational Engineering at the Massachusetts Institute of Technology (MIT) Computer Science & Artificial Intelligence Laboratory (CSAIL).
The ACM A.M. Turing Award, often referred to as the “Nobel Prize of Computing,” carries a $1 million prize with financial support provided by Google, Inc. The award is named for Alan M. Turing, the British mathematician who articulated the mathematical foundations of computing.
Invention of The Ethernet
In 1973, while a computer scientist at the Xerox Palo Alto Research Center (PARC), Metcalfe circulated a now-famous memo describing a “broadcast communication network” for connecting some of the first personal computers, PARC’s Altos, within a building. The first Ethernet ran at 2.94 megabits per second, which was about 10,000 times faster than the terminal networks it would replace.
Although Metcalfe’s original design proposed implementing this network over coaxial cable, the memo envisioned “communication over an ether,” making the design adaptable to future innovations in media technology including legacy telephone twisted pair, optical fiber, radio (Wi-Fi), and even power networks, to replace the coaxial cable as the “ether.” That memo laid the groundwork for what we now know today as Ethernet.
Metcalfe’s Ethernet design incorporated insights from his experience with ALOHAnet, a pioneering computer networking system developed at the University of Hawaii. Metcalfe recruited David Boggs (d. 2022), a co-inventor of Ethernet, to help build a 100-node PARC Ethernet. That first Ethernet was then replicated within Xerox to proliferate a corporate internet.
In their classic 1976 Communications of the ACM article, “ Ethernet: Distributed Packet Switching for Local Computer Networks ,” Metcalfe and Boggs described the design of Ethernet. Metcalfe then led a team that developed the 10Mbps Ethernet to form the basis of subsequent standards.
Standardization and Commercialization
After leaving Xerox in 1979, Metcalfe remained the chief evangelist for Ethernet and continued to guide its development while working to ensure industry adoption of an open standard. He led an effort by Digital Equipment Corporation (DEC), Intel, and Xerox to develop a 10Mbps Ethernet specification—the DIX standard. The IEEE 802 committee was formed to establish a local area network (LAN) standard. A slight variant of DIX became the first IEEE 802.3 standard, which is still vibrant today.
As the founder of his own Silicon Valley Internet startup, 3Com Corporation, in 1979, Metcalfe bolstered the commercial appeal of Ethernet by selling network software, Ethernet transceivers, and Ethernet cards for minicomputers and workstations. When IBM introduced its personal computer (PC), 3Com introduced one of the first Ethernet interfaces for IBM PCs and their proliferating clones.
Today, Ethernet is the main conduit of wired network communications around the world, handling data rates from 10 Mbps to 400 Gbps, with 800 Gbps and 1.6 Tbps technologies emerging. Ethernet has also become an enormous market, with revenue from Ethernet switches alone exceeding $30 billion in 2021, according to the International Data Corporation.
Metcalfe insists on calling Wi-Fi by its original name, Wireless Ethernet, for old times’ sake.
Background
Jack J. Dongarra has been a University Distinguished Professor at the University of Tennessee and a Distinguished Research Staff Member at the Oak Ridge National Laboratory since 1989. He has also served as a Turing Fellow at the University of Manchester (UK) since 2007. Dongarra earned a B.S. in Mathematics from Chicago State University, an M.S. in Computer Science from the Illinois Institute of Technology, and a Ph.D. in Applied Mathematics from the University of New Mexico.
Dongarra’s honors include the IEEE Computer Pioneer Award, the SIAM/ACM Prize in Computational Science and Engineering, and the ACM/IEEE Ken Kennedy Award. He is a Fellow of ACM, the Institute of Electrical and Electronics Engineers (IEEE), the Society of Industrial and Applied Mathematics (SIAM), the American Association for the Advancement of Science (AAAS), the International Supercomputing Conference (ISC), and the International Engineering and Technology Institute (IETI). He is a member of the National Academy of Engineering and a foreign member of the British Royal Society.
Siddharth Sandipkumar Bhandari Chosen as Recipient of ACM India 2022 Doctoral Dissertation Award
Siddharth Sandipkumar Bhandari is the recipient of the ACM India 2022 Doctoral Dissertation Award for his dissertation titled “Exact Sampling and List Decoding” that develops new techniques and tools in sampling graph colourings and contributes to improved analyses for understanding list-decodability of codes. Siddharth’s doctoral dissertation work was done at Tata Institute of Fundamental Research, Mumbai under the supervision of Prahladh Harsha.
Siddharth’s dissertation makes fundamental contributions to two different areas of theoretical computer science: (a) sampling colourings of graphs and (b) list-decoding error-correcting codes. Sampling a random k-colouring of a given graph is a classic problem in theoretical computer science and statistical physics. The problem of perfect sampling is to construct a polynomial time randomised algorithm that generates a perfect sample from the uniform distribution of k-colourings. Siddharth’s work improves on a two-decade old algorithm for solving this problem using novel techniques that are likely to have wider applicability. In the area of list-decoding, Siddharth’s dissertation focuses on three problems. The first problem is the zero-error capacity of the q/(q 1) channel. Prior work on perfect hashing shows that as the list-size is reduced, the channel capacity decreases from an inverse-polynomial form to an inverse-exponential form, and it has been an open problem to understand where this transition occurs. By showing that the channel follows a coupon-collector like behaviour, Siddharth’s work demonstrates that there is an almost sharp transition near O(q log q). The other two results in this part are related to list-decodability of algebraic codes and lead to a better understanding of the list-decoding of these codes all the way up to capacity.
Pritish Mohapatra shares the Honorable Mention for his dissertation titled “Optimization for and by Machine Learning” that makes significant contributions towards the design of efficient optimization methods for machine learning, including key results for optimizing ranking metrics used in information retrieval systems. Pritish’s doctoral dissertation work was done at International Institute of Information Technology, Hyderabad under the supervision of C. V. Jawahar.
Pritish’s dissertation addresses the problem of making optimization of complicated loss functions efficient and practical. Specifically, he designs a practically efficient optimization algorithm for a category of non-decomposable ranking metrics that greatly improve the feasibility of using such sophisticated metrics for learning in information retrieval tasks. Pritish also provides a concrete theoretical analysis that proves the superiority of the proposed algorithm for optimization, providing a fine balance between the theoretical soundness and practical utility of the algorithms. Pritish’s work also makes an interesting contribution in the use of the classical optimization technique of partial-linearization for efficient learning of large-scale classification models. This holds special significance for learning of models with structured output spaces. Finally, Pritish’s dissertation contributes to the problem of using learning for optimization. He proposes a novel framework that uses a learnable model for doing rounding for combinatorial optimization algorithms. This is based on a key insight that randomized rounding procedures can be visualized as sampling from latent variable models.
Sruthi Sekar shares the Honorable Mention for her dissertation titled “Near-Optimal Non-Malleable Codes and Leakage Resilient Secret Sharing Schemes” that makes fundamental contributions in our understanding of cryptographic primitives such as non-malleable codes, secret sharing schemes and randomness extractors. Sruthi’s doctoral dissertation work was done at Indian Institute of Science, Bangalore under the supervision of Bhavana Kanukurthi.
The goal of non-malleable codes (NMCs) is to enable encoding of messages so that an adversary cannot tamper it into the encoding of a related message. An open problem in this area is to build 1/2-rate NMCs in 2-split state model where a codeword consists of two independently tamperable states. Sruthi’s dissertation makes fundamental contributions to this area. Specifically, she builds on her earlier work to introduce new two-state non-malleable codes for random messages with rate 1/2. This work also introduces a new primitive called "Non-malleable randomness encoders". Her dissertation also shows how to build a near-optimal rate 1/3, 2-state NMC, thereby taking us a step closer to solving the main open problem in this area. In addition, Sruthi’s dissertation introduces a new pseudorandomness primitive called "Adaptive Extractors" and shows their applicability to building constant-rate leakage resilient secret sharing schemes.
Deepika Yadav shares the Honorable Mention for her dissertation titled “Supporting Ongoing Training of Community Health Workers through Mobile-based Solutions in Rural India” that combines the knowledge of Computer System research and HCI to produce systems that are deployed in fields. Her work resulted in deployment of a mobile based training platform for ASHA workers that has been used to train hundreds of ASHA workers. Deepika’s doctoral dissertation work was done at Indraprastha Institute of Information Technology Delhi under the supervision of Pushpendra Singh.
Deepika’s dissertation develops a low-cost mobile-based training platform called “Sangosthi” that allows a geographically distributed group of community health workers (CHWs) to connect over a conference call and receive training in a structured manner. The developed system uses a hybrid architecture to use Interactive Voice Response for facilitating online audio training sessions, enabling CHWs to access training from anywhere through their feature phones. Her work contributes to (i) testing the feasibility and efficacy of a low-cost technology intervention through a controlled field experiment (ii) unpacking the training needs of CHWs in the field and mapping it back to the existing reference material through a large-scale deployment on 500 CHWs, (iii) investigating the potential for peer-to-peer learning models to address the challenge of experts’ availability through a controlled field experiment, and (iv) exploring the potential for automated techniques in this domain by proposing a semi-automated natural language processing approach for curating generated learning content and exposing CHWs and women to Chatbot-based education for the first time. By using a range of mixed methods and field experiments, Deepika’s dissertation expands the focus of HCI4D and mHealth research on CHW competence development in low-resource settings.
The ACM India Doctoral Dissertation Award was established in 2011. This award recognizes the best doctoral dissertation from a degree-awarding institution based in India for each academic year, running from August 1 of one year to July 31 of the following year. The ACM India Doctoral Dissertation Award is accompanied by a prize of ₹2,00,000. An Honorable Mention award is accompanied by a prize of ₹1,00,000 which is shared amongst the recipients. The dissertation(s) will be published in the ACM Digital Library. Financial support for both the award and honorable mention is provided by Tata Consultancy Services (TCS). Please see the ACM India Doctoral Dissertation Award page for additional information on current and past winners.
ACM Names 57 Fellows for Computing Advances that are Driving Innovation
ACM, the Association for Computing Machinery, has named 57 of its members ACM Fellows for wide-ranging and fundamental contributions in disciplines including cybersecurity, human-computer interaction, mobile computing, and recommender systems among many other areas. The accomplishments of the 2022 ACM Fellows make possible the computing technologies we use every day.
The ACM Fellows program recognizes the top 1% of ACM Members for their outstanding accomplishments in computing and information technology and/or outstanding service to ACM and the larger computing community. Fellows are nominated by their peers, with nominations reviewed by a distinguished selection committee.
“Computing’s most important advances are often the result of a collection of many individual contributions, which build upon and complement each other,” explained ACM President Yannis Ioannidis. “But each individual contribution is an essential link in the chain. The ACM Fellows program is a way to recognize the women and men whose hard work and creativity happens inconspicuously but drives our field. In selecting a new class of ACM Fellows each year, we also hope that learning about these leaders might inspire our wider membership with insights for their own work.”
In keeping with ACM’s global reach, the 2022 Fellows represent universities, corporations, and research centers in Canada, Chile, China, France, Germany, Israel, the Netherlands, Spain, Switzerland, and the United States.
Additional information about the 2022 ACM Fellows, as well as previously named ACM Fellows, is available through the ACM Fellows website.
World’s Largest Computing Society Honors 2022 Distinguished Members for Ground-Breaking Achievements and Longstanding Participation
ACM has named 67 Distinguished Members for significant contributions. All of the 2022 inductees are longstanding ACM members and were selected by their peers for work that has spurred innovation, enhanced computer science education, and moved the field forward.
“The ACM Distinguished Members program honors both accomplishment and commitment,” said ACM President Yannis Ioannidis. “Each of these new 67 Distinguished Members have been selected for specific and impactful work, as well as their longstanding commitment to being a part of our professional association. As ACM celebrates its 75th anniversary this year, it is especially fitting to reflect on how our global membership has built our organization into what it is today. Our Distinguished Members are leaders both within ACM and throughout the computing field.”
The 2022 ACM Distinguished Members work at leading universities, corporations and research institutions in Australia, Canada, China, Finland, France, Germany, Greece, India, Italy, Japan, the Netherlands, New Zealand, Singapore, Taiwan, the United Kingdom, and the United States. ACM Distinguished Members are selected for their contributions in three separate categories: educational, engineering, and scientific. This year’s class of Distinguished Members made advancements in areas including algorithms, computer science education, cybersecurity, data management, energy efficient computer architecture, information retrieval, healthcare information technology, knowledge graph and semantic analysis, mobile computing, and software engineering, among many others.
The ACM Distinguished Member program recognizes up to 10 percent of ACM worldwide membership based on professional experience and significant achievements in the computing field. To be nominated, a candidate must have at least 15 years of professional experience in the computing field, five years of professional ACM membership in the last 10 years, and must have achieved a significant level of accomplishment or made a significant impact in the field of computing. A Distinguished Member is expected to have served as a mentor and role model by guiding technical career development and contributing to the field beyond the norm.
2022 ACM Gordon Bell Prize Awarded to a 16-Member Team Drawn from French, Japanese, and US Institutions
ACM, the Association for Computing Machinery named a 16-member team drawn from French, Japanese, and US institutions as recipient of the 2022 ACM Gordon Bell Prize for their project, “Pushing the Frontier in the Design of Laser-Based Electron Accelerators With Groundbreaking Mesh-Refined Particle-In-Cell Simulations on Exascale-Class Supercomputers.”
The members of the team are: Luca Fedeli, France Boillod-Cerneaux, Thomas Clark, Neil Zaїm, and Henri Vincenti, (CEA); Axel Huebl, Kevin Gott, Remi Lehe, Andrew Myers, Weiqun Zhang, and Jean-Luc Vay, (Lawrence Berkeley National Laboratory); Conrad Hillairet, (Arm); Stephan Jaure, (ATOS); Adrien Leblanc, (Laboratoire d’Optique Appliquée, ENSTA Paris); Christelle Piechurski, (GENCI); and Mitsuhisa Sato, (RIKEN).
Particle-in-Cell (PIC) simulation is a technique within high-performance computing used to model the motion of charged particles, or plasma. PIC has applications in many areas, including nuclear fusion, accelerators, space physics, and astrophysics. The very recent introduction of exascale-class computers has expanded the horizons of PIC simulations and makes this year’s winning project especially exciting. According to their abstract, the team presents a first-of-kind mesh-refined (MR) massively parallel PIC code for kinetic plasma simulations optimized on the Frontier, Fugaku, Summit, and Perlmutter supercomputers.
The 2022 ACM Gordon Bell Prize-winning team concludes by noting that, “the use of mesh refinement in large-scale electromagnetic PIC simulations is a first and represents a paradigm shift. The successful modeling with savings between 1.5× and 4× with mesh refinement that is reported in this paper is a landmark steppingstone toward a new era in the modelling of laser-plasma interactions.”
The ACM Gordon Bell Prize tracks the progress of parallel computing and rewards innovation in applying high-performance computing to challenges in science, engineering, and large-scale data analytics. The award was presented during the International Conference for High Performance Computing, Networking, Storage and Analysis (SC22), which was held in Dallas, Texas.
Marcin Copik and Masado Alexander Recipients of 2022 ACM-IEEE CS George Michael Memorial HPC Fellowships
New York, NY, October 19, 2022 – ACM, the Association for Computing Machinery, and the IEEE Computer Society announced today that Marcin Copik of ETH Zurich of ETH Zurich and Masado Alexander Ishii of the University of Utah are the recipients of the 2022 ACM-IEEE CS George Michael Memorial HPC Fellowships. Shelby Lockhart of the University of Illinois at Urbana-Champaign received an Honorable Mention.
Marcin Copik
Copik’s research bridges the gap between high-performance programming and serverless computing. He is bringing the Function-as-a-Service (FaaS) programming model into the HPC domain by developing high-performance software and hardware solutions for the serverless stack. By solving the fundamental performance challenges of FaaS, he is building a fast, efficient programming model that brings innovative cloud techniques into HPC data centers, allowing users to benefit from pay-as-you-go billing and helping operators to decrease running costs and their environmental impact.To that end, he has been working on tailored solutions for different levels of the FaaS computing stack, from computing and network devices up to high-level optimizations and efficient system designs. He has also proposed a new design for serverless platforms that applies HPC practices such as low-latency networking, data locality, and efficient communication.
Masado Alexander Ishii
Ishii is the main developer for the University of Utah’s Dendro-KT framework for four-dimensional adaptivity and parallel in time formulations. Given the ever-increasing levels of parallelism in the largest machines, parallelizing across space is not sufficient—and in many cases the inability to parallelize in time is the biggest bottleneck for several important problems. The Dendro-KT framework addresses this problem and also enables the development of high-orders and variable order in time formulation (similar to p-refinement). Working with collaborators, Ishii has also been involved in developing methods and codes for large-scale fluid simulations around complex objects, including a case with multiple complex objects, to evaluate COVID-19 transmission risk in classrooms.
Shelby Lockhart
Lockhart has made contributions in parallel communication, core parallel numerical algorithms, and advancing capabilities of large-scale predictive simulation. Her focus has been on modeling performance in heterogeneous settings, with an eye on redesigning the message communication “under-the-hood” (aspects of the high-performance architecture that are not readily visible) as well as looking at fundamental algorithmic changes in order to significantly improve achievable performance. Among her research highlights, she has provided detailed communication models to drive the selection of message routing, yielding impressive improvements across a range of problem types. She has also presented a strategy for achieving impressive reductions in communication costs in graphic processing unit (GPU) systems by communication through the host, accounting for different data volumes and GPU counts. Additionally, Lockhart’s thesis work on fixed point solvers has made important contributions to the Suite of Nonlinear and Differential/Algebraic Equation Solvers (SUNDIALS) project.
The ACM-IEEE CS George Michael Memorial HPC Fellowship is endowed in memory of George Michael, one of the founders of the SC Conference series. The fellowship honors exceptional PhD students throughout the world whose research focus is on high performance computing applications, networking, storage, or large-scale data analytics using the most powerful computers that are currently available. The Fellowship includes a $5,000 honorarium and travel expenses to attend the SC conference, where the Fellowships are formally presented.
Ian Foster Recognized with ACM-IEEE CS Ken Kennedy Award
The Association for Computing Machinery and IEEE Computer Society named Ian Foster, a Professor at the University of Chicago and Division Director at Argonne National Laboratory, as the recipient of the 2022 ACM-IEEE CS Ken Kennedy Award. The Ken Kennedy Award recognizes pathbreaking achievements in parallel (high performance) computing. Foster is cited for contributions to programming and productivity in computing via the establishment of new programming models and foundational science services.
Foster has pioneered new approaches to the use of distributed computing for accelerating scientific discovery throughout his career, both within supercomputers and over networks. He has repeatedly proposed out-of-the-box ideas that proved transformative for computer science and computational science: large- scale task-parallel programming, on-demand distributed computations ("grid computing"), virtual organizations, universal data transfer, trust fabrics, and cloud management services for data-intensive science. Each has contributed to programmability and productivity in computing.
Select Technical Contributions
High-level task parallelism: Parallelism has traditionally meant data parallelism and low-level message passing. Recognizing that many interesting task-parallel computations were difficult to realize with such tools, Foster and his colleagues developed new programming methods that eased the specification of interacting tasks, enabled the composition of existing programs, used deterministic constructs to avoid race conditions, and scaled to large distributed and parallel computer systems. Tools such as Strand, Swift, and most recently Parsl, developed in collaboration with colleagues including Steve Taylor, Mike Wilde, and Kyle Chard, have been used to develop pioneering implementations of task-parallel program structures.
Grid computing: Noting the opportunities offered by high-speed networks in the 1990s, Foster and colleagues, including Carl Kesselman and the late Steve Tuecke, launched an effort to create a unifying fabric of protocols, software, and policies for remote and coordinated use of computers, data, instruments, and software regardless of location. Together, these innovations came to be known as “grid computing.” Grid computing, in turn, led to numerous technical advances, innovative applications, and improvements in science infrastructure. For example, the climate community uses these methods to distribute climate data used in Intergovernmental Panel on Climate Change (IPCC) assessments, while the physics community aggregates hundreds of thousands of CPUs contributed by hundreds of participants around the world who use the Large Hadron Collider (LHC) particle accelerator.
A universal data fabric: Historically, network engineers have focused on moving bits and high-performance computing experts on managing data. As a result, end-to-end performance between file systems was invariably poor. Foster and colleagues, including Bill Allcock and Raj Kettimuthu, developed new protocols and software for traversing the storage system-network storage system path, harnessing multilevel parallelism within transfers, negotiating protocol parameters, and detecting and recovering from failure. These methods are now used at thousands of sites worldwide and form the foundation for the demilitarized zones (DMZs)—subnetworks that many scientific institutions use to connect to the world.
A universal trust fabric: Determining who is allowed to perform an action on a remote computer is one of the most challenging problems in distributed computing, encompassing cryptography, protocols, infrastructure, and policies. The fact that it is now possible to transfer data from one laboratory to another without any difficulty owes a great deal to work performed by Foster and colleagues, including Rachana Ananthakrishnan, on identity and credential management, secure authentication, distributed authorization—and, above all, the integration of these elements into usable end-to-end systems.
Cloud services for data-intensive science: Foster and Tuecke realized that the emergence of commercial ("public") cloud services offered exciting opportunities to rethink research infrastructure, in particular by offloading responsibility for previously manual processes to cloud-hosted services. The resulting Globus service provides managed identity management, data transfer and replication, data sharing, data publication, and other services to the research community. As of early 2021, Globus is used at 13 national laboratories, 65 countries, and more than 1,500 institutions, has 150,000 registered users and has been used to transfer more than 200 billion files and 1.3 exabytes.
Foster and his team worked with colleagues around the world to implement Globus as an essential data infrastructure element in computing and experimental facilities within projects worldwide and in settings as diverse as US Department of Energy and National Science Foundation supercomputer centers, African universities, and US National Institutes of Health intramural laboratories.
Service to the Field and Mentoring
Foster’s books include "Designing and Building Parallel Programs," the first book published on the web, “The Grid: Blueprint for a New Computing Infrastructure,” (two volumes, edited with Carl Kesselman), and "Big Data and Social Science," (two editions), which communicated advanced data science methods to government statistical agencies.
He has designed and lead numerous successful US and international projects, from early grid initiatives to recent collaborations in network modeling and exascale co-design. He has served as general and/or program committee chair for many conferences (e.g., High Performance Distributed Computing, IEEE Cloud, IEEE eScience) and numerous scientific advisory boards (e.g., SLAC Scientific Policy Committee, UK eScience, NZ eScience Infrastructure, NSF Computing Community Consortium). Foster has also welcomed dozens of students and postdocs into his group at the University of Chicago and Argonne National Laboratory—people who now are in leadership roles in universities, labs, and companies across the world.
Biographical Background
Ian T. Foster is Senior Scientist, Distinguished Fellow, and Director of the Data Science and Learning Division at Argonne National Laboratory, and the Arthur Holly Compton Distinguished Service Professor of Computer Science at the University of Chicago. Foster received a BSc Degree in Computer Science from the University of Canterbury, New Zealand, and a PhD in Computer Science from Imperial College, United Kingdom.
He is a fellow of the American Association for the Advancement of Science (AAAS), the Association for Computing Machinery (ACM), the British Computer Society (BCS), the Institute of Electronics and Electrical Engineers (IEEE), and a US Department of Energy Office of Science Distinguished Scientists Fellow. He has received the BCS Lovelace Medal and the IEEE Babbage, Goode, and Kanai Awards. He has received honorary doctorates from the University of Canterbury, New Zealand, and CINVESTAV, Mexico.
ACM and IEEE CS co-sponsor the Kennedy Award, which was established in 2009 to recognize substantial contributions to programmability and productivity in computing and significant community service or mentoring contributions. It was named for the late Ken Kennedy, founder of Rice University’s computer science program and a world expert on high performance computing. The Kennedy Award carries a US $5,000 honorarium endowed by IEEE CS and ACM. The award will be formally presented to Foster in November at The International Conference for High Performance Computing, Networking, Storage and Analysis (SC22).
2022 ACM - IEEE CS Eckert-Mauchly Award
ACM and IEEE Computer Society named Mark Horowitz, a Professor at Stanford University, as the recipient of the 2022 Eckert-Mauchly Award for contributions to microprocessor memory systems. Horowitz was the first to identify the processor to dynamic random-access memory (DRAM) interface as a key bottleneck that required architecture and circuit optimization. He pioneered high-bandwidth DRAM interfaces. In addition, modern DRAM interfaces such as SDDR and LPDDR were strongly influenced by his techniques.
Horowitz was also a major contributor to the DASH and FLASH projects, which explored scalable methods for implementing cache coherency using directories rather than snooping protocols. Today almost all cache-coherent multiprocessors rely on such directory mechanisms either within or across multicores. Horowitz has led research that recognizes that future performance/energy progress after the end of Dennard scaling will require greater use of hardware accelerators, and pioneered work in Smart Memories, an early work customizing memory as well as processors; many of today’s domain-specific architectures build on this concept. He is a Fellow of ACM, IEEE, and the American Academy of Arts and Sciences, and he is a Member of the National Academy of Engineering.
Horowitz will be formally presented with the award at the ACM/IEEE International Symposium on Computer Architecture (ISCA) being held June 18–22 in New York City.
ACM and IEEE Computer Society co-sponsor the Eckert-Mauchly Award, which was initiated in 1979. It recognizes contributions to computer and digital systems architecture and comes with a $5,000 prize. The award was named for John Presper Eckert and John William Mauchly, who collaborated on the design and construction of the Electronic Numerical Integrator and Computer (ENIAC), the pioneering large-scale electronic computing machine, which was completed in 1947.
2021 ACM Doctoral Dissertation Award
Manish Raghavan is the recipient of the 2021 ACM Doctoral Dissertation Award for his dissertation "The Societal Impacts of Algorithmic Decision-Making." Raghavan’s dissertation makes significant contributions to the understanding of algorithmic decision making and its societal implications, including foundational results on issues of algorithmic bias and fairness.
Algorithmic fairness is an area within AI that has generated a great deal of public and media interest. Despite being at a very early stage of his career, Raghavan has been one of the leading figures shaping the direction and focus of this line of research.
Raghavan is a Postdoctoral Fellow at the Harvard Center for Research on Computation and Society. His primary interests lie in the application of computational techniques to domains of social concern, including algorithmic fairness and behavioral economics, with a particular focus on the use of algorithmic tools in the hiring pipeline. Raghavan received a BS degree in Electrical Engineering and Computer Science from the University of California, Berkeley, and MS and PhD degrees in Computer Science from Cornell University.
Honorable Mentions for the 2021 ACM Doctoral Dissertation Award go to Dimitris Tsipras of Stanford University, Pratul Srinivasan of Google Research and Benjamin Mildenhall of Google Research.
Dimitris Tsipras’ dissertation, “Learning Through the Lens of Robustness,” was recognized for foundational contributions to the study of adversarially robust machine learning (ML) and building effective tools for training reliable machine learning models. Tsipras made several pathbreaking contributions to one of the biggest challenges in ML today: making ML truly ready for real-world deployment.
Tsipras is a Postdoctoral Scholar at Stanford University. His research is focused on understanding and improving the reliability of machine learning systems when faced with the real world. Tsipras received a Diploma in Electrical and Computer Engineering from the National Technical University of Athens, as well as SM and PhD degrees in computer science from the Massachusetts Institute of Technology (MIT).
Pratul Srinivasan and Benjamin Mildenhall are awarded Honorable Mentions for their co-invention of the Neural Radiance Field (NeRF) representation, associated algorithms and theory, and their successful application to the view synthesis problem. Srinivasan’s dissertation, "Scene Representations for View Synthesis with Deep Learning," and Mildenhall’s dissertation, “Neural Scene Representations for View Synthesis,” addressed a long-standing open problem in computer vision and computer graphics. That problem, called “view synthesis” in vision and “unstructured light field rendering” in graphics, involves taking just a handful of photographs of a scene and predicting new images from any intermediate viewpoint. NeRF has already inspired a remarkable volume of follow-on research, and the associated publications have received some of the fastest rates of citation in computer graphics literature—hundreds in the first year of post-publication.
Srinivasan is a Research Scientist at Google Research, where he focuses on problems at the intersection of computer vision, computer graphics, and machine learning. He received a BSE degree in Biomedical Engineering and BA in Computer Science from Duke University and a PhD in Computer Science from the University of California, Berkeley.
Mildenhall is a Research Scientist at Google Research, where he works on problems in computer vision and graphics. He received a BS degree in Computer Science and Mathematics from Stanford University and a PhD in Computer Science from the University of California, Berkeley.
2021 ACM Paris Kanellakis Theory and Practice Award
Avrim Blum, Toyota Technological Institute at Chicago; Irit Dinur, Weizmann Institute; Cynthia Dwork, Harvard University; Frank McSherry, Materialize Inc.; Kobbi Nissim, Georgetown University; and Adam Davison Smith, Boston University, receive the ACM Paris Kanellakis Theory and Practice Award for their fundamental contributions to the development of differential privacy.
Differential privacy is a definition and framework for reasoning about privacy in statistical databases. While the privacy of individuals contributing to a dataset has been a long-standing concern, prior to the Kanellakis recipients’ work, computer scientists only knew how to mitigate several specific privacy attacks via a disparate set of techniques. The foundation for differential privacy emerged in the early 2000’s from several key papers. At the ACM Symposium on the Principles of Database Systems (PODS 2003) Dinur and Nissim presented a paper which showed that any technique that allows reasonably accurate answers to a large number of queries is inherently non-private.
Later, a sequence of papers by Dwork and Nissim at the International Conference on Cryptology (Crypto 2004); as well as Blum, Dwork, McSherry, and Nissim at the ACM Symposium on the Principles of Database Systems (PODS 2005); and Dwork, McSherry, Nissim, and Smith at the Theory of Cryptology Conference (TCC 2006) further defined and studied the notion of differential privacy.
These separate but related papers formed a definition of differential privacy which captures the kind of privacy needed in statistical settings, where individual information must be protected while still allowing for discovery of common trends. These fundamental works created a vibrant and multidisciplinary area of research, leading to practical deployments of Differential Privacy in industry and by the U.S. Census Bureau, among other applications.
The authors also showed that their definition includes post-processing and composition properties that facilitate design, analysis, and applications of differentially private algorithms. The Laplace and the Gaussian noise mechanisms, which show differentially private analogs of statistical query learning algorithms, also grew out of the Kanellakis recipients’ work on differential privacy.
2021 ACM Grace Murray Hopper Award
Raluca Ada Popa, University of California, Berkeley, is the recipient of the 2021 ACM Grace Murray Hopper Award for the design of secure distributed systems. The systems protect confidentiality against attackers with full access to servers while maintaining full functionality.
Popa’s fundamental work of building secure systems focuses on protecting the confidentiality of data stored on remote servers. Cloud computing makes sensitive data more accessible to hackers and insiders, despite the common “faulty” assumption that parts of the server–say the databaseor operating system–are inaccessible and can be “trusted." Popa’s research provides confidentiality guarantees where servers only need to store encrypted data, processing it without decrypting. Thus, hackers see only encrypted data.
Computing on encrypted data, possible in theory, has been prohibitively inefficient in practice. Popa addresses this by replacing generality with building systems for a broad set of applications with common traits, and developing encryption schemes tailored to these application archetypes. In SQL databases, for example, Popa extracts a few primitive operations that support most queries, utilizes encryption schemes that efficiently support these primitives, and thus can perform most computations on encrypted databases.
Popa, as the senior researcher, has designed an astonishing number of prototype systems in different application domains, providing functionality over encrypted data. In Opaque, DORY, Metal, and CryptDB, she showed how the utilization of cryptographic schemes that efficiently support a few carefully identified primitive operations enables performant encrypted databases and file systems. The Helen and Senate prototypes she and her students contributed enable multiple organizations to collaboratively train a machine-learning model or perform data analytics over their combined encrypted data. In Delphi and MUSE, machine learning models execute on the client’s input, without revealing the data to the model provider or leaking the model to the client.
2021 ACM Software System Award
Xavier Leroy, Collège de France; Sandrine Blazy, University of Rennes 1, IRISA; Zaynah Dargaye, Nomadic Labs; Jacques-Henri Jourdan, CNRS, Laboratoire Méthodes Formelles; Michael Schmidt, AbsInt Angewandte Informatik; Bernhard Schommer, Saarland University, and AbsInt Angewandte Informatik GmbH; and Jean-Baptiste Tristan, Boston College, receive the ACM Software System Award for the development of CompCert, the first practically useful optimizing compiler targeting multiple commercial architectures that has a complete, mechanically checked proof of its correctness.
CompCert, initiated in 2005, is a compiler for the C programming language and the first industrial-strength compiler with a mechanically checked proof of correctness. It can be used with most computer architectures including PowerPC, ARM, RISC-V and x86 (32 and 64 bits) architectures.
When it was introduced, CompCert represented a major advance over other production compilers, because it did not experience miscompilation issues since it is formally verified using machine-assisted mathematical proofs. The code it produces is proved to behave exactly as specified by the semantics of the source C program. This level of confidence in the correctness of the compilation process enables CompCert to meet the highest levels of software assurance.
Today, CompCert continues as a research project at Inria, the French National Institute for Research in Digital Science and Technology and is available under commercial and noncommercial licenses (source code openly available for noncommercial use). Other researchers build on CompCert, and multiple corporations use it for safety-critical applications.
2021 ACM - AAAI Allen Newell Award
Carla Gomes of Cornell University receives the ACM - AAAI Allen Newell Award for establishing and nurturing the field of computational sustainability and for foundational contributions to artificial intelligence..
Gomes is a leader in AI, particularly in reasoning, optimization, and the integration of learning and reasoning. She is the driving force behind the new subfield of computational sustainability, embodying the values of multidisciplinary research and social impact. Her research advances core computer science and AI while establishing rich connections to other disciplines.
Gomes has played a key role in advancing the integration of methods from AI and operations research. With collaborators, she pioneered randomized restarts and algorithm portfolios for combinatorial solvers. This work has had a tremendous practical impact on solvers for satisfiability (SAT), mixed integer programming (MIP), and satisfiability modulo theories (SMT). Gomes discovered and characterized heavy-tailed runtime distributions and backdoor variables in combinatorial search, explaining the large runtime variations of combinatorial solvers. She also introduced XOR-streamlining, a novel strategy for model counting that was a key step to further advances in efficient probabilistic inference.
Inspired by her early work on experiment design for nitrogen management and wildlife-corridor design, Gomes conceived an ambitious vision for computational sustainability: a highly interdisciplinary research area which incorporates computational thinking to solve critical sustainability challenges.
As the lead principal investigator (PI) of two National Science Foundation (NSF) Expeditions Awards, Gomes has grown Computational Sustainability into a robust and vibrant subfield. She has shown that addressing challenges in sustainability often leads to transformative research in computer science, in addition to having a significant practical impact. Gomes and her collaborators developed a framework for computing the high-dimensional Pareto frontier of ecological and socio-economic tradeoffs of hydro dam expansion in the Amazon Rain Forest.
Gomes also pioneered the use of AI in materials discovery. Together with her team, she developed Deep Reasoning Networks, a novel computational paradigm integrating deep learning with constraint reasoning over rich prior knowledge. This framework was used to solve the crystal-structures phase-mapping problem, which led to the discovery of new solar fuel materials for sustainable energy storage.
2022 ACM Presidential Award
Dame Wendy Hall, Regius Professor of Computer Science at the University of Southampton, receives the ACM Presidential Award. Hall is recognized for her technical contributions that have significantly influenced the development of the Semantic Web and the field of Web Science; her leadership and impact in shaping the science and engineering policy agenda internationally; her advocacy and leadership in promoting informatics education throughout Europe through the Informatics for All coalition and other international groups; and her committed and inspired work to strengthen ACM’s geographically diverse footprint and establishing and fostering regional councils to promote ACM activities in China, India, and Europe.
Hall is one of the first computer scientists to undertake serious research in multimedia and hypermedia. The influence of her work has been significant in many areas including digital libraries, the development of the Semantic Web, and the emerging research discipline of Web Science. With Sir Tim Berners-Lee, Sir Nigel Shadbolt, and Daniel J Weitzner, she co-founded the Web Science Research Initiative and is the Managing Director of the Web Science Trust, which has a global mission to support the development of research, education and thought leadership in Web Science. Since 2014, she has served as a Commissioner for the Global Commission on Internet Governance.
Hall has also helped shape science and engineering policy and education. In 2018, she helped found the Informatics for All coalition, and serves as the chair of its steering committee. Informatics for All aims to establish informatics as a fundamental and independent subject in school for students at all levels throughout Europe.
As the first ACM President from outside North America, Hall initiated the establishment of ACM Councils in Europe, India and China, extending the organization’s scope to a borderless audience. She also focused on the education of upcoming computer science generations, promoting gender diversity and nurturing talent in computing from all corners of the world.
2021 ACM Policy Award
Judy Brewer receives the ACM Policy Award for her leadership of the Web Accessibility Initiative and development of multiple web accessibility standards, which have been adopted globally and improved accessibility for millions worldwide.
Brewer leads the development of standards and strategies for inclusive web design, providing web developers with tools necessary to bring the power and the promise of the World Wide Web to millions of people who otherwise might have been excluded from this vital component of modern life. She is based at the Massachusetts Institute of Technology, where she is a Principal Research Scientist in the Computer Science and Artificial Intelligence Laboratory.
In the late 1990s, although web design was flourishing, accessibility was not. Millions of new users uploaded image maps, frames, and other features that proved problematic at best and prohibitive at worst for users with auditory, cognitive, motor, neurological, physical, speech and visual disabilities. Under Brewer’s direction, WAI develops the Web Content Accessibility Guidelines (WCAG), which provide developers with a set of criteria to judge the accessibility of the sites they are building. WCAG also inspired the development of numerous evaluation tools capable of reviewing web pages to identify potential barriers such as non-navigable menu structures and images without alternative textual descriptions. The WCAG specifications and these tools provide a baseline for accessible web design, and for accessibility of web-based technologies such as real-time communications and virtual reality.
Under Brewer’s leadership, WAI has also worked extensively with government agencies, industry, and disability organizations, leading to the adoption of WCAG as an international standard (ISO/IEC 40500:2012), and the alignment of WCAG with Section 508 of the Rehabilitation Act in the US and European Mandate 376 requiring accessible technology procurement and development in all EU countries. The WCAG standards have been translated into twenty-three languages and have been adopted by dozens of countries. Nearly every government around the world that has requirements for digital accessibility cites WCAG. WAI has led the evolution of the web from its early days of featuring expensive and unscalable alternative text-only designs to a modern reality of highly accessible layouts designed to seamlessly work on both desktops and smartphones.
Brewer has led these efforts for more than 20 years, participating on numerous committees of the US Access Board, the US National Council on Disability, the US Federal Communications Commission (FCC), the International Organization for Standardization (ISO)/International Electrotechnical Commission (IEC) standards bodies, industry groups, and many others. She has published widely on accessibility; testified before US Congress and government organizations in Korea, Denmark, China, and other countries; given numerous international keynote presentations; and has been honored by numerous groups concerned with accessibility.
2021 ACM Distinguished Service Award
Erik Altman, Research Scientist at IBM Research, receives the ACM Distinguished Service Award for leadership in the computer architecture communities, and for contributions to ACM organizational development.
Erik Altman has demonstrated excellence, both as a computer architecture research scientist at IBM and as a driver of positive change within the Association for Computing Machinery and the IEEE Computer Society. For example, as chair of the ACM Special Interest Group on Microarchitecture (SIGMICRO), Altman drove the recognition of important contributions by co-founding and chairing the Micro Hall of Fame award. He also helped establish a successful oral history project and worked to improve computer architecture conferences.
As chair of ACM's Special Interest Group (SIG) Governing Board, he worked to better coordinate the activities of the more than three dozen SIGs. He tested ways to engage and educate the larger ACM community with daily news feeds, paving the way for ACM's successful TechNews. He contributed to ACM's financial well-being by serving on the Executive Committee as Secretary-Treasurer for two years. He has also been a long-term member of the ACM Investment Committee, which oversees a $100M+ fund.
As editor-in-chief of IEEE Computer Society’s Micro journal for four years, Altman drove the creation of important special themed issues. He helped establish the IEEE Rau Award for substantial contributions to microarchitectures. As a member of the IEEE Computer Society's Magazine Operations Committee, he has worked to improve the financial health of several IEEE magazines.
He has also served as program chair, vice-chair, or general chair of many conferences for topics in computer architecture, machine learning, and logic.
In parallel with his volunteer work, Altman has had a prolific industrial research career spanning computer architecture, compilers, and parallel computing. He worked on IBM Research’s Dynamically Architected Instruction Set from Yorktown (DAISY) project, which solved many difficult problems in dynamic binary instruction translation and had significant research impact and influence. He has twice received an IBM Outstanding Innovation Achievement Award. Altman has more recently led efforts to do early detection of cyber-attacks using continuous learning in multiple dimensions and has explored the generation of synthetic financial and medical training data for use in machine learning models.
2021 ACM Karl V. Karlstrom Outstanding Educator Award
Mark Allen Weiss was named recipient of the Karl V. Karlstrom Outstanding Educator Award for advancing the art and science of computer science (CS) education through his textbooks, research, and curriculum design, which have affected thousands of instructors and students worldwide.
Weiss’s most significant contributions to the evolution of the data structures and programming curriculum have been through his textbooks, which have been used in numerous countries and published in multiple editions over three decades (from the 1990s to the 2010s). He was one of the first authors to include advanced topics such as splay trees and amortized analysis with detailed implementations that matched the theoretical results outlined in the programming textbooks. His books were also groundbreaking in that they included in-depth presentations of C++ features and syntax, predating the Standard Template Library (STL) with vector and string classes.
Weiss has also led and contributed to important education projects. Beginning in the late 1990s, he was part of the Advanced Placement (AP) CS Development Committee that designed the AP curriculum and wrote the AP exams taken by US high school students. He chaired the committee for four years during the early 2000s, when the exam design was changing from C++ to Java, and the underlying curriculum was putting greater emphasis on object-oriented design and abstraction principles. He is also co-leading a project to help the US National Science Foundation set priorities for CS education research.
Notably, he has also been a champion for increasing diversity in the computing field, especially through partnership programs with other universities in the state of Florida. These programs include pooling courses to improve access to relevant subject matter, providing support for especially challenging courses early in the computing curriculum, and increasing financial support for high-ability students with economic needs. As Associate Dean of Undergraduate Education at Florida International University, Weiss’s leadership in these programs has significantly increased the four and six-year graduation rates at his institution.
Among his many honors, Weiss has received the ACM SIGCSE Award for Outstanding Contributions to Computer Science Education, the IEEE-CS Taylor Booth Education Award, and the IEEE Sayle Education Achievement Award.
Background
Éva Tardos is the Jacob Gould Schurman Professor of Computer Science and Chair of the Department of Computer Science at Cornell University. Earlier in her career at Cornell, she held posts including Associate Dean for Diversity & Inclusion, and Diversity Lead for Computing and Information Sciences.
Tardos earned Diploma and Ph.D. degrees in Mathematics from Eӧtvӧs University, Budapest, and later earned a Candidate degree from the Hungarian Academy of Sciences. She has authored more than 100 publications on topics including approximation algorithms, mathematical optimization, algorithms, network planning and design, and theoretical computer science.
Her honors include receiving the IEEE John von Neumann Medal, the Fulkerson Prize, the George B. Dantzig Prize, the Van Wijngaarden Award, and the Gödel Prize. She is a Fellow of ACM, the Institute for Operations Research and the Management Sciences (INFORMS), the American Mathematical Society (AMS), the Society of Industrial and Applied Mathematics (SIAM), and the Game Theory Society. She has also been elected to the National Academy of Engineering, National Academy of Sciences, Hungarian Academy of Sciences, the American Philosophical Society, and the National Academy of Arts and Science.
2022-2023 ACM Athena Lecturer
ACM named Éva Tardos, a Professor at Cornell University, as the 2022-2023 ACM Athena Lecturer. Tardos is recognized for fundamental research contributions to combinatorial optimization, approximation algorithms, and algorithmic game theory, and for her dedicated mentoring and service to these communities. Initiated in 2006, the ACM Athena Lecturer Award celebrates women researchers who have made fundamental contributions to computer science.
Tardos is one of the most influential leaders in the field of theoretical computer science. Her impact spans deriving deep theoretical results, shaping new research areas, and influencing a broad range of applications. Her key contributions in combinatorial optimization include the first strongly polynomial-time algorithm for the minimum-cost flow problem (for which she received the Fulkerson Prize) and a general framework for fast approximation of packing and covering linear programs.
She developed fundamental approximation algorithms, developing new algorithmic techniques for the use of linear programming and rounding in network design problems. The applications of her work include solving problems in facility location, network routing, and the spread of influence in social networks. Tardos also played a key role in founding the field of algorithmic game theory by developing algorithms in the presence of self-interested agents that are governed by incentives and economic constraints.
Her pioneering work using game-theoretic ideas to quantify the performance gaps between centrally managed network traffic and the flow of traffic directed by self-interested agents (selfish routing) was recognized with the Gödel Prize. She subsequently developed new approaches to analyzing dynamic games and new algorithms for mechanism design including composable ones.
Tardos is an outstanding educator, mentor, and leader in her scientific community. She has received awards for excellence in teaching and leadership for her work supporting women in computer science, and several of her former students are now prominent figures in the field. She co-authored one of the leading textbooks used in undergraduate computer science, Algorithm Design, and co-edited Algorithmic Game Theory, a significant book at the intersection of economics and computation.
“Each year ACM honors a preeminent woman computer scientist as the Athena Lecturer,” said ACM President Gabriele Kotsis. “Athena Lecturers are recognized for both enduring technical contributions, as well as their community service and mentoring. Éva Tardos has played a central role in shaping the field of algorithms over three decades, and she has been one of the foremost authorities in the emerging field of algorithmic game theory. Her work, her generosity to younger colleagues, and her service to the wider field have been outstanding. We look forward to presenting her with this award and we know she will continue to make contributions for years to come.”
Tardos will be formally presented with the ACM Athena Lecturer Award at the annual ACM Awards Banquet, which will be held this year on Saturday, June 11 at the Palace Hotel in San Francisco. The ACM Athena Lecturer Award carries a cash prize of $25,000, with financial support provided by Two Sigma.
Background
Carla E. Brodley is Dean of Inclusive Computing, and past Dean of the Khoury College of Computer Sciences at Northeastern University. Prior to joining Northeastern, she was a Professor and Chair of the Department of Computer Science at Tufts University. Earlier in her career she served on the faculty of Purdue University. Brodley earned a B.A. Degree in computer science and mathematics from McGill University, and M.S. and Ph.D. degrees in computer science from the University of Massachusetts at Amherst.
Brodley has authored 30 journal articles, 53 conference papers, 7 magazine articles, 3 book chapters, and 26 symposia and workshop chapters. Her honors include receiving a National Science Foundation (NSF) CAREER Award and the Harrold and Notkin Research and Graduate Mentoring Award from the National Center for Women & Information Technology (NCWIT). Brodley was selected as a Fellow of the Association for the Advancement of Artificial Intelligence (AAAI) and was named an ACM Fellow for applications of machine learning and for increasing the participation of women in computer science.
ACM Frances E. Allen Award for Outstanding Mentoring
ACM named Carla E. Brodley the recipient of the inaugural ACM Frances E. Allen Award for Outstanding Mentoring. Brodley is recognized for significant personal mentorship and leadership in creating systemic programs that have increased diversity in computer science by creating mentoring opportunities for thousands at Northeastern and other universities across the United States.
An internationally recognized leader in the fields of machine learning, data mining, and artificial intelligence, Brodley has shown a deep commitment to mentoring and increasing diversity in computer science throughout her academic career. She has worked to develop and disseminate data-driven mentoring practices to make computer science more diverse, inclusive, and equitable in a sustainable and systemic way.
Brodley’s efforts have been remarkably successful. For example, while Dean of Northeastern University’s Khoury College of Computer Science from 2014 – 2021 enrollments grew from 2,125 students to 6,169. The total enrollment of undergraduate women grew from 19% to 32% (the national average is 21.5 %) and the enrollment of female MS students increased from 33% to 42% (the national average is 25.7 %). The representation of students from races and ethnicities historically marginalized in tech increased from 10% to 19%. These increases are attributed to several academic innovations Brodley championed including developing 30 interdisciplinary undergraduate computing majors, as well as the “Align MS in CS” which is a master’s in computing for individuals with undergraduate degrees in any field. In addition to student enrollment, Brodley also diversified the faculty at Khoury. Of the 46 new tenure track hires made during her tenure as Dean, 13 (28%) were women (double the national average) and 8 (17%) were from races and ethnicities that are underrepresented in technology (the national average of faculty from these groups is 1%).
“Computing is so essential to the way we live now and will live in the future,” said ACM President Gabriele Kotsis. “At ACM, we believe it is a matter of utmost importance to ensure that all people, regardless of their gender or racial background, learn about the possibilities of pursuing a career in computer science and feel welcome in our field. Carla E. Brodley not only put effective strategies into practice at Northeastern University, but she has developed a program to help dozens of computer science departments around the US effectively diagnose their diversity challenges and systemically address them. Thousands of students have benefited from her work, and we encourage everyone who is interested in broadening participation in academia or the private sector to learn from her example.”
Brodley has also led important initiatives to enhance the participation of women of all races and ethnicities in computer science departments across the United States. At Northeastern University, she founded the Center for Inclusive Computing (CIC) to focus on systemic changes that faculty and administrators can implement at their own universities to increase the representation of women in undergraduate computing. The CIC provides funding and mentorship to colleges and universities to support this objective.
With Brodley’s leadership, the CIC has provided over $13 million in Implementation and Diagnostic grants to 56 schools. Diagnostic grantees receive two years of funding to cover the cost of collecting detailed intersectional data related to enrollment, persistence, retention, and graduation. Implementation grantees receive 2-4 years of funding to make systemic sustainable change. The CIC does not just provide the money, it guides grantees through a multi-stage process that includes mentoring faculty and administrators in how to diagnose their own institutional barriers and how to implement the appropriate evidence-based practices to ensure that all students can discover, enjoy and persist in computing.
Over the years, she has also done significant work with the Computing Research Association’s Committee on Widening Participation (CRA-WP), serving as a Board Member and Co-Chair.
“Microsoft is proud to provide financial support for the inaugural Frances E. Allen Award for Outstanding Mentoring,” said Fatima Kardar, Vice President and COO at Microsoft. “An award recognizing great mentors is an excellent and long overdue idea. All of us can point to someone in our professional life who inspired us, helped us at a pivotal moment, or took time away from their own work to offer us advice or guidance. A spirit of cooperation has defined our field from the beginning—and we should encourage and celebrate it. We also congratulate Carla Brodley for her work in enhancing diversity, especially the participation of women in the field. At Microsoft we strive to create a deeply inclusive environment. It is the right thing to do, and we know that different perspectives on our teams lead to better products and services for our customers.”
Brodley will be formally presented with the ACM Frances E. Allen Award for Outstanding Mentoring at the annual ACM Awards Banquet, which will be held this year on Saturday, June 11 at the Palace Hotel in San Francisco.
Background
Pieter Abbeel is a Professor of Computer Science and Electrical Engineering at the University of California, Berkeley and the Co-Founder, President and Chief Scientist at Covariant, an AI robotics company. Abbeel earned a B.S. in Electrical Engineering from Katholieke Universiteit Leuven, as well as M.S. and Ph.D. degrees in Computer Science from Stanford University.
Abbeel’s honors include a Presidential Early Career Award for Scientists and Engineers, a National Science Foundation Early Career Development Program Award, and a Diane McEntyre Award for Excellence in Teaching. Additionally, Abbeel was named a Top Young Innovator Under 35 by the MIT Technology Review and received the Dick Volz Best U.S. Ph.D. Thesis in Robotics and Automation Award. He is a Fellow of IEEE.
2021 ACM Prize in Computing
ACM named Pieter Abbeel the recipient of the 2021 ACM Prize in Computing for contributions to robot learning, including learning from demonstrations and deep reinforcement learning for robotic control. Abbeel pioneered teaching robots to learn from human demonstrations (“apprenticeship learning”) and through their own trial and error (“reinforcement learning”), which have formed the foundation for the next generation of robotics. Abbeel is a Professor at the University of California, Berkeley and the Co-Founder, President and Chief Scientist at Covariant, an AI robotics company.
Early in his career, Abbeel developed new apprenticeship learning techniques to significantly improve robotic manipulation. As the field matured, researchers were able to program robots to perceive and manipulate rigid objects such as wooden blocks or spoons. However, programming robots to manipulate deformable objects, such as cloth, proved difficult because the way soft materials move when touched is unpredictable. Abbeel introduced new methods to enhance robot visual perception, physics-based tracking, control, and learning from demonstration. By combining these new methods, Abbeel developed a robot that was able to fold clothes such as towels and shirts ─ an improvement over existing technology that was considered an important milestone at the time.
Abbeel’s contributions also include developing robots that can perform surgical suturing, detect objects, and plan their trajectories in uncertain situations. More recently, he has pioneered “few-shot imitation learning,” where a robot is able to learn to perform a task from just one demonstration after having been pre-trained with a large set of demonstrations on related tasks.
Another especially promising area where Abbeel has made important contributions is in deep reinforcement learning for robotics. Reinforcement learning is an area of machine learning where an agent (e.g., a computer program) seeks to progress towards a reward (e.g., winning a game). While early reinforcement learning programs were effective, they could only perform simple tasks. The innovation of combining reinforcement learning with deep neural networks ushered in the new field of deep reinforcement learning, which can solve far more complex problems than computer programs developed with reinforcement learning alone.
Abbeel’s key breakthrough contribution in this area was developing a deep reinforcement learning method called Trust Region Policy Optimization. This method stabilizes the reinforcement learning process, enabling robots to learn a range of simulated control skills. By sharing his results, posting video tutorials, and releasing open-source code from his lab, Abbeel helped build a community of researchers that has since pushed deep learning for robotics even further ─ with robots performing ever more complicated tasks.
Abbeel has also made several other pioneering contributions including: generalized advantage estimation, which enabled the first 3D robot locomotion learning; soft-actor critic, which is one of the most popular deep reinforcement learning algorithms to-date; domain randomization, which showcases how learning across appropriately randomized simulators can generalize surprisingly well to the real world; and hindsight experience replay, which has been instrumental for deep reinforcement learning in sparse-reward/goal-oriented environments.
“Teaching robots to learn could spur major advances across many industries ─ from surgery and manufacturing to shipping and automated driving,” said ACM President Gabriele Kotsis. “Pieter Abbeel is a recognized leader among a new generation of researchers who are harnessing the latest machine learning techniques to revolutionize this field. Abbeel has made leapfrog research contributions, while also generously sharing his knowledge to build a community of colleagues working to take robots to an exciting new level of ability. His work exemplifies the intent of the ACM Prize in Computing to recognize outstanding work with ‘depth, impact, and broad implications.’”
“Infosys is proud of our longstanding collaboration with ACM, and we are honored to recognize Pieter Abbeel for the 2021 ACM Prize in Computing,” said Salil Parekh, Chief Executive Officer, Infosys. “The robotics field is poised for even greater advances, as innovative new ways are emerging to combine robotics with AI, and we believe researchers like Abbeel will be instrumental in creating the next great advances in this field.”
Abbeel will be formally presented with the ACM Prize in Computing at the annual ACM Awards Banquet, which will be held this year on Saturday, June 11 at the Palace Hotel in San Francisco.
2021 ACM A.M. Turing Award
ACM named Jack J. Dongarra recipient of the 2021 ACM A.M. Turing Award for pioneering contributions to numerical algorithms and libraries that enabled high performance computational software to keep pace with exponential hardware improvements for over four decades. Dongarra is a University Distinguished Professor of Computer Science in the Electrical Engineering and Computer Science Department at the University of Tennessee. He also holds appointments with Oak Ridge National Laboratory and the University of Manchester.
The ACM A.M. Turing Award, often referred to as the “Nobel Prize of Computing,” carries a $1 million prize, with financial support provided by Google, Inc. It is named for Alan M. Turing, the British mathematician who articulated the mathematical foundation and limits of computing.
Dongarra has led the world of high-performance computing through his contributions to efficient numerical algorithms for linear algebra operations, parallel computing programming mechanisms, and performance evaluation tools. For nearly forty years, Moore’s Law produced exponential growth in hardware performance. During that same time, while most software failed to keep pace with these hardware advances, high performance numerical software did—in large part due to Dongarra’s algorithms, optimization techniques, and production-quality software implementations.
These contributions laid a framework from which scientists and engineers made important discoveries and game-changing innovations in areas including big data analytics, healthcare, renewable energy, weather prediction, genomics, and economics, to name a few. Dongarra’s work also helped facilitate leapfrog advances in computer architecture and supported revolutions in computer graphics and deep learning.
Dongarra’s major contribution was in creating open-source software libraries and standards which employ linear algebra as an intermediate language that can be used by a wide variety of applications. These libraries have been written for single processors, parallel computers, multicore nodes, and multiple GPUs per node. Dongarra’s libraries also introduced many important innovations including autotuning, mixed precision arithmetic, and batch computations.
As a leading ambassador of high-performance computing, Dongarra led the field in persuading hardware vendors to optimize these methods, and software developers to target his open-source libraries in their work. Ultimately, these efforts resulted in linear algebra-based software libraries achieving nearly universal adoption for high performance scientific and engineering computation on machines ranging from laptops to the world’s fastest supercomputers. These libraries were essential in the growth of the field—allowing progressively more powerful computers to solve computationally challenging problems.
“Today’s fastest supercomputers draw headlines in the media and excite public interest by performing mind-boggling feats of a quadrillion calculations in a second,” explains ACM President Gabriele Kotsis. “But beyond the understandable interest in new records being broken, high performance computing has been a major instrument of scientific discovery. HPC innovations have also spilled over into many different areas of computing and moved our entire field forward. Jack Dongarra played a central part in directing the successful trajectory of this field. His trailblazing work stretches back to 1979, and he remains one of the foremost and actively engaged leaders in the HPC community. His career certainly exemplifies the Turing Award’s recognition of ‘major contributions of lasting importance.’”
“Jack Dongarra's work has fundamentally changed and advanced scientific computing,” said Jeff Dean, Google Senior Fellow and SVP of Google Research and Google Health. “His deep and important work at the core of the world's most heavily used numerical libraries underlie every area of scientific computing, helping advance everything from drug discovery to weather forecasting, aerospace engineering and dozens more fields, and his deep focus on characterizing the performance of a wide range of computers has led to major advances in computer architectures that are well suited for numeric computations.”
Dongarra will be formally presented with the ACM A.M. Turing Award at the annual ACM Awards Banquet, which will be held this year on Saturday, June 11 at the Palace Hotel in San Francisco.
SELECT TECHNICAL CONTRIBUTIONS
For over four decades, Dongarra has been the primary implementor or principal investigator for many libraries such as LINPACK, BLAS, LAPACK, ScaLAPACK, PLASMA, MAGMA, and SLATE. These libraries have been written for single processors, parallel computers, multicore nodes, and multiple GPUs per node. His software libraries are used, practically universally, for high performance scientific and engineering computation on machines ranging from laptops to the world’s fastest supercomputers.
These libraries embody many deep technical innovations such as:
Autotuning: through his 2016 Supercomputing Conference Test of Time award-winning ATLAS project, Dongarra pioneered methods for automatically finding algorithmic parameters that produce linear algebra kernels of near-optimal efficiency, often outperforming vendor-supplied codes.
Mixed precision arithmetic: In his 2006 Supercomputing Conference paper, “Exploiting the Performance of 32 bit Floating Point Arithmetic in Obtaining 64 bit Accuracy,” Dongarra pioneered harnessing multiple precisions of floating-point arithmetic to deliver accurate solutions more quickly. This work has become instrumental in machine learning applications, as showcased recently in the HPL-AI benchmark, which achieved unprecedented levels of performance on the world’s top supercomputers.
Batch computations: Dongarra pioneered the paradigm of dividing computations of large dense matrices, which are commonly used in simulations, modeling, and data analysis, into many computations of smaller tasks over blocks that can be calculated independently and concurrently. Based on his 2016 paper, “Performance, design, and autotuning of batched GEMM for GPUs,” Dongarra led the development of the Batched BLAS Standard for such computations, and they also appear in the software libraries MAGMA and SLATE.
Dongarra has collaborated internationally with many people on the efforts above, always in the role of the driving force for innovation by continually developing new techniques to maximize performance and portability while maintaining numerically reliable results using state of the art techniques. Other examples of his leadership include the Message Passing Interface (MPI) the de-facto standard for portable message-passing on parallel computing architectures, and the Performance API (PAPI), which provides an interface that allows collection and synthesis of performance from components of a heterogeneous system. The standards he helped create, such as MPI, the LINPACK Benchmark, and the Top500 list of supercomputers, underpin computational tasks ranging from weather prediction to climate change to analyzing data from large scale physics experiments.
2021-2022 ACM/CSTA Cutler-Bell Prize
ACM and the Computer Science Teachers Association (CSTA) selected four high school students from among a pool of graduating high school seniors throughout the US for the ACM/CSTA Cutler-Bell Prize in High School Computing. Eligible students applied for the award by submitting a project/artifact that engages modern technology and computer science. A panel of judges selected the recipients based on the ingenuity, complexity, relevancy, and originality of their projects.
The Cutler-Bell Prize promotes the field of computer science and empowers students to pursue computing challenges beyond the traditional classroom environment. In 2015, David Cutler and Gordon Bell established the award. Cutler is a software engineer, designer, and developer of several operating systems at Digital Equipment Corporation. Bell, an electrical engineer, is researcher emeritus at Microsoft Research.
Each Cutler-Bell Prize recipient receives a $10,000 cash prize. The prize amount is sent to the financial aid office of the institution the student will be attending next year and is then put toward each student’s tuition or disbursed.
The winning projects illustrate the diverse applications being developed by the next generation of computer scientists.
Harshal Bharatia, Plano Senior High School, Plano, Texas
In his project, Thermocloud: A Smart Collaborative Thermostat, Harshal Bharatia used agile methodology and an interactive design and development cycle. The purpose of this project is to design and construction of a cloud-based collaborative learning thermostat that optimizes the operation of HVAC systems by learning to collaborate and use the best machine learning approach to maximize comfort and energy savings for each system. Using a collaborative cloud-based learning approach across many houses, it learns to adapt the operation of an HVAC system by identifying the best currently-available machine learning approach and uses this approach to maximize comfort and energy savings. With cost-effective hardware, it enables collaboration with other similar thermostats and controls the HVAC system in a reliable fashion. It also supports additional energy-saving features such as multi-story equalizer, blackout mitigation, and user-driven cost versus comfort trade-off. This approach was truly innovative as it was domain agnostic and allowed a very large number of clients to lazily update the route-mapping and the system automatically addressed degradation as a result feedback triggered automatic cluster refinement, model retraining, and strategy selection to improve performance. With more than 34% energy savings, Bharatia patented the novel Thermocloud approach and released it in public-domain at intellicusp.org/thermocloud, as by enabling people to freely save energy, Bharatia hopes the fight against climate change leads to a better tomorrow.
Yash Narayan, The Nueva School, San Mateo, California
Yash Narayan developed DeepWaste. This easy-to-use mobile application utilizes highly-optimized deep learning techniques to classify waste better than humans. A user using DeepWaste can simply point their phone camera to any piece of waste (food, bottle, paper, etc.) and get instantaneous feedback on whether the item is recyclable, compostable, or trash. Narayan was inspired to create DeepWaste after seeing the large volumes of misclassified waste at his local recycling center several years ago. Indeed, DeepWaste solves a critical problem, as inaccurate waste disposal, at the point of disposal is a significant contributor to climate change. When materials that could be recycled or composted are diverted into landfills, they cause the emission of potent greenhouse gases. His project demonstrates the efficacy of an accurate, easy-to-use, scalable solution to augment human performance in waste disposal, accessible right at the point of disposal–an innovative approach applying AI to a large-scale global problem. If DeepWaste improves human waste-disposal accuracy by even 1%, it would be equivalent to removing over 6.5 million gasoline-burning passenger vehicles from the road.
Shoumik Roychowdhury, Westwood High School, Austin, Texas
Shoumik Roychowdhury’s project, XNet: A Novel Machine Learning Model for Fast MRI Reconstruction, took inspiration from his own experience with MRIs. This project's vision is to create an effective and computationally inexpensive Deep Learning (DL) pipeline that can aid medical professionals in capturing MR images faster. The proposed work is a novel generative adversarial network architecture that uses two similar MR images which have been reconstructed from 0.1%, 2%, or 5% sub-sampled k-spaces, as inputs to produce a complete MR image with a peak signal-to-noise ratio (PSNR) equal or higher than full-space reconstructed MR images. This architecture is dubbed X-Net due to the model's shape looking like the letter 'X.' By treating the reconstructed sub-sampled MR images as matrices, X-Net's generator network can convolutionally auto encode information from two different reconstructed sub-sampled MR images, cross-pollinate features and attributes, convolutionally auto decode the new information, and magnify residual information to create an enhanced image. This resultant image is then sent to the pre-trained discriminator network, which determines whether it is real or fake. Next, the loss functions are automatically updated, and consequently, the generator's hyperparameters are automatically tuned. This process is repeated for 10,000 iterations until the model is finally trained. This tuned model is now ready for deployment in the real world, aiding medical professionals in providing fast and sharp MR reconstruction. In the future, Roychowdhury plans to successfully deploy and implement this solution across the healthcare industry, implementing this work in two key manners.
Hiya Shah, Amador Valley High School, Pleasanton, California
The main vision of Hiya Shah’s project, titled “Maji: Water Security,” is a mobile application that determines the real-time water quality of your home’s water pipes by using innovative machine learning and building a large database of water quality data to achieve our goal of decreasing water health consequences. Another vision of Maji is to computationally design an environmentally sustainable (lower energy costs and lower water wastage) forever chemical (PFAS) filtration membrane that can relay data to the mobile application in real-time. To scale Maji beyond her city, Shah is am currently working with the U.S. Environmental Protection Agency (as part of the U.S. President’s Environmental Youth Award) to implement it on the IOS App store for residents across the United States to use. In the immediate future, she seeks to develop the application for the Google Play Store and reach unincorporated areas and the global market by proposing the app to private water suppliers and local government officials for implementation.
“We are proud to support an effort which encourages high school computer science students to develop projects that will advance society,” said Cutler and Bell. “We hope that, whatever careers these students ultimately pursue, they will consider how technology can have a positive impact on the wider world. Beyond challenging the students to stretch their skills and imaginations, developing their own projects gives students confidence.”
"In today's world, computer science is rapidly becoming an essential aptitude for students at all levels and in every area of study," explains ACM President Gabriele Kotsis. "In the coming years, students who have exposure to computer science education in K-12 settings will be at a decided advantage when they enter university or begin their careers. ACM is proud to be a partner with the CSTA in bestowing the Cutler-Bell Prize. Cutler-Bell Prize-winning students are exemplars for their peers. These students demonstrate that they have the vision to use computing as a tool to address pressing problems in society, as well as the technical aptitude to develop a practical plan outlining how they would make their vision a reality. We also congratulate the computer science teachers who guided these students and Cutler and Bell for funding this award."
"Each year, these winning projects showcase the continuing advancements of computer science and the power of high-quality computer science education,” said Jake Baskin, Executive Director of CSTA. “These students and their projects embody CSforGood, and it’s inspiring to see how they are leveraging their computer science skills to solve pressing problems. CSTA is proud to honor their work and thanks Gordon Bell and David Cutler for their continued support of the award.”
ACM Names 71 Fellows for Computing Advances that are Driving Innovation
ACM, the Association for Computing Machinery, has named 71 members ACM Fellows for wide-ranging and fundamental contributions in areas including algorithms, computer science education, cryptography, data security and privacy, medical informatics, and mobile and networked systems ─ among many other areas. The accomplishments of the 2021 ACM Fellows underpin important innovations that shape the technologies we use every day.
The ACM Fellows program recognizes the top 1% of ACM Members for their outstanding accomplishments in computing and information technology and/or outstanding service to ACM and the larger computing community. Fellows are nominated by their peers, with nominations reviewed by a distinguished selection committee.
“Computing professionals have brought about leapfrog advances in how we live, work, and play,” said ACM President Gabriele Kotsis. “New technologies are the result of skillfully combining the individual contributions of numerous men and women, often building upon diverse contributions that have emerged over decades. But technological progress would not be possible without the essential building blocks of individual contributors. The ACM Fellows program honors the creativity and hard work of ACM members whose specific accomplishments make broader advances possible. In announcing a new class of Fellows each year, we celebrate the impact ACM Fellows make, as well as the many technical areas of computing in which they work.”
In keeping with ACM’s global reach, the 2021 Fellows represent universities, corporations, and research centers in Belgium, Canada, China, France, Germany, India, Israel, Italy, and the United States.
The contributions of the 2021 Fellows run the gamut of the computing field―including cloud database systems, deep learning acceleration, high performance computing, robotics, and theoretical computer science ─ to name a few.
Additional information about the 2021 ACM Fellows, as well as previously named ACM Fellows, is available through the ACM Fellows site.
ACM Recognizes 2021 Distinguished Members for Pivotal Educational, Engineering and Scientific Contributions
ACM has named 63 Distinguished Members for outstanding contributions to the field. All 2021 inductees are longstanding ACM members and were selected by their peers for a range of accomplishments that advance computing as a science and a profession.
"Each year we are excited to recognize a new class of ACM Distinguished Members for their professional achievements, as well as their longstanding membership with ACM,” explains ACM President Gabriele Kotsis. “The Distinguished Members program is a way both to celebrate the trailblazing work of our members, and to underscore how participation with a professional society enhances one’s career growth. This award category also emphasizes how ACM’s worldwide membership is the foundation of our organization."
The 2021 ACM Distinguished Members work at leading universities, corporations and research institutions in Australia, Bangladesh, Canada, Chile, China, Germany, India, New Zealand, Norway, Qatar, Saudi Arabia, Singapore, Spain, the United Kingdom and the United States. ACM Distinguished Members are selected for their contributions in three separate categories: educational, engineering and scientific. The new class of Distinguished Members made advancements in areas including bioinformatics, computer architecture, computer graphics, data science, human-computer interaction, networking and distributed systems, semantic web research, security, and software engineering, among many other areas.
The ACM Distinguished Member program recognizes up to 10 percent of ACM worldwide membership based on professional experience and significant achievements in the computing field. To be nominated, a candidate must have at least 15 years of professional experience in the computing field, five years of professional ACM membership in the last 10 years, and have achieved a significant level of accomplishment, or made a significant impact in the field of computing, computer science or information technology. A Distinguished Member is expected to have served as a mentor and role model by guiding technical career development and contributing to the field beyond the norm.
2021 ACM Gordon Bell Prize Awarded to Team for Achieving Real-Time Simulation of Random Quantum Circuit
ACM, the Association for Computing Machinery, named a 14-member team, drawn from Chinese institutions, recipients of the 2021 ACM Gordon Bell Prize for their project, Closing the "Quantum Supremacy" Gap: Achieving Real-Time Simulation of a Random Quantum Circuit Using a New Sunway Supercomputer.
The members of the winning team are: Yong (Alexander) Liu, Xin (Lucy) Liu, Fang (Nancy) Li, Yuling Yang, Jiawei Song, Pengpeng Zhao, Zhen Wang, Dajia Peng, and Huarong Chen of Zhejiang Lab, Hangzhou and the National Supercomputing Center in Wuxi; Haohuan Fu and Dexun Chen of Tsinghua University, Beijing, and the National Supercomputing Center in Wuxi; Wenzhao Wu of the National Supercomputing Center in Wuxi; and Heliang Huang and Chu Guo of the Shanghai Research Center for Quantum Sciences.
Quantum supremacy is a term used to denote the point at which a quantum device can solve a problem that no classical computer can solve in a reasonable amount of time. Teams at Google and the University of Science and Technology of China in Hefei both claim to have developed devices that have achieved quantum supremacy.
According to the Gordon Bell Prize recipients, determining whether a device has achieved quantum supremacy for a given task (in a specific scenario) begins with sampling the interactions of the different quantum bits (qubits) in a random quantum circuit (RQC). As the number of possible interactions among qubits in a random quantum circuit is staggeringly large, simulating their interactions is a problem well-suited for a high-performance computer. However, the quantum physics behind the entangled qubits requires that the classical binary bits used in a supercomputer store and compute the information with exponentially-increasing complexity.
In their Gordon Bell Prize-winning work, the Chinese researchers introduced a systematic design process that covers the algorithm, parallelization, and architecture required for the simulation. Using a new Sunway Supercomputer, the Chinese team effectively simulated a 10x10x (1+40+1) random quantum circuit (a new milestone for classical simulation of RQC). Their simulation achieved a performance of 1.2 Eflops (one quintillion floating-point operations per second) single-precision, or 4.4 Eflops mixed-precision, using over 41.9 million Sunway cores (processors).
The project far outpaced state-of-the-art approaches to simulating an RQC. For example, the most recent effort, using the Summit supercomputer to simulate a random quantum circuit of the Google Sycamore quantum processor (which has 53 qubits), was estimated to take 10,000 years to perform. By contrast, the Chinese team’s approach employing the Sunway supercomputer takes only 304 seconds for a simulation of similar quantum complexity.
The Chinese team explained that they undertook this challenge because achieving real-time simulation of an RQC using a supercomputer would aid both in the development of quantum devices and in bringing algorithmic and architectural innovations within the traditional supercomputing community.
The ACM Gordon Bell Prize tracks the progress of parallel computing and rewards innovation in applying high performance computing to challenges in science, engineering, and large-scale data analytics. The award was presented today by former ACM President Cherri M. Pancake and Professor Mark Parsons, Chair of the 2021 Gordon Bell Prize Award Committee, during the International Conference for High Performance Computing, Networking, Storage and Analysis (SC21), which was held in St. Louis, Missouri, and virtually for those who could not attend.
2021 ACM-IEEE CS George Michael Memorial HPC Fellowships
Mert Hidayetoglu of the University of Illinois at Urbana-Champaign and Tirthak Patel of Northeastern University are the recipients of the 2021 ACM-IEEE CS George Michael Memorial HPC Fellowships. Hidayetoglu is recognized for contributions in scalable sparse applications using fast algorithms and hierarchical communication on supercomputers with multi-GPU nodes. Patel is recognized for contributions toward making the current error-prone quantum computing systems more usable and helping HPC programmers solve computationally challenging problems.
Mert Hidayetoglu
Sparse operations are the main computational workload for numerous scientific, AI and graph analytics applications. Most of the time, the costs of computation and communication for distributed sparse operations constitute an overall performance bottleneck.
Hidayetoglu’s research investigates this bottleneck at two specific points: memory accesses and communication. He has proposed and demonstrated two novel techniques: sparse matrix tiling and hierarchical communications. The first technique, sparse matrix tiling, accelerates sparse matrix multiplication on a single GPU by the preprocessing of sparse data access patterns and constructs necessary data structures accordingly. The second technique, hierarchical communications, eliminates the communication bottleneck , which typically dominates end-to-end execution time when large problems at terabyte (TB) scale fit on only hundreds of GPUs. Hidayetoglu’s technique performs sparse communications (depending on the sparsity pattern of the matrix) locally-first to reduce the costly data communication across nodes.
Hidayetoglu has successfully demonstrated these techniques in award-winning applications, including large-scale X-ray imaging at Argonne National Laboratory and accelerated sparse deep neural network inference at IBM. Related papers at SC20 and HPEC20 won the best paper award and the Sparse Challenge championship title, respectively.
Tirthak Patel
Patel's research addresses the challenge of erroneous program executions on quantum computers and provides robust solutions to improve their reliability. Despite rapid progress in quantum computing, prohibitively high noise on existing near-term intermediate-scale quantum (NISQ) computers remains a fundamental roadblock in the wider adoption of quantum computing. Due to the high noise, program executions on existing quantum computers produce erroneous program outputs. Quantum computing programmers largely lack the tools to estimate the correct output from these noisy program executions.
Patel, advised by Devesh Tiwari at Northeastern University, is designing cross-layer system software for extracting meaningful output from erroneous executions on quantum computers. In particular, he first led the effort to benchmark and characterize the performance of different quantum algorithms on IBM quantum computers. Patel leveraged insights gained from this measurement-based experimental effort to inform the design of his novel tools and methods, including VERITAS, QRAFT, UREQA, and DisQ.
For example, his technique VERITAS demonstrates how carefully-designed statistical methods can mitigate errors post-program execution and help programmers deduce the correct program output effectively. Patel's other solution, QRAFT, leverages the reversibility property of quantum operations to deduce the correct program output, even when the program is executed on qubits with relatively high error rates. Both approaches relieve programmers and compilers from the burden of selecting the qubits with the least error rate, a significant departure from existing approaches in this area. Patel's work lowers the barrier to entry into quantum computing for HPC programmers by open-sourcing multiple novel datasets and system software frameworks.
David Abramson Recognized with ACM-IEEE CS Ken Kennedy Award
The Association for Computing Machinery and IEEE Computer Society named David Abramson, a Professor at the University of Queensland, as the recipient of the 2021 ACM-IEEE CS Ken Kennedy Award. Abramson is recognized for contributions to parallel and distributed computing tools, with application from quantum chemistry to engineering design. He is also cited for his mentorship and service to the field.
Technical Contributions
Abramson has performed pioneering research in the design, implementation, and application of software tools for parallel and distributed systems. He has conducted foundational research in distributed and parallel middleware, addressing programmer productivity and software correctness, and has influenced multiple generations of researchers. His papers have been cited more than 12,000 times.
Two highly-regarded tools developed by Abramson include Nimrod, a family of software systems that support the execution of distributed parameter sweeps, searches, and workflows; and Guard, a performance tuning and debugging tool.
The Nimrod template is common in many fields and is well suited to execution in distributed environments. Nimrod makes it possible to write concisely complex parameter sweeps—which entail executing an algorithm repeatedly with varying parameters—and supports advanced searches that integrate optimization algorithms, design of experiments methods, and scientific workflows. Additionally, the Nimrod project spawned a family of tools that make it easy to specify complex computational experiments and has resulted in a spinoff commercial product called EnFuzion, which has been widely adopted for power grid and simulation.
Abramson designed Guard with a hybrid debugging scheme that tests new versions of a program against reference versions known to be correct. Guard greatly enhances programmers’ ability to locate and fix errors in new software versions. The technology was licensed to Cray Inc. (now HPE) and is distributed on Cray supercomputers. As a result, it has been deployed at major international supercomputing centers, including the US National Energy Research Scientific Computing Center (NERSC) and the Swiss National Supercomputing Centre (CSCS).
Mentorship
Abramson has been an advisor to two dozen graduate students in computer science, as well as countless undergraduate and high school students.
Among his most important initiatives, Abramson has been an international driver of the PRIME initiative, an NSF-funded University of California San Diego program that enables undergraduate students to take research internships abroad. Inspired by the success of PRIME, he has introduced similar programs for Australian undergraduates to travel abroad for internships, and he has organized travels for Australian students to top research centers in the US and the UK annually for over 12 years. Since 2011, he has run a unique program that supports Australian high school students attending SC, the leading high performance computing conference.
Also in the mentoring arena, Abramson started streaming video HPC seminars that have allowed Australian students to engage with world leaders, and he launched the Early Adopters PhD Workshop at SC09. Distinct from other doctoral showcases, the workshop specifically targets research students from fields outside of computer science who are applying HPC tools in their research.
Service to the Field
Over his career, Abramson has been General Chair, Program Committee Chair, or program committee member of many conferences related to performance and programmer productivity (on average about eight per year), including IPDPS, HiPC, HPC Asia, HPDC, ICPADS, Cluster, SC, CCGrid, Grid and e-Science.
He is currently the Chair of the e-Science Steering Committee and has served in several senior roles in the IEEE/ACM SC series, including Chair of the Technical Papers Committee (2021) and Test of Time Award Committee (2018), Co-chair of the Invited Speakers Committee (2019) and “More than HPC” Plenary Committee (2020).
ACM and IEEE CS co-sponsor the Kennedy Award, which was established in 2009 to recognize substantial contributions to programmability and productivity in computing and significant community service or mentoring contributions. It was named for the late Ken Kennedy, founder of Rice University’s computer science program and a world expert on high performance computing. The Kennedy Award carries a US $5,000 honorarium endowed by IEEE CS and ACM. The award will be formally presented to Abramson in November at the International Conference for High Performance Computing, Networking, Storage and Analysis (SC21).
Background
A Professor at the University of Queensland, Abramson is currently the Chair of the e-Science Steering Committee and has served in several senior roles in the IEEE/ACM SC series, including Chair of the Technical Papers Committee (2021) and Test of Time Award Committee (2018), Co-chair of the Invited Speakers Committee (2019) and “More than HPC” Plenary Committee (2020).
Over his career, Abramson has been General Chair, Program Committee Chair, or program committee member of many conferences related to performance and programmer productivity, and has mentored students as an advisor, through international internship programs, and by offering seminars and workshops.
2020 ACM Doctoral Dissertation Award
Chuchu Fan is the recipient of the 2020 ACM Doctoral Dissertation Award for her dissertation, “Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications.” The dissertation makes foundational contributions to verification of embedded and cyber-physical systems, and demonstrates applicability of the developed verification technologies in industrial-scale systems.
Fan’s dissertation also advances the theory for sensitivity analysis and symbolic reachability; develops verification algorithms and software tools (DryVR, Realsyn); and demonstrates applications in industrial-scale autonomous systems.
Key contributions of her dissertation include the first data-driven algorithms for bounded verification of nonlinear hybrid systems using sensitivity analysis. A groundbreaking demonstration of this work on an industrial-scale problem showed that verification can scale. Her sensitivity analysis technique was patented, and a startup based at the University of Illinois at Urbana-Champaign has been formed to commercialize this approach.
Fan also developed the first verification algorithm for “black box” systems with incomplete models combining probably approximately correct (PAC) learning with simulation relations and fixed point analyses. DryVR, a tool that resulted from this work, has been applied to dozens of systems, including advanced driver assist systems, neural network-based controllers, distributed robotics, and medical devices.
Additionally, Fan’s algorithms for synthesizing controllers for nonlinear vehicle model systems have been demonstrated to be broadly applicable. The RealSyn approach presented in the dissertation outperforms existing tools and is paving the way for new real-time motion planning algorithms for autonomous vehicles.
Fan is the Wilson Assistant Professor of Aeronautics and Astronautics at the Massachusetts Institute of Technology, where she leads the Reliable Autonomous Systems Lab. Her group uses rigorous mathematics including formal methods, machine learning, and control theory for the design, analysis, and verification of safe autonomous systems. Fan received a BA in Automation from Tsinghua University. She earned her PhD in Electrical and Computer Engineering from the University of Illinois at Urbana-Champaign.
Honorable Mentions for the 2020 ACM Doctoral Dissertation Award go to Henry Corrigan-Gibbs and Ralf Jung.
Corrigan-Gibbs’s dissertation, “Protecting Privacy by Splitting Trust,” improved user privacy on the internet using techniques that combine theory and practice. Corrigan-Gibbs first develops a new type of probabilistically checkable proof (PCP), and then applies this technique to develop the Prio system, an elegant and scalable system that addresses a real industry need. Prio is being deployed at several large companies, including Mozilla, where it has been shipping in the nightly version of the Firefox browser since late 2019, the largest-ever deployment of PCPs.
Corrigan-Gibbs’s dissertation studies how to robustly compute aggregate statistics about a user population without learning anything else about the users. For example, his dissertation introduces a tool enabling Mozilla to measure how many Firefox users encountered a particular web tracker without learning which users encountered that tracker or why. The thesis develops a new system of probabilistically checkable proofs that lets every browser send a short zero-knowledge proof that its encrypted contribution to the aggregate statistics is well formed. The key innovation is that verifying the proof is extremely fast.
Corrigan-Gibbs is an Assistant Professor in the Electrical Engineering and Computer Science Department at the Massachusetts Institute of Technology, where he is also a member of the Computer Science and Artificial Intelligence Lab. His research focuses on computer security, cryptography, and computer systems. Corrigan-Gibbs received his PhD in Computer Science from Stanford University.
Ralf Jung’s dissertation, “Understanding and Evolving the Rust Programming Language,” established the first formal foundations for safe systems programming in the innovative programming language Rust. In development at Mozilla since 2010, and increasingly popular throughout the industry, Rust addresses a longstanding problem in language design: how to balance safety and control. Like C++, Rust gives programmers low-level control over system resources. Unlike C++, Rust also employs a strong “ownership-based” system to statically ensure safety, so that security vulnerabilities like memory access errors and data races cannot occur. Prior to Jung’s work, however, there had been no rigorous investigation of whether Rust’s safety claims actually hold, and due to the extensive use of “unsafe escape hatches” in Rust libraries, these claims were difficult to assess.
In his dissertation, Jung tackles this challenge by developing semantic foundations for Rust that account directly for the interplay between safe and unsafe code. Building upon these foundations, Jung provides a proof of safety for a significant subset of Rust. Moreover, the proof is formalized within the automated proof assistant Coq and therefore its correctness is guaranteed. In addition, Jung provides a platform for formally verifying powerful type-based optimizations, even in the presence of unsafe code.
Through Jung's leadership and active engagement with the Rust Unsafe Code Guidelines working group, his work has already had profound impact on the design of Rust and laid essential foundations for its future.
Jung is a post-doctoral researcher at the Max Planck Institute for Software Systems and a research affiliate of the Parallel and Distributed Operating Systems Group at the Massachusetts Institute of Technology. His research interests include programming languages, verification, semantics, and type systems. He conducted his doctoral research at the Max Planck Institute for Software Systems, and received his PhD, Master's, and Bachelor's degrees in Computer Science from Saarland University.
2020 ACM Doctoral Dissertation Award Honorable Mention
Chuchu Fan is the recipient of the 2020 ACM Doctoral Dissertation Award for her dissertation, “Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications.” Honorable Mentions go to Henry Corrigan-Gibbs of the Massachusetts Institute of Technology and Ralf Jung of the Max Planck Institute for Software Systems and MIT.
Ralf Jung’s dissertation, “Understanding and Evolving the Rust Programming Language,” established the first formal foundations for safe systems programming in the innovative programming language Rust. In development at Mozilla since 2010, and increasingly popular throughout the industry, Rust addresses a longstanding problem in language design: how to balance safety and control. Like C++, Rust gives programmers low-level control over system resources. Unlike C++, Rust also employs a strong “ownership-based” system to statically ensure safety, so that security vulnerabilities like memory access errors and data races cannot occur. Prior to Jung’s work, however, there had been no rigorous investigation of whether Rust’s safety claims actually hold, and due to the extensive use of “unsafe escape hatches” in Rust libraries, these claims were difficult to assess.
In his dissertation, Jung tackles this challenge by developing semantic foundations for Rust that account directly for the interplay between safe and unsafe code. Building upon these foundations, Jung provides a proof of safety for a significant subset of Rust. Moreover, the proof is formalized within the automated proof assistant Coq and therefore its correctness is guaranteed. In addition, Jung provides a platform for formally verifying powerful type-based optimizations, even in the presence of unsafe code.
Through Jung's leadership and active engagement with the Rust Unsafe Code Guidelines working group, his work has already had profound impact on the design of Rust and laid essential foundations for its future.
Jung is a post-doctoral researcher at the Max Planck Institute for Software Systems and a research affiliate of the Parallel and Distributed Operating Systems Group at the Massachusetts Institute of Technology. His research interests include programming languages, verification, semantics, and type systems. He conducted his doctoral research at the Max Planck Institute for Software Systems, and received his PhD, Master's, and Bachelor's degrees in Computer Science from Saarland University.
2020 ACM Doctoral Dissertation Award
Chuchu Fan is the recipient of the 2020 ACM Doctoral Dissertation Award for her dissertation, “Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications.” Honorable Mentions go to Henry Corrigan-Gibbs of the Massachusetts Institute of Technology and Ralf Jung of the Max Planck Institute for Software Systems and MIT.
Fan’s dissertation makes foundational contributions to verification of embedded and cyber-physical systems, and demonstrates applicability of the developed verification technologies in industrial-scale systems. Her dissertation also advances the theory for sensitivity analysis and symbolic reachability; develops verification algorithms and software tools (DryVR, Realsyn); and demonstrates applications in industrial-scale autonomous systems.
Key contributions of her dissertation include the first data-driven algorithms for bounded verification of nonlinear hybrid systems using sensitivity analysis. A groundbreaking demonstration of this work on an industrial-scale problem showed that verification can scale. Her sensitivity analysis technique was patented, and a startup based at the University of Illinois at Urbana-Champaign has been formed to commercialize this approach.
Fan also developed the first verification algorithm for “black box” systems with incomplete models combining probably approximately correct (PAC) learning with simulation relations and fixed point analyses. DryVR, a tool that resulted from this work, has been applied to dozens of systems, including advanced driver assist systems, neural network-based controllers, distributed robotics, and medical devices.
Additionally, Fan’s algorithms for synthesizing controllers for nonlinear vehicle model systems have been demonstrated to be broadly applicable. The RealSyn approach presented in the dissertation outperforms existing tools and is paving the way for new real-time motion planning algorithms for autonomous vehicles.
Fan is the Wilson Assistant Professor of Aeronautics and Astronautics at the Massachusetts Institute of Technology, where she leads the Reliable Autonomous Systems Lab. Her group uses rigorous mathematics including formal methods, machine learning, and control theory for the design, analysis, and verification of safe autonomous systems. Fan received a BA in Automation from Tsinghua University. She earned her PhD in Electrical and Computer Engineering from the University of Illinois at Urbana-Champaign.
2020 ACM Eugene L. Lawler Award for Humanitarian Contributions within Computer Science and Informatics
Richard Anderson, a Professor at the University of Washington, was named recipient of the Eugene L. Lawler Award for contributions bridging the fields of Computer Science, Education, and global health.
Anderson, his students and collaborators have developed a range of innovative applications in health, education, the internet, and financial services, benefiting underserved communities around the globe. He is one of the founders of the emerging field of Information and Communications Technologies for Development (ICTD), which seeks to develop and apply computing and information technologies to benefit low-income populations worldwide, particularly in developing countries.
Anderson has also led various projects using technological innovations to drive community-led video instruction and achieve success in education, agriculture, and health practice. For example, Projecting Health employs handheld projectors to show locally-produced videos to groups of women, spurring follow-up conversations on maternal and child health. Projecting Health has led to over 15,000 screenings across 180 villages, reaching an estimated 190,000 residents.
The Open Data Kit (ODK) research project is another exemplar of an open source infrastructure project revolutionizing data collection in developing regions and enabling improved learning, health care, and farming. Anderson provided leadership to the project as it transitioned from a university-led project to a free-standing organization, and continues to conduct research on expanding ODK-X, a platform for building data management applications that are having significant impact on humanitarian response, control of vector borne diseases, and country immunization systems.
Other successful partnerships have included a human milk bank project in South Africa; a mobile health communication platform for maternal and child health in Kenya; and a vaccine cold-chain project in Uganda and Pakistan.
In addition to research excellence and humanitarian projects, Anderson has played a core leadership role in bringing together several communities under the umbrella of ACM COMPASS (Computing and Sustainable Societies), and organizing and championing conferences, workshops, and tutorials, many of them in developing countries (e.g., Pakistan, Ghana, and Ecuador). Anderson has fostered a growing community of researchers, practitioners and students engaged in using computing and information technology for humanitarian causes.
The 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. It is given once every two years, assuming that there are worthy recipients. The award is accompanied by a prize of $5,000.
2020 Outstanding Contribution to ACM Award
Chris Hankin was named recipient of the Outstanding Contribution to ACM Award for fundamental contributions to ACM Europe and for bringing a European perspective to critically important ACM committees and activities.
Hankin, a professor at Imperial College London, has been a continuous member of ACM since 1994, and has made significant contributions to the association. He served on the Editorial Board of ACM Computing Surveys from the mid-1990s and acted as co-editor of the Computing Surveys Symposium on Strategic Directions for Research on Programming Languages, held at MIT in 1996 to celebrate the 50th anniversary of ACM. He served with distinction as Editor-in-Chief of ACM Computing Surveys from 2007 to 2013. He joined the Assessment and Search Committee of the Publications Board in 2015 and became Co-chair in 2017.
Hankin was elected to the ACM Europe Council in 2015 with the goal of reinforcing the policy arm of ACM in Europe. He is the co-author of two major policy papers from the Committee: the white paper on cybersecurity and the white paper on automated decision making. The first was referenced by the European Commission’s top scientific advisory group (SAM). In July 2020, he became Chair of the ACM Europe Technology Policy Committee and contributed to the enlargement and restructuring of the group, with the goal of making it the leading technology policy body in Europe.
Hankin served as Chair of the ACM Europe Council from 2017 to 2019, when he made it a priority to strengthen the visibility of ACM with younger generations in Europe. In this direction, he promoted the organization of two highly successful summer schools (organized by Yannis Ioannidis and Fabrizio Gagliardi), which addressed outstanding graduate and senior undergraduate students.
Finally, Hankin co-edited (with Panagiota Fatourou) the first CACM Special Regional Section on Europe in 2019, which offered a representative imprint of some of the most exciting activities on the continent.
2020 ACM Distinguished Service Award
Jennifer Tour Chayes, a professor at the University of California, Berkeley, was named recipient of the ACM Distinguished Service Award for her effective leadership, mentorship, and dedication to diversity during her distinguished career of computer science research, teaching, and institution building.
Chayes’ service to the computing community is broad and sustained, encompassing leadership at both Microsoft Research and the University of California, Berkeley; service to many computing organizations; expanding the diversity of the computing field through mentorship of women, underrepresented racial minorities and other disadvantaged groups; and making important research contributions.
Chayes’ distinguished service includes founding and leading the Theory Group at Microsoft Research and the Microsoft Research New England and New York City Labs. She also had an important role in the development of Microsoft’s Montreal lab.
The MSR labs that Chayes founded had three times the percentage of women compared to corporate labs, and an unusually high percentage of people of color and members of the LGBTQ community. She has mentored more than 100 women in her career, many of whom have gone on to become leaders in their fields. Chayes continues to emphasize diversity as a core value at Berkeley in her position as Associate Provost of the Division of Computing, Data Science, and Society, and Dean of the School of Information.
Additionally, Chayes has an exceptionally strong record of service at the national and international levels to the computing community. Her service includes participation in advisory boards and committees associated with the National Academy of Sciences, the National Research Council, the American Association for the Advancement of Science, and numerous other organizations. She has served on the Turing Award committee and the Heidelberg Laureate Selection Committee. She has served as an Associate Editor for many leading journals in statistical physics, computer science, mathematics, and data science, and has served as a co-organizer of numerous conferences across these fields.
2020 ACM Karl V. Karlstrom Outstanding Educator Award
Andrew McGettrick was named recipient of the Karl V. Karlstrom Outstanding Educator Award for his scholarship and tireless volunteer work and contributions, which have fundamentally improved rigorous computer science as a field of professional practice and as an academic pursuit.
Over five decades, McGettrick, a professor at the University of Strathclyde, has consistently made outstanding contributions to computing education. At the University of Strathclyde, he drove key curriculum improvements in Computer Science and Software Engineering. Additionally, his program evaluation initiatives for other universities and colleges improved the quality and rigor of undergraduate, Master’s, and doctoral programs around the world. McGettrick’s work for the UK government, including driving the first benchmarking standard for computing degrees and chairing the five-year revision of the QAA benchmarking standard for Master’s degrees in Computing, was similarly transformative.
McGettrick has played multiple leadership roles within the British Computing Society (BCS) and has served on the ACM Education Board for two decades. With Eric Roberts, he launched ACM’s Education Council, and he served as its Chair from 2007 to 2014. Under his leadership, the council developed numerous curricular volumes including the ACM/IEEE Curriculum Task Force’s Computer Science, Software Engineering, Computer Engineering, and Overview volumes. He recently served on the ACM Education Board’s Data Science Curriculum Task Force and helped launch the Learning at Scale series of annual conferences.
McGettrick was involved in the Committee on European Computing Education and was a co-founder and member of the Steering Committee of the Informatics for All coalition, a multi-organizational advocacy body that collaborates with the European Commission.
McGettrick’s publications include more than 130 research articles, textbooks, and scholarly papers. His white papers have shaped the nature and progress of computing in Europe. He also edited or co-edited numerous influential collections, including Concurrent Programming Software Specification Techniques (1988), Software Engineering – A European Perspective (1993), and Grand Challenges in Computing (2004). McGettrick was the founding editor of Addison-Wesley’s (now Pearson’s) International Computer Science series (~100 books) and co-editor of Taylor and Francis’ Computer Science undergraduate textbook series (20 books to date).
ACM Awards by Category
-
Career-Long Contributions
-
Early-to-Mid-Career Contributions
-
Specific Types of Contributions
ACM Charles P. "Chuck" Thacker Breakthrough in Computing Award
ACM Eugene L. Lawler Award for Humanitarian Contributions within Computer Science and Informatics
ACM Frances E. Allen Award for Outstanding Mentoring
ACM Gordon Bell Prize
ACM Gordon Bell Prize for Climate Modeling
ACM Karl V. Karlstrom Outstanding Educator Award
ACM Paris Kanellakis Theory and Practice Award
ACM Policy Award
ACM Presidential Award
ACM Software System Award
ACM Athena Lecturer Award
ACM AAAI Allen Newell Award
ACM-IEEE CS Eckert-Mauchly Award
ACM-IEEE CS Ken Kennedy Award
Outstanding Contribution to ACM Award
SIAM/ACM Prize in Computational Science and Engineering
ACM Programming Systems and Languages Paper Award -
Student Contributions
-
Regional Awards
ACM India Doctoral Dissertation Award
ACM India Early Career Researcher Award
ACM India Outstanding Contributions in Computing by a Woman Award
ACM India Outstanding Contribution to Computing Education Award
IPSJ/ACM Award for Early Career Contributions to Global Research
CCF-ACM Award for Artificial Intelligence -
SIG Awards
-
How Awards Are Proposed
Kunle Olukotun Receives 2023 Eckert-Mauchly Award
Kunle Olukotun, a Professor at Stanford University, is the recipient of the 2023 ACM-IEEE CS Eckert-Mauchly Award for contributions and leadership in the development of parallel systems, especially multicore and multithreaded processors. In the early 1990s, Olukotun became a leading designer of a new kind of microprocessor known as a “chip multiprocessor”—today called a “multicore processor.” His work demonstrated the performance advantages of multicore processors over the existing microprocessor designs at the time.

Doctoral Dissertation Award Recognizes Young Researchers
Aayush Jain is the recipient of the 2022 ACM Doctoral Dissertation Award for establishing the feasibility of mathematically rigorous software obfuscation from well-studied hardness conjectures. Honorable Mentions for the 2022 ACM Doctoral Dissertation Award go to Alane Suhr whose PhD was earned at Cornell University, and Conrad Watt, who earned his PhD at the University of Cambridge.

Karlstrom Educator Award Goes to Michael Caspersen
Michael E. Caspersen, Managing Director of It-vest and Honorary Professor, Aarhus University, receives the Karl V. Karlstrom Outstanding Educator Award for his contributions to computer science education research, his policy work at the national and international levels to advance the teaching of informatics for all, and his outstanding service to the computing education community. Caspersen has authored almost 70 papers on computer science education, is also co-author of a two-volume textbook on programming, and co-editor of Reflections on the Teaching of Programming

ACM Honors Ramesh Jain with Distinguished Service Award
Ramesh Jain, Professor, University of California, Irvine, receives the ACM Distinguished Service Award for establishing the ACM Special Interest Group on Multimedia Systems (SIGMM), and for outstanding leadership and sustained services to ACM and the computing community for the past four decades. In 1993, Jain organized the first NSF workshop on visual information management systems. He was one of the organizing committee members of the first ACM Multimedia conference, paving the way for the successful establishment of ACM SIGMM.

ACM Recognizes Joseph Konstan for Outstanding Contributions
Joseph A. Konstan, Professor, University of Minnesota, receives the Outstanding Contribution to ACM Award for 25 years of dedicated service and leadership in support of ACM's mission and operation, and the advancement of ACM's research, education, and practitioner communities. Konstan has been involved in ACM’s activities for over 25 years: participating in, developing, and nurturing new technical areas, serving on key task forces and committees, and leading several of ACM’s major boards and working groups.

Jelani Nelson Receives 2022 ACM Eugene L. Lawler Award
Jelani Nelson, Professor, University of California, Berkeley, receives the ACM Eugene L. Lawler Award for Humanitarian Contributions Within Computer Science and Informatics for founding and developing AddisCoder, a nonprofit organization which teaches programming to underserved students from all over Ethiopia. AddisCoder has led many students to higher education and successful careers. Nelson has not only been an AddisCoder instructor himself, but he has recruited a large team of teachers and raised money from government, industry, and academic institutions to fund the initiative.

ACM, CSTA Announce Cutler-Bell Prize Student Recipients
ACM and the Computer Science Teachers Association have announced the 2021-2022 recipients of the ACM/CSTA Cutler-Bell Prize in High School Computing. The award recognizes computer science talent in high school students and comes with a $10,000 prize, which they will receive at CSTA's annual conference in July. The 2022-2023 recipients are Okezue Bell, Moravian Academy, Bethlehem, Pennsylvania; Nathan Elias, Liberal Arts and Sciences Academy, Austin, Texas; Hannah Guan, BASIS San Antonio Shavano, San Antonio, Texas; and Sirihaasa Nallamothu, University High School, Normal, Illinois.

Inventors of BW-transform and the FM-index Receive Kanellakis Award
Michael Burrows, Google; Paolo Ferragina, University of Pisa; and Giovanni Manzini, University of Pisa, receive the ACM Paris Kanellakis Theory and Practice Award for inventing the BW-transform and the FM-index that opened and influenced the field of Compressed Data Structures with fundamental impact on Data Compression and Computational Biology. In 1994, Burrows and his late coauthor David Wheeler published their paper describing revolutionary data compression algorithm—the “Burrows-Wheeler Transform” (BWT). A few years later, Ferragina and Manzini showed that it was possible to build a “compressed index,” later called the FM-index. The introduction of the BW Transform and the development of the FM-index have had a profound impact on the theory of algorithms and data structures with fundamental advancements.

Software System Award Goes to Fourteen for the Development of Groundbreaking High-Performance Operating System
Gernot Heiser, University of New South Wales; Gerwin Klein, Proofcraft; Harvey Tuch, Google; Kevin Elphinstone, University of New South Wales; June Andronick, Proofcraft; David Cock, ETH Zurich; Philip Derrin, Qualcomm; Dhammika Elkaduwe, University of Peradeniya; Kai Engelhardt; Toby Murray, University of Melbourne; Rafal Kolanski, Proofcraft; Michael Norrish, Australian National University; Thomas Sewell, University of Cambridge; and Simon Winwood, Galois, receive the ACM Software System Award for the development of the first industrial-strength, high-performance operating system to have been the subject of a complete, mechanically-checked proof of full functional correctness.

Mohammad Alizadeh Receives ACM Grace Murray Hopper Award
Mohammad Alizadeh, Massachusetts Institute of Technology, is the recipient of the 2022 ACM Grace Murray Hopper Award for pioneering and impactful contributions to data center networks. Alizadeh has fundamentally advanced how data centers communicate efficiently in transporting data. One of his key contributions is the control of data center network congestion and packet loss with a groundbreaking Data Center Transport Control Protocol (DCTCP). DCTCP significantly increases performance in datacenter environments where state-of-the-art TCP protocols fall short.

ACM, AAAI Recognize Bernhard Schölkopf and Stuart J. Russell for Machine Learning and Artificial Intelligence
Bernhard Schölkopf, Max Planck Institute for Intelligent Systems and ETH Zurich, and Stuart J. Russell, University of California at Berkeley, receive the ACM - AAAI Allen Newell Award. Schölkopf is recognized for his widely used research in machine learning, advancing both mathematical foundations and a broad range of applications in science and industry and making fundamental contributions to kernel methods and causality. Russell is recognized for a series of foundational contributions to Artificial Intelligence, spanning a wide range of areas such as logical and probabilistic reasoning, knowledge representation, machine learning, reinforcement learning, and the ethics of AI.

ACM Names Margo Seltzer 2023-2024 Athena Lecturer
ACM has named Margo Seltzer, a Professor at the University of British Columbia, as the 2023-2024 ACM Athena Lecturer. Seltzer is recognized for foundational research in file and storage systems, pioneering research in data provenance, impactful software contributions in Berkeley DB, and tireless dedication to service and mentoring. Seltzer is especially known for her efforts to broaden participation in computer science among traditionally underrepresented groups. She has also served as program chair for conferences in systems and databases, and serves on numerous advisory boards for scientific and national boards.

ACM Breakthrough in Computing Award Goes to David Papworth
ACM has named David B. Papworth, formerly of Intel (retired), as the recipient of the ACM Charles P. “Chuck” Thacker Breakthrough in Computing Award. Papworth is recognized for fundamental groundbreaking contributions to Intel’s P6 out-of-order engine and Very Long Instruction Word (VLIW) processors. Papworth was a lead designer of the Intel P6 (sold commercially as the Pentium Pro) microprocessor, which was a major advancement over the existing state-of-the-art, not just for Intel but for the broader computer design community.

Yael Tauman Kalai Honored with ACM Prize in Computing
ACM has named Yael Tauman Kalai, Senior Principal Researcher at Microsoft Research and an Adjunct Professor at the Massachusetts Institute of Technology (MIT), the recipient of the 2022 ACM Prize in Computing for breakthroughs in verifiable delegation of computation and fundamental contributions to cryptography. Kalai’s contributions have helped shape modern cryptographic practices and provided a strong foundation for further advancements. Kalai has developed methods for producing succinct proofs that certify the correctness of any computation.

ACM Announces 2022 A.M. Turing Award Recipient
ACM has named Bob Metcalfe as recipient of the 2022 ACM A.M. Turing Award for the invention, standardization, and commercialization of Ethernet. Metcalfe is an Emeritus Professor of Electrical and Computer Engineering (ECE) at The University of Texas at Austin and a Research Affiliate in Computational Engineering at the Massachusetts Institute of Technology (MIT) Computer Science & Artificial Intelligence Laboratory (CSAIL). In 1973, while at the Xerox Palo Alto Research Center, Metcalfe circulated a now-famous memo describing a “broadcast communication network” for connecting some of the first personal computers. That memo laid the groundwork for what we now know today as Ethernet.

ACM Names 2022 Fellows
ACM has named 57 members ACM Fellows for significant contributions in areas including cybersecurity, human-computer interaction, mobile computing, and recommender systems among many other areas. The ACM Fellows program recognizes the top 1% of ACM Members for their outstanding accomplishments in computing and information technology and/or outstanding service to ACM and the larger computing community. In keeping with ACM’s global reach, the 2022 Fellows represent universities, corporations, and research centers in Canada, Chile, China, France, Germany, Israel, the Netherlands, Spain, Switzerland, and the United States.

ACM Names 2022 Distinguished Members
ACM has named 67 Distinguished Members for outstanding contributions to the field. All 2022 inductees are longstanding ACM members and were selected by their peers for a range of accomplishments that advance computing as a science and a profession. The ACM Distinguished Member program recognizes up to 10 percent of ACM worldwide membership based on professional experience and significant achievements in computing.

ACM President Honors Dame Wendy Hall with 2022 Presidential Award
ACM President Gabriele Kotsis has recognized Dame Wendy Hall for her technical contributions that have significantly influenced the development of the Semantic Web and the field of Web Science, her leadership and impact in shaping technology policy and informatics education internationally, and her committed and inspired work to strengthen ACM’s geographically diverse footprint by fostering regional councils to promote ACM activities in China, India, and Europe.

ACM Honors Judy Brewer with Policy Award
Judy Brewer receives the ACM Policy Award for her leadership of the Web Accessibility Initiative and development of multiple web accessibility standards, which have been adopted globally and improved accessibility for millions worldwide. Brewer leads the development of standards and strategies for inclusive web design, providing web developers with tools necessary to bring the power and the promise of the World Wide Web to millions of people.

Carla Brodley Receives 2021 ACM Frances E. Allen Award
ACM named Northeastern University’s Carla E. Brodley recipient of the inaugural ACM Frances E. Allen Award for Outstanding Mentoring. Brodley is recognized for significant personal mentorship and leadership in creating systemic programs that have increased diversity in computer science by creating mentoring opportunities for thousands at Northeastern and other universities across the US. An internationally recognized leader in the fields of machine learning, data mining, and artificial intelligence, Brodley has shown a deep commitment to mentoring and increasing diversity in computer science throughout her academic career.

List of ACM Awards
-
Career-Long Contributions
-
Early-to-Mid-Career Contributions
-
Specific Types of Contributions
ACM Charles P. "Chuck" Thacker Breakthrough in Computing Award
ACM Eugene L. Lawler Award for Humanitarian Contributions within Computer Science and Informatics
ACM Frances E. Allen Award for Outstanding Mentoring
ACM Gordon Bell Prize
ACM Gordon Bell Prize for Climate Modeling
ACM Karl V. Karlstrom Outstanding Educator Award
ACM Paris Kanellakis Theory and Practice Award
ACM Policy Award
ACM Presidential Award
ACM Software System Award
ACM Athena Lecturer Award
ACM AAAI Allen Newell Award
ACM-IEEE CS Eckert-Mauchly Award
ACM-IEEE CS Ken Kennedy Award
Outstanding Contribution to ACM Award
SIAM/ACM Prize in Computational Science and Engineering
ACM Programming Systems and Languages Paper Award -
Student Contributions
-
Regional Awards
ACM India Doctoral Dissertation Award
ACM India Early Career Researcher Award
ACM India Outstanding Contributions in Computing by a Woman Award
ACM India Outstanding Contribution to Computing Education Award
IPSJ/ACM Award for Early Career Contributions to Global Research
CCF-ACM Award for Artificial Intelligence -
SIG Awards
-
How Awards Are Proposed