ACM Doctoral Dissertation Award
--Awarded annually by the Association for Computing Machinery to the author(s) of the best doctoral dissertation(s) in computer science and engineering.

Recipients

• Vincent Conitzer, 2007, (Honorable Mention)
  Computational Aspects of Preference Aggregation

• Yan Liu, 2007, (Honorable Mention)
  Conditional Graphical Models for Protein Structure Prediction

• Robert C. Miller, 2002, (Honorable Mention)
  Lightweight Structure in Text

• Ion Stoica, 2001
  Stateless Core: A Scalable Approach for Quality of Service

• Robert O'Callahan, 2001, (Honorable Mention)
  Generalized Aliasing as a Basis for Porgram Analysis Tools

• James J. Kistler, 1993, (Honorable Mention)
  Disconnected Operation in a Distributed File System

• Kenneth McMillan, 1992
  Symbolic Model Checking: An Approach to the State Explosion Problem

• Vijay Saraswat, 1989
  Concurrent Constraint Programming Languages

• David Dill, 1988 (Doctoral Dissertation Series Winner)
  Trace Theory for Autmoatic Hierarchical Verification of Speed-Independent Circuits

• Ketan Mulmuley, 1986
  Full Abstraction and Semantic Equivalence

• Carl Ebeling, 1986 (Doctoral Dissertation Series Winner)
  All the Right Moves: A VLSI Architecture for Chess

• Charles E. Leiserson, 1982
  Area-efficient VLSI Computation

• Roderic G. Cattell, 1978 (Inaugural Year of the Award)
  Formalization and Automatic Derivation of Code Generators

SCS Student Awards
School of Computer Science

This page maintained by copetas@cs.cmu.edu.