|
Lars Birkedal
Aarhus University
For contributions to the semantic and logical foundations of compilers and program verification systems
|
Gabriel H. Loh
Advanced Micro Devices, Inc.
For contributions to die-stacking technologies in computer architecture
|
|
Edouard Bugnion
EPFL
For contributions to virtual machines
|
Tomás Lozano-Pérez
Massachusetts Institute of Technology
For contributions to robotics, and motion planning, geometric algorithms, and their applications
|
|
Margaret Burnett
Oregon State University
For contributions to end-user software engineering, understanding gender biases in software, and broadening participation in computing
|
Clifford A. Lynch
Coalition for Networked Information
For contributions to library automation, information retrieval, scholarly communication, and information policy
|
|
Shih-Fu Chang
Columbia University
For contributions to large-scale multimedia content recognition and multimedia information retrieval
|
Yi Ma
University of California, Berkeley
For contributions to theory and application of low-dimensional models for computer vision and pattern recognition
|
|
Edith Cohen
Google Research
For contributions to the design of efficient algorithms for networking and big data
|
Andrew K. McCallum
University of Massachusetts at Amherst
For contributions to machine learning with structured data, and innovations in scientific communication
|
|
Dorin Comaniciu
Siemens Healthcare
For contributions to machine intelligence, diagnostic imaging, image-guided interventions, and computer vision
|
Silvio Micali
Massachusetts Institute of Technology
For transformative work that laid the complexity-theoretic foundations for the science of cryptography
|
|
Susan M. Dray
Dray & Associates
For co-founding ACM SIGCHI and disseminating exemplary user experience design and evaluation practices worldwide
|
Andreas Moshovos
University of Toronto
For contributions to high-performance architecture including memory dependence prediction and snooping coherence
|
|
Edward A. Fox
Virginia Tech
For contributions in information retrieval and digital libraries
|
Gail C. Murphy
The University of British Columbia
For contributions to recommenders for software engineering and to program comprehension
|
|
Richard M. Fujimoto
Georgia Institute of Technology
For contributions to parallel and distributed discrete event simulation
|
Onur Mutlu
ETH Zurich
For contributions to computer architecture research, especially in memory systems
|
|
Shafi Goldwasser
Massachusetts Institute of Technology
For transformative work that laid the complexity-theoretic foundations for the science of cryptography
|
Nuria Oliver
Vodafone/Data-Pop Alliance
For contributions in probabilistic multimodal models of human behavior and uses in intelligent, interactive systems
|
|
Carla P. Gomes
Cornell University
For establishing the field of computational sustainability, and for foundational contributions to artificial intelligence
|
Balaji Prabhakar
Stanford University
For developing algorithms and systems for large-scale data center networks and societal networks
|
|
Martin Grohe
RWTH Aachen University
For contributions to logic in computer science, database theory, algorithms, and computational complexity
|
Tal Rabin
IBM Research
For contributions to foundations of cryptography, including multi-party computations, signatures, and threshold and proactive protocol design
|
|
Aarti Gupta
Princeton University
For contributions to system analysis and verification techniques and their transfer to industrial practice
|
K. K. Ramakrishnan
University of California, Riverside
For contributions to congestion control, operating system support for networks and virtual private networks
|
|
Venkatesan Guruswami
Carnegie Mellon University
For contributions to algorithmic coding theory, pseudorandomness and the complexity of approximate optimization
|
Ravi Ramamoorthi
University of California San Diego
For contributions to computer graphics rendering and physics-based computer vision
|
|
Dan Gusfield
University of California, Davis
For contributions to combinatorial optimization and to algorithmic computational biology
|
Yvonne Rogers
University College London
For contributions to human-computer interaction and the design of human-centered technology
|
|
Gregory D. Hager
Johns Hopkins University
For contributions to vision-based robotics and to computer-enhanced interventional medicine
|
Yong Rui
Lenovo Group
For contributions to image, video and multimedia analysis, understanding and retrieval
|
|
Steven Michael Hand
Google
For contributions to virtual machines and cloud computing
|
Bernhard Schölkopf
Max Planck Institute for Intelligent Systems
For contributions to the theory and practice of machine learning
|
|
Mor Harchol-Balter
Carnegie Mellon University
For contributions to performance modeling and analysis of distributed computing systems
|
Steven M. Seitz
University of Washington, Seattle
For contributions to computer vision and computer graphics
|
|
Laxmikant Kale
University of Illinois at Urbana-Champaign
For development of new parallel programming techniques and their deployment in high performance computing applications
|
Michael Sipser
Massachusetts Institute of Technology
For contributions to computational complexity, particularly randomized computation and circuit complexity
|
|
Michael Kass
NVIDIA
For contributions to computer vision and computer graphics, particularly optimization and simulation
|
Anand Sivasubramaniam
Penn State University
For contributions to power management of datacenters and high-end computer systems
|
|
Angelos Dennis Keromytis
DARPA
For contributions to the theory and practice of systems and network security
|
Mani B. Srivistava
University of California, Los Angeles
For contributions to sensor networks, mobile personal sensing, and cyber-physical systems
|
|
Carl Kesselman
University of Southern California
For contributions to high performance computing, distributed systems, and scientific data management
|
Alexander Vardy
University of California San Diego
For contributions to the theory and practice of error-correcting codes and their study in complexity theory
|
|
Edward Knightly
Rice University
For contributions to multi-user wireless LANs, wireless networks for underserved regions, and cross-layer wireless networking
|
Geoffrey M. Voelker
University of California San Diego
For contributions to empirical measurement and analysis in systems, networking and security
|
|
Craig Knoblock
University of Southern California
For contributions to artificial intelligence, semantic web, and semantic data integration
|
Martin D. F. Wong
University of Illinois at Urbana-Champaign
For contributions to the algorithmic aspects of electronic design automation (EDA)
|
|
Insup Lee
University of Pennsylvania
For theoretical and practical contributions to compositional real-time scheduling and runtime verification
|
Qiang Yang
Hong Kong University of Science and Technology
For contributions to artificial intelligence and data mining
|
|
Wenke Lee
Georgia Institute of Technology
For contributions to systems and network security, intrusion and anomaly detection, and malware analysis
|
ChengXiang Zhai
University of Illinois at Urbana-Champaign
For contributions to information retrieval and text data mining
|
|
Li Erran Li
Uber Advanced Technologies Group
For contributions to the design and analysis of wireless networks, improving architectures, throughput, and analytics
|
Aidong Zhang
State University of New York at Buffalo
For contributions to bioinformatics and data mining
|
