SORT :

Name | Year | Citation | In the ACM DL |
---|---|---|---|

Agarwala, Aseem | 2006 | For his dissertation, Authoring effective depictions of reality by combining multiple samples of the plenoptic function, nominated by the University of Washington. | |

Applebaum, Benny | 2007 | For his dissertation, "Cryptography in Constant Parallel Time," nominated by Technion - Israel Institute of Technology. | |

Arora, Sanjeev | 1995 | For his dissertation "Probabilistic Checking of Proofs and Hardness of Approximation Problems." | |

Bach, Carl E. | 1984 | For his dissertation "Extended Riemann Hypothesis (ERH)." | |

Baird, Henry | 1984 | For his dissertation "Model-Based Image Matching Using Location." | |

Balakrishnan, Hari | 1998 | For his dissertation "Challenges To Reliable Data Transport Over Heterogeneous Wireless Networks." | |

Ballard, Grey | 2013 | For his dissertation "Avoiding Communication in Dense Linear Algebra," nominated by the University of California, Berkeley. | |

Barak, Boaz | 2004 | For his dissertation, Non-Black-Box Techniques in Cryptography, nominated by the Weizmann Institute of Science. | |

Brown, Marc H. | 1987 | For his dissertation "Algorithm Animation." | |

Canny, John | 1987 | For his dissertation "The Complexity of Robot Motion Planning." | |

Cattell, Roderic G. | 1978 | Formalization and Automatic Derivation of Code Generators. | |

Chan, William | 2000 | For his dissertation "Symbolic Model Checking for Large Software Specifications," nominated by the University of Washington, Seattle, Washington. | |

Chor, Ben-Zion | 1985 | For his dissertation "Two Issues in Public Cryptography, RSA Bit Security and a New Knapsack Type System." | |

Condon, Anne | 1988 | For her dissertation "Computational Models of Games." | |

Conitzer, Vincent | 2007 | For his dissertation, "Computational Aspects of Preference Aggregation," nominated by Carnegie Mellon University. | |

Cook, Douglas | 1980 | The Evaluation of a Protection System. | |

Cooper, Seth | 2011 | For his dissertation, "A Framework for Scientific Discovery through Video Games," nominated by the University of Washington. | |

Dan, Asit | 1991 | For his dissertation "Performance Analysis of Data Sharing Environments." | |

Daskalakis, Constantinos | 2008 | For his dissertation "The Complexity of Nash Equilibria" nominated by the University of California at Berkeley. | |

Davis, Ruth E. | 1980 | Generating Correct Programs from Logic Specifications. | |

Dill, David | 1988 | For his dissertation "Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits." | |

Doan, AnHai | 2003 | For his dissertation Learning to Map between Structured Representations of Data, nominated by the University of Washington. | |

Dousse, Olivier | 2005 | For his dissertation, Asymptotic Properties of Wireless Multi-hop Networks, nominated by Ecole Polytechnique Federale de Lausanne (Switzerland). | |

Ebeling, Carl | 1986 | For his dissertation "All the Right Moves: A VLSI Architecture for Chess." | |

Ellis, John R. | 1985 | For his dissertation "Bulldog: A Compiler for VLIW Architecture." | |

Ernst, Michael D. | 2000 | For his dissertation Dynamically Discovering Likely Program Invariants, nominated by the University of Washington, Seattle, Washington. | |

Garg, Sanjam | 2013 | For his dissertation "Candidate Multilinear Maps," nominated by the University of California, Los Angeles. | |

Geffner, Hector | 1990 | For his dissertation "Default Reasoning: Casual and Conditional Theories." | |

Gentry, Craig | 2009 | For his dissertation "A Fully Homomorphic Encryption Scheme," nominated by Stanford University. | |

Gharan, Shayan Oveis | 2013 | For his dissertation "New Rounding Techniques for the Design and Analysis of Approximation Algorithms," nominated by Stanford University. | |

Gibson, Garth A | 1991 | For his dissertation "Redundant Disk Arrays: Reliable, Parallel Secondary Storage." | |

