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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

É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.

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.

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.

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.

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, 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.

News release

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.

ACM news release

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.

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.

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).

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.

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.

ACM named Michael Franz of the University of California, Irvine the recipient of the 2020 ACM Charles P. “Chuck” Thacker Breakthrough in Computing Award. Franz is recognized for the development of just-in-time compilation techniques that enable fast and feature-rich web services on the internet. Every day, millions of people around the world use online applications such as Gmail and Facebook. These web applications would not have been possible without the groundbreaking compilation technique Franz developed in the mid 1990s.

Beginning with the PhD thesis he completed in 1994, Franz has been exploring the use of just-in-time (JIT) dynamic compilation and optimization, focusing not only on static languages such as Java, but also on dynamically-typed languages. Initially such dynamic languages were primarily used in research and academic settings, but that changed when JavaScript was adopted for creating web services. JavaScript enabled the creation of websites that had application-like behavior, rather than the more static websites enabled by HTML. JavaScript, like other dynamic languages, was initially interpreted, and that led to poor performance. By inventing a new compilation technique, developing a JIT compiler for JavaScript based on this new technique, and then collaborating with Mozilla to incorporate it into the Firefox browser, Franz enabled massive growth in the use of JavaScript, now one of the world’s most heavily used programming languages.

“We all use web-based applications every day and they are now so prevalent that we often forget how revolutionary they were when they were first introduced,” said ACM President Gabriele Kotsis. “Whether we’re connecting with friends or colleagues on a social media platform, preparing our taxes using online software, or booking an accommodation at a hotel, we are using a web-based application. Michael Franz’s work certainly fits the Thacker Award’s criteria for ‘leapfrog contributions to computing ideas and technologies.’ Franz displayed foresight in working with Mozilla to implement his ideas on their browser and in making his technology open source so that it could be continually refined and adapted by developers worldwide.”

The idea of JIT dynamic compilation goes back decades and was initially used for a variety of statically-typed-languages. In the 1970s, researchers at the Xerox Palo Alto Research Center used JIT compilation for Smalltalk, a dynamically-typed language. In the 1980s, researchers at Stanford and Sun explored the use of JITs for Self, a dynamically typed, prototype-based language similar to JavaScript. Franz made several important contributions beyond this earlier work that greatly increased the practicality of JIT compilation.

First, rather than optimizing entire functions, he introduced a technique that optimizes only the loops of a program, using a structure called a “trace tree” to represent alternative paths through a loop that are discovered and subsequently translated incrementally. Second, Franz developed a JIT compiler that could be applied in a variety of settings, including those with more limited CPU or memory resources. With these techniques, Franz’s JIT compiler could often achieve performance improvements of 5-10x on JavaScript, which was critical to its wide-ranging adoption and the transformation of web applications. Most websites today use JavaScript, and all browsers include a JavaScript execution engine. Franz’s technology helped make this transformation possible.

“Microsoft is proud to fund the Breakthrough in Computing Award, named after Chuck Thacker, one of the computing field’s true visionaries,” said Eric Horvitz, Microsoft’s Chief Scientific Officer. “Chuck had a magical ability to transform over-the-horizon computing dreams into world-changing realities. Michael Franz’s work on just-in-time compilation is a great choice for the Breakthrough in Computing honor. His work has been transformative, enabling today’s rich web experiences by allowing websites to execute sophisticated, interactive programs nearly instantaneously. Michael Franz’s insights, and his successful application of those insights, have had tremendous real-world impact.”

Biographical Background

Michael Franz is a Chancellor's Professor in the Department of Computer Science at the University of California (UC), Irvine where he also directs the Secure Systems and Software Laboratory. His current research emphasis is in software systems, particularly focusing on compiler, virtual machine, and related system-level techniques for making software safer, or faster, or both.

Franz received a Doctor of Technical Sciences degree in Computer Science and a Diplomingenieur, Informatik-Ing. ETH degree, both from the Swiss Federal Institute of Technology (ETH Zurich). His honors include receiving a Humboldt Research Award from the Alexander von Humboldt Foundation, a National Science Foundation CAREER Award, an IEEE Computer Society Technical Achievement Award, and a Distinguished Mid-Career Faculty Award for Research from the University of California, Irvine. Franz is a Fellow of ACM, the Institute of Electrical and Electronics Engineers (IEEE), the American Association for the Advancement of Science (AAAS), and the International Federation for Information Processing (IFIP).

George Karniadakis of Brown University was awarded the 2021 SIAM/ACM Prize in Computer Science and Engineering at the SIAM Conference on Computational Science and Engineering (CSE 2021).

Karniadakis is the Charles Pitts Robinson and John Palmer Barstow Professor of Applied Mathematics and Engineering at Brown University.

The prize honors Karniadakis for advancing spectral elements, reduced-order modeling, uncertainty quantification, dissipative particle dynamics, fractional PDEs, and scientific machine learning, while pushing applications to extreme computational scales and mentoring many leaders.

A Fellow of SIAM, Karniadakis's work has been cited more than 53,500 times.

For more information read the SIAM news release.