For contributions to stream databases, distributed databases, graph databases, and column-store databases | Massachusetts Institute of TechnologyFor contributions to data management and sensor computing systems |
University of Massachusetts AmherstFor contributions to information retrieval, including topic detection and tracking | For contributions in compiler code generation for instruction level parallelism, and customized microprocessor architectures |
Georgia Institute of TechnologyFor contributions to parallel methods in computational biology and leadership in data science | For contributions to networking infrastructure, including data center networking, network operating systems, and cloud networking |
For contributions to storage and computer systems | For contributions to query optimization, scalable data processing, and data programmability |
For contributions to storage and computer systems | University of Southern CaliforniaFor contributions to socially assistive robotics and human-robot systems |
University of Wisconsin-MadisonFor contributions to design, implementation, and tools of wireless systems | For research on the vulnerability of social media networks to disinformation and manipulation |
Carnegie Mellon UniversityFor contributions to the foundations of computational complexity theory and its application to cryptography and program checking | University of Illinois at Urbana-ChampaignFor the development of logical methods for design and verification of computational systems |
University of Ottawa and University of LuxembourgFor contributions to automated software testing | For contributions to human-computer interaction, information retrieval, computer-supported cooperative work, and accessibility |
For contributions to software and hardware design for power-efficient computer architectures | For contributions to empirical software engineering and data-driven software development |
For contributions to cryptography and computer security | For contributions to collective intelligence, including self-organizing systems and swarm robotics |
University of California, BerkeleyFor contributions in robotics, machine perception, human-computer interaction, and ubiquitous computing | Weizmann Institute of ScienceFor contributions to the foundations of cryptography and theoretical computer science |
Massachusetts Institute of TechnologyFor energy-efficient design methodologies and circuits that enabled ultralow-power wireless sensors and computing devices | Chandrasekhar NarayanaswamiIBM T.J. Watson Research CenterFor design and development of the Linux Watch and SoulPad, which influenced wearable and mobile systems |
National Taiwan UniversityFor contributions to algorithmic electronic design automation | For contributions to storage system software, including flash and byte-addressable non-volatile memory |
For design of efficient algorithmic techniques for big data, hashing, approximation algorithms, and metric embeddings | For making continuous state systems amenable to logical and computational treatment |
For contributions to to nonvolatile memory technologies | For contributions to multimedia technologies and leadership in the scientific community |
For contributions to data summarization and privacy enabling data management and analysis | For contributions to high-performance parallel and distributed computing and computational science |
For contributions to programming languages through the invention and development of abstract interpretation | For contributions to architectures and design tools for signal processing and networking accelerators |
California Institute of TechnologyFor contributions to geometry processing and discrete differential geometry | Georgia Institute of TechnologyFor contributions to numerical algorithms, data analytics, and leadership in computational science and engineering |
Findora Advanced Research CenterFor the invention of asymmetric public-key cryptography and the promulgation of a practical cryptographic key-exchange method | For contributions to the science of programming languages, particularly their operational and denotational semantics |
For human-centered and linguistically inspired approaches to natural language processing | For the introduction of nondeterministic automata, probabilistic automata, and for contributions to computability and computational complexity theory |
For contributions to network measurement and analysis | For contributions to wireless system security and cloud data security |
Massachusetts Institute of TechnologyFor contributions to algorithms and languages for numerical and scientific computing | For contributions to recommender systems, economics and computation, and online communities |
For contributions to knowledge representation and reasoning, logic programming, and declarative problem solving | Pennsylvania State UniversityFor contributions to human-computer interaction, including scenario-based design |
University of California, Santa CruzFor contributions to static and dynamic program debugging and verification methods | For contributions to computational biology, including software for DNA sequence analysis, alignment, and genome assembly |
Carnegie Mellon UniversityFor contributions to design research in human-computer interaction | University of California, BerkeleyFor contributions to formal verification, inductive synthesis, and cyber-physical systems |
For contributions to probabilistic state estimation, RGB-D perception, and learning for robotics and computer vision | Weizmann Institute of ScienceFor contributions to the field of cryptography |
For contributions to distributed systems design | University of Electronic Science and Technology of ChinaFor contributions to large-scale multimedia content understanding, indexing and retrieval |
Universitat Politecnica de CatalunyaFor contributions to the design of energy-efficient and resilient computer architectures | University of South CarolinaFor contributions to data semantics and knowledge-enhanced computing |
Microsoft Research and University of EdinburghFor contributions to programming languages: their principles, logic, usability, and trustworthiness | For contributions to data privacy and cryptography |
For contributions to virtualization technology across clusters, servers, and networks | For contributions to digital geometry processing, computer animation, computer graphics and visual computing |
For research and leadership contributions to computer science education | Argonne National LaboratoryFor contributions in high-performance computing systems, collaborative environments, and tools for large-scale science initiatives |
For the invention of asymmetric public-key cryptography and the promulgation of a practical cryptographic key-exchange method | University of Texas at AustinFor contributions to automated planning, learning, and multiagent systems with applications in robotics and ecommerce |
For contributions to numerical linear algebra, numerical stability analysis, and communication of mathematics | Chinese University of Hong KongFor contributions to algorithms for large scale data processing |
C. Anthony (“Tony”) R. HoareFor contributions to the theory of programming, and its application to the practice of engineering of software | For contributions to network control and optimization with applications in communication networks |
For contributions to automated algorithm selection and configuration for optimization and machine learning | For contributions to the development of operating systems theory and for the implementation of the UNIX operating system |
For contributions to data cleaning and data integration | For contributions to the understanding of the web and web-based social networks |
University of Texas at AustinFor contributions to the design, modeling and benchmarking of computer architectures | Princeton University and Simons FoundationFor contributions to computational biology, data integration |
For contributions to model checking of software and probabilistic systems | Toyota Technological Institute at Chicago and University of California, Santa BarbaraFor contributions to face recognition, computer vision, and multimodal interaction |
For contributions to design and modeling of power-efficient computer architectures | For contributions to process mining, process management and data science |
University of Southern CaliforniaFor contributions to artificial intelligence, including heuristic search and multi-agent coordination | University of New South Wales and CSIRO Data61For contributions to artificial intelligence |
For contributions to the security, privacy, and usability of mobile systems | University of California, Los AngelesFor contributions to the foundation and practice of data mining |
For contributions to networks and distributed computer systems | North Carolina State UniversityFor contributions to empirical research on agile software development, software security, and software engineering education |
For contributions to web science modeling, analytics, and algorithms | For contributions to bioinformatics, computational biology, knowledge mining and semantic data integration |
For contributions to computer graphics | For contributions to visual content understanding techniques and application |
University of Massachusetts AmherstFor contributions to network forensics, security, and privacy, and for thwarting crimes against children | For contributions to the automated analysis and verification of real-time systems |
University of British ColumbiaFor contributions to artificial intelligence, including computational game theory, multi-agent systems, machine learning, and optimization | University of Southern CaliforniaFor contributions to game design, game and virtual reality networking, and body tracking |
Northwestern Polytechnic UniversityFor contributions to computing on and learning from higher-order data |
|
California Institute of TechnologyFor theoretical foundations and real-world deployment of Internet congestion control and smart grid optimization |
|
Washington University in St. LouisFor contributions to adaptive real-time systems, real-time virtualization, and wireless cyber-physical |
|