Gollakota, Shyamnath | 2012 | For his dissertation, "Embracing Interference in Wireless Systems," nominated by the Massachusetts Institute of Technology. | |

Greengard, Leslie | 1987 | For his dissertation "The Rapid Evaluation of Potential Fields in Particle Systems." | |

Gunawi, Haryadi S | 2009 | For his dissertation "Towards Reliable Storage Systems," nominated by the University of Wisconsin - Madison. | |

Guruswami, Venkatesan | 2002 | For his dissertation, List Decoding of Error-Correcting Codes, nominated by MIT. | |

Hawkins, Peter | 2012 | For his dissertation, "Data Representation Synthesis," nominated by Stanford University. | |

Heckerman, David | 1990 | For his dissertation "Probabilistic Similarity Networks." | |

Hildreth, Ellen | 1983 | http://www.acm.org/awards/dd_citation/198352.html | |

Hillis, William Daniel | 1985 | For his dissertation "The Connection Machine." | |

Hoiem, Derek | 2008 | For his dissertation "Seeing the World behind the Image: Spatial Layout for 3D Scene Understanding" nominated by Carnegie Mellon University. | |

Johari, Ramesh | 2004 | For his dissertation, Efficiency Loss in Market Mechanisms for Resource Allocation, nominated by the Massachusetts Institute of Technology. | |

Johnson, Steven | 1983 | For his dissertation "Synthesis of Digital Systems from Recursion Equations." | |

Karchmer, Mauricio | 1988 | For his dissertation "Communication Complexity - A New Approach to Circuit Depth." | |

Karger, David | 1994 | For his dissertation "Random Sampling in Graph Optimization Problems." | |

Katabi, Dina | 2003 | For her dissertation, Decoupling Congestion Control from the Bandwidth Allocation Policy and its Application to High Bandwidth-Delay Product Networks, nominated by the Massachusetts Institute of Technology. | |

Katevenis, Manolis G.H. | 1984 | For his dissertation "Reduced Instruction Set Computer Architecture for VLSI." | |

Katti, Sachin | 2008 | For his dissertation "Network Coded Wireless Architecture" nominated by the Massachusetts Institute of Technology." | |

Kearns, Michael J. | 1989 | For his dissertation "The Computational Complexity of Machine Learning." | |

Khot, Subhash | 2003 | For his dissertation, New Techniques for Probabilistically Checkable Proofs and Inapproximability Results, nominated by Princeton University. | |

Killian, Joe | 1989 | Series Winner For his dissertation "Uses of Randomness in Algorithms and Protocols." | |

Kistler, James J. | 1993 | For his dissertation "Disconnected Operation in a Distributed File System." | |

Korein, James | 1984 | For his dissertation "A Geometric Investigation of Reach." | |

Larson, Lawrence Edwin | 1980 | Use of Decision Tables in Multi-Processing Environments. | |

Leiserson, Charles E | 1982 | For his dissertation "Area-Efficient VLSI Computation." | |

Liblit, Ben | 2005 | For his dissertation, Cooperative Bug Isolation, nominated by the University of California, Berkeley. | |

Liu, Yan | 2007 | For her dissertation, "Conditional Graphical Models for Protein Structure Prediction," nominated by Carnegie Mellon University. | |

Lund, Carsten | 1991 | For his dissertation "The Power of Interaction." | |

Madry, Aleksander | 2011 | For his dissertation "From Graphs to Matrices, and Back: New Techniques for Graph Algorithms," nominated by the Massachusetts Institute of Technology. | |

McCanne, Steven R. | 1997 | For his dissertation "Scalable Compression and Transmission of Internet Multicast Video." | |

McMillan, Kenneth | 1992 | For his dissertation "Symbolic Model Checking, An approach to the State Explosion Problem." | |

Miller, Robert C. | 2002 | For his dissertation, Lightweight Structure in Text, nominated by the Carnegie Mellon University. | |

