SORT :

Name Year Citation In the ACM DL
Agarwala, Aseem 2006 Honorable Mention
For his dissertation, Authoring effective depictions of reality by combining multiple samples of the plenoptic function, nominated by the University of Washington.
ACM DL Author Profile
Applebaum, Benny 2007 Honorable Mention
For his dissertation, "Cryptography in Constant Parallel Time," nominated by Technion - Israel Institute of Technology.
ACM DL Author Profile
Arora, Sanjeev 1995 For his dissertation "Probabilistic Checking of Proofs and Hardness of Approximation Problems." ACM DL Author Profile
Bach, Carl E. 1984 Series Winner
For his dissertation "Extended Riemann Hypothesis (ERH)."
ACM DL Author Profile
Baird, Henry 1984 Series Winner
For his dissertation "Model-Based Image Matching Using Location."
ACM DL Author Profile
Balakrishnan, Hari 1998 For his dissertation "Challenges To Reliable Data Transport Over Heterogeneous Wireless Networks." ACM DL Author Profile
Ballard, Grey 2013 Honorable Mention
For his dissertation "Avoiding Communication in Dense Linear Algebra," nominated by the University of California, Berkeley.
ACM DL Author Profile
Barak, Boaz 2004 For his dissertation, Non-Black-Box Techniques in Cryptography, nominated by the Weizmann Institute of Science. ACM DL Author Profile
Brown, Marc H. 1987 Series Winner
For his dissertation "Algorithm Animation."
ACM DL Author Profile
Canny, John 1987 For his dissertation "The Complexity of Robot Motion Planning." ACM DL Author Profile
Cattell, Roderic G. 1978 Formalization and Automatic Derivation of Code Generators.
Chan, William 2000 Honorable Mention
For his dissertation "Symbolic Model Checking for Large Software Specifications," nominated by the University of Washington, Seattle, Washington.
ACM DL Author Profile
Chor, Ben-Zion 1985 Series Winner
For his dissertation "Two Issues in Public Cryptography, RSA Bit Security and a New Knapsack Type System."
ACM DL Author Profile
Condon, Anne 1988 Series Winner
For her dissertation "Computational Models of Games."
ACM DL Author Profile
Conitzer, Vincent 2007 Honorable Mention
For his dissertation, "Computational Aspects of Preference Aggregation," nominated by Carnegie Mellon University.
ACM DL Author Profile
Cook, Douglas 1980 The Evaluation of a Protection System. ACM DL Author Profile
Cooper, Seth 2011 For his dissertation, "A Framework for Scientific Discovery through Video Games," nominated by the University of Washington. ACM DL Author Profile
Criswell, John 2014 Honorable Mention
For his dissertation, "Secure Virtual Architecture: Security for Commodity Software Systems," nominated by the University of Illinois at Urbana-Champaign.
ACM DL Author Profile
Dan, Asit 1991 Honorable Mention
For his dissertation "Performance Analysis of Data Sharing Environments."
ACM DL Author Profile
Daskalakis, Constantinos 2008 For his dissertation "The Complexity of Nash Equilibria" nominated by the University of California at Berkeley. ACM DL Author Profile
Davis, Ruth E. 1980 Generating Correct Programs from Logic Specifications. ACM DL Author Profile
Dill, David 1988 Series Winner
For his dissertation "Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits."
ACM DL Author Profile
Doan, AnHai 2003 For his dissertation Learning to Map between Structured Representations of Data, nominated by the University of Washington. ACM DL Author Profile
Dousse, Olivier 2005 Honorable Mention
For his dissertation, Asymptotic Properties of Wireless Multi-hop Networks, nominated by Ecole Polytechnique Federale de Lausanne (Switzerland).
ACM DL Author Profile
Duchi, John C. 2014 Honorable Mention
For his dissertation, "Multiple Optimality Guarantees in Statistical Learning," nominated by the University of California at Berkeley.
ACM DL Author Profile
Ebeling, Carl 1986 Series Winner
For his dissertation "All the Right Moves: A VLSI Architecture for Chess."
ACM DL Author Profile
Ellis, John R. 1985 For his dissertation "Bulldog: A Compiler for VLIW Architecture." ACM DL Author Profile
Ernst, Michael D. 2000 Honorable Mention
For his dissertation Dynamically Discovering Likely Program Invariants, nominated by the University of Washington, Seattle, Washington.
ACM DL Author Profile
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." ACM DL Author Profile
Gentry, Craig 2009 For his dissertation "A Fully Homomorphic Encryption Scheme," nominated by Stanford University. ACM DL Author Profile
Gharan, Shayan Oveis 2013 Honorable Mention
For his dissertation "New Rounding Techniques for the Design and Analysis of Approximation Algorithms," nominated by Stanford University.
ACM DL Author Profile
Gibson, Garth A 1991 Series Winner
For his dissertation "Redundant Disk Arrays: Reliable, Parallel Secondary Storage."
ACM DL Author Profile
Gollakota, Shyamnath 2012 For his dissertation, "Embracing Interference in Wireless Systems," nominated by the Massachusetts Institute of Technology. ACM DL Author Profile
Greengard, Leslie 1987 Series Winner
For his dissertation "The Rapid Evaluation of Potential Fields in Particle Systems."
ACM DL Author Profile
Gunawi, Haryadi S 2009 Honorable Mention
For his dissertation "Towards Reliable Storage Systems," nominated by the University of Wisconsin - Madison.
ACM DL Author Profile
Guruswami, Venkatesan 2002 For his dissertation, List Decoding of Error-Correcting Codes, nominated by MIT. ACM DL Author Profile
Hawkins, Peter 2012 Honorable Mention
For his dissertation, "Data Representation Synthesis," nominated by Stanford University.
ACM DL Author Profile
Heckerman, David 1990 For his dissertation "Probabilistic Similarity Networks." ACM DL Author Profile
Hildreth, Ellen 1983 Series Winner
http://www.acm.org/awards/dd_citation/198352.html
ACM DL Author Profile
Hillis, William Daniel 1985 Series Winner
For his dissertation "The Connection Machine."
ACM DL Author Profile
Hoiem, Derek 2008 Honorable Mention
For his dissertation "Seeing the World behind the Image: Spatial Layout for 3D Scene Understanding" nominated by Carnegie Mellon University.
ACM DL Author Profile
Johari, Ramesh 2004 Honorable Mention
For his dissertation, Efficiency Loss in Market Mechanisms for Resource Allocation, nominated by the Massachusetts Institute of Technology.
ACM DL Author Profile
Johnson, Steven 1983 Series Winner
For his dissertation "Synthesis of Digital Systems from Recursion Equations."
ACM DL Author Profile
Karchmer, Mauricio 1988 For his dissertation "Communication Complexity - A New Approach to Circuit Depth." ACM DL Author Profile
Karger, David 1994 For his dissertation "Random Sampling in Graph Optimization Problems." ACM DL Author Profile
Katabi, Dina 2003 Honorable Mention
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.
ACM DL Author Profile
Katevenis, Manolis G.H. 1984 For his dissertation "Reduced Instruction Set Computer Architecture for VLSI." ACM DL Author Profile
Katti, Sachin 2008 Honorable Mention
For his dissertation "Network Coded Wireless Architecture" nominated by the Massachusetts Institute of Technology."
ACM DL Author Profile
Kearns, Michael J. 1989 Series Winner
For his dissertation "The Computational Complexity of Machine Learning."
ACM DL Author Profile
Khot, Subhash 2003 Honorable Mention
For his dissertation, New Techniques for Probabilistically Checkable Proofs and Inapproximability Results, nominated by Princeton University.
ACM DL Author Profile
Killian, Joe 1989 Series Winner
Series Winner For his dissertation "Uses of Randomness in Algorithms and Protocols."
ACM DL Author Profile
Kistler, James J. 1993 Honorable Mention
For his dissertation "Disconnected Operation in a Distributed File System."
ACM DL Author Profile
Korein, James 1984 Series Winner
For his dissertation "A Geometric Investigation of Reach."
ACM DL Author Profile
Larson, Lawrence Edwin 1980 Use of Decision Tables in Multi-Processing Environments. ACM DL Author Profile
Leiserson, Charles E 1982 For his dissertation "Area-Efficient VLSI Computation." ACM DL Author Profile
Liblit, Ben 2005 For his dissertation, Cooperative Bug Isolation, nominated by the University of California, Berkeley. ACM DL Author Profile
Liu, Yan 2007 Honorable Mention
For her dissertation, "Conditional Graphical Models for Protein Structure Prediction," nominated by Carnegie Mellon University.
ACM DL Author Profile
Lund, Carsten 1991 Series Winner
For his dissertation "The Power of Interaction."
ACM DL Author Profile
Madry, Aleksander 2011 Honorable Mention
For his dissertation "From Graphs to Matrices, and Back: New Techniques for Graph Algorithms," nominated by the Massachusetts Institute of Technology.
ACM DL Author Profile
McCanne, Steven R. 1997 For his dissertation "Scalable Compression and Transmission of Internet Multicast Video." ACM DL Author Profile
McMillan, Kenneth 1992 For his dissertation "Symbolic Model Checking, An approach to the State Explosion Problem." ACM DL Author Profile
Miller, Robert C. 2002 Honorable Mention
For his dissertation, Lightweight Structure in Text, nominated by the Carnegie Mellon University.
ACM DL Author Profile
Mirarab, Siavash 2015 Honorable Mention
For his dissertation, "Novel scalable approaches for multiple sequence alignment and phylogenomic reconstruction," nominated by the University of Texas at Austin.
ACM DL Author Profile
Mulmuley, Ketan D. 1986 For his dissertation "Full Abstraction and Semantic Equivalence." ACM DL Author Profile
Nayak, Pandu 1993 Honorable Mention
For his dissertation "Automated Modeling of Physical Systems."
ACM DL Author Profile
Ng, Yi-Ren 2006 For his dissertation Digital Light Field Photography, nominated by Stanford University.
Nissan, Noam 1990 Series Winner
For his dissertation "Using Hard Problems to Create Pseudorandom Generators."
ACM DL Author Profile
O'Callahan, Robert 2001 Honorable Mention
For his dissertation, Generalized Aliasing as a Basis for Program Analysis Tools, nominated by Carnegie Mellon University.
ACM DL Author Profile
Parno, Bryan 2010 For his dissertation,"Trust Extension as a Mechanism for Secure Code on Commodity Computers," nominated by Carnegie Mellon University. ACM DL Author Profile
Platzer, Andre 2009 Honorable Mention
For his dissertation ,"Differential Dynamic Logics: Automated Theorem Proving for Hybrid Systems," nominated by the University of Oldenburg, Germany.
ACM DL Author Profile
Raman, T.V. 1994 For his dissertation "Audio System for Technical Readings." ACM DL Author Profile
Reps, Thomas 1983 For his dissertation "Generating Language-Based Environments." ACM DL Author Profile
Rosenblum, Mendel 1992 For his dissertation "The Design and Implementation of a Log-structured File System." ACM DL Author Profile
Roughgarden, Tim 2002 Honorable Mention
For his dissertation, Selfish Routing, nominated by Cornell University.
ACM DL Author Profile
Saraswat, Vijay 1989 For his dissertation "Concurrent Constraint Programming Languages." ACM DL Author Profile
Schapire, Robert 1991 For his dissertation "The Design and Analysis of Efficient Learning Algorithms." ACM DL Author Profile
Shun, Julian 2015 For his dissertation, "Shared-Memory Parallelism Can Be Simple, Fast, and Scalable," nominated by Carnegie Mellon University. ACM DL Author Profile
Sidford, Aaron 2015 Honorable Mention
For his dissertation, "Iterative Methods, Combinatorial Optimization, and Linear Programming Beyond the Universal Barrier," nominated by Massachusetts Institute of Technology.
ACM DL Author Profile
Slonim, Jacob 1980 Generalized Distributed Information Management Architecture (GDIMA). ACM DL Author Profile
Snavely, Keith Noah 2009 Honorable Mention
For his dissertation ,"Scene Reconstruction and Visualization from Internet Photo Collections," nominated by the University of Washington.
ACM DL Author Profile
Snyder, Benjamin 2010 Honorable Mention
For his dissertation,"Unsupervised Multilingual Learning," nominated by the Massachusetts Institute of Technology.
ACM DL Author Profile
Spielman, Daniel A 1995 For his dissertation "Computationally Efficient Error-Correcting Codes and Holographic Proofs." ACM DL Author Profile
Steurer, David 2011 Honorable Mention
For his dissertation "On the Complexity of Unique Games and Graph Expansion," nominated by Princeton University.
ACM DL Author Profile
Stoica, Ion 2001 For his dissertation, Stateless Core: A Scalable Approach for Quality of Service, nominated by Carnegie Mellon University. ACM DL Author Profile
Sudan, Madhu 1993 For his dissertation "Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems." ACM DL Author Profile
Torkel Hastad, Johan 1986 For his dissertation "Computational Limitations for Small Depth Circuits." ACM DL Author Profile
Tu, Xiaoyuan 1996 For her dissertation "Artificial Animals for Computer Animation: Biomechanics, Locomotion, Perception, and Behavior." ACM DL Author Profile
Ungar, David M 1986 Series Winner
For his dissertation "The Design and Evaluation of a High-Performance Smalltalk System."
ACM DL Author Profile
Urban, Joseph 1978 A Specification Language and Its Processor. ACM DL Author Profile
Vadhan, Salil P 2000 For his dissertation "A Study of Statistical Zero-Knowledge Proofs," nominated by MIT. ACM DL Author Profile
Valiant, Gregory 2012 Honorable Mention
For his dissertation, "Algorithmic Approaches to Statistical Questions," nominated by the University of California, Berkeley.
ACM DL Author Profile
van Melkebeek, Dieter 1999 For his dissertation, "Randomness and Completeness in Computational Complexity." ACM DL Author Profile
Wagner, David 2001 Honorable Mention
For his dissertation, Static Analysis and Computer Security, nominated by the University of California at Berkeley.
ACM DL Author Profile
Waldspurger, Carl 1996 For his dissertation "Lottery and Stride Scheduling: Flexible Proportional-Share Resource Management." ACM DL Author Profile
Witchel, Emmett 2004 Honorable Mention
For his dissertation, Mondriaan Memory Protection, nominated by the Massachusetts Institute of Technology.
ACM DL Author Profile
Yekhanin, Sergey 2007 For his dissertation, "Locally Decodable Codes and Private Information Retrieval Schemes," nominated by the Massachusetts Institute of Technology. ACM DL Author Profile
Zaharia, Matei Alexandru 2014 For his dissertation, "An Architecture for Fast and General Data Processing on Large Clusters," nominated by the University of California at Berkeley. ACM DL Author Profile