ACM Distinguished Dissertation

The titles in this series are winners of the annual ACM distinguished dissertation award. This series is no longer active, and the MIT Press is no longer accepting proposals for books in the series.

The Rapid Evaluation of Potential Fields in Particle Systems

Leslie F. Greengard

Mar 17, 2003

Performance Analysis of Data-Sharing Environments

Asit Dan

Mar 17, 2003

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

David L. Dill

Mar 17, 2003

Redundant Disk Arrays

Garth A. Gibson

Sep 28, 1992

The Power of Interaction

Carsten Lund

Sep 14, 1992

Uses of Randomness in Algorithms and Protocols

Joe Kilian

Oct 22, 1990

Computational Models of Games

Anne Condon

Aug 11, 1989

Algorithm Animation

Marc H. Brown

Apr 21, 1988

The Design and Evaluation of a High Performance Smalltalk System

David Michael Ungar

Jul 09, 1987

All the Right Moves

Carl Ebeling

Jun 19, 1987

Two Issues in Public Key Cryptography

Ben-Zion Chor

Jun 18, 1986

Analytic Methods in the Analysis and Design of Number Theoretic Algorithms

Eric Bach

Aug 14, 1985

Synthesis of Digital Designs from Recursive Equations

Steven Johnson

Mar 30, 1984

Formal Specification of Interactive Graphics Programming Languages

William R. Mallgren

May 10, 1983

Abstraction Mechanisms and Language Design

Paul Hilfinger

Apr 14, 1983