SCS STUDENT AWARDS

SCS Student Awards
School of Computer Science, Carnegie Mellon University
Pittsburgh PA 15213-3890
412.268.8525 - 412.268.5576 [Fax]

---

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

• Gabriele Farina, 2023
  Game-Theoretic Decision Making in Imperfect-Information Games (Honorable Mention)

• Julian Shun, 2015
  Shared-Memory Parallelism Can Be Simple, Fast and Scalable

• Bryan Parno¹, 2010
  Trust Extension as a Mechanism for Secure Code on Commodity Computers

• André Platzer¹, 2009 (Honorable Mention)
  Differential Dynamic Logics: Automated Theorem Proving for Hybrid Systems

• Derek Hoiem, 2008 (Honorable Mention)
  Seeing the World Behind the Image: Spatial Layout for 3D Scene Understanding

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

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

• Venkatesan Guruswami¹, 2002
  List DEcoding of Error-Correcting Codes

• 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

¹Faculty Member: Computer Science Department, School of Computer Science

---

SCS Student Awards
School of Computer Science

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