Mulmuley, Ketan D. | 1986 | For his dissertation "Full Abstraction and Semantic Equivalence." | |

Nayak, Pandu | 1993 | For his dissertation "Automated Modeling of Physical Systems." | |

Ng, Yi-Ren | 2006 | For his dissertation Digital Light Field Photography, nominated by Stanford University. | |

Nissan, Noam | 1990 | For his dissertation "Using Hard Problems to Create Pseudorandom Generators." | |

O'Callahan, Robert | 2001 | For his dissertation, Generalized Aliasing as a Basis for Program Analysis Tools, nominated by Carnegie Mellon University. | |

Parno, Bryan | 2010 | For his dissertation,"Trust Extension as a Mechanism for Secure Code on Commodity Computers," nominated by Carnegie Mellon University. | |

Platzer, Andre | 2009 | For his dissertation ,"Differential Dynamic Logics: Automated Theorem Proving for Hybrid Systems," nominated by the University of Oldenburg, Germany. | |

Raman, T.V. | 1994 | For his dissertation "Audio System for Technical Readings." | |

Reps, Thomas | 1983 | For his dissertation "Generating Language-Based Environments." | |

Rosenblum, Mendel | 1992 | For his dissertation "The Design and Implementation of a Log-structured File System." | |

Roughgarden, Tim | 2002 | For his dissertation, Selfish Routing, nominated by Cornell University. | |

Saraswat, Vijay | 1989 | For his dissertation "Concurrent Constraint Programming Languages." | |

Schapire, Robert | 1991 | For his dissertation "The Design and Analysis of Efficient Learning Algorithms." | |

Slonim, Jacob | 1980 | Generalized Distributed Information Management Architecture (GDIMA). | |

Snavely, Keith Noah | 2009 | For his dissertation ,"Scene Reconstruction and Visualization from Internet Photo Collections," nominated by the University of Washington. | |

Snyder, Benjamin | 2010 | For his dissertation,"Unsupervised Multilingual Learning," nominated by the Massachusetts Institute of Technology. | |

Spielman, Daniel A | 1995 | For his dissertation "Computationally Efficient Error-Correcting Codes and Holographic Proofs." | |

Steurer, David | 2011 | For his dissertation "On the Complexity of Unique Games and Graph Expansion," nominated by Princeton University. | |

Stoica, Ion | 2001 | For his dissertation, Stateless Core: A Scalable Approach for Quality of Service, nominated by Carnegie Mellon University. | |

Sudan, Madhu | 1993 | For his dissertation "Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems." | |

Torkel Hastad, Johan | 1986 | For his dissertation "Computational Limitations for Small Depth Circuits." | |

Tu, Xiaoyuan | 1996 | For her dissertation "Artificial Animals for Computer Animation: Biomechanics, Locomotion, Perception, and Behavior." | |

Ungar, David M | 1986 | For his dissertation "The Design and Evaluation of a High-Performance Smalltalk System." | |

Urban, Joseph | 1978 | A Specification Language and Its Processor. | |

Vadhan, Salil P | 2000 | For his dissertation "A Study of Statistical Zero-Knowledge Proofs," nominated by MIT. | |

Valiant, Gregory | 2012 | For his dissertation, "Algorithmic Approaches to Statistical Questions," nominated by the University of California, Berkeley. | |

van Melkebeek, Dieter | 1999 | For his dissertation, "Randomness and Completeness in Computational Complexity." | |

Wagner, David | 2001 | For his dissertation, Static Analysis and Computer Security, nominated by the University of California at Berkeley. | |

Waldspurger, Carl | 1996 | For his dissertation "Lottery and Stride Scheduling: Flexible Proportional-Share Resource Management." | |

Witchel, Emmett | 2004 | For his dissertation, Mondriaan Memory Protection, nominated by the Massachusetts Institute of Technology. | |

Yekhanin, Sergey | 2007 | For his dissertation, "Locally Decodable Codes and Private Information Retrieval Schemes," nominated by the Massachusetts Institute of Technology. |