The maintenance of common data in a distributed system.
Avoiding Cartesian products for multiple joins.
Fixpoint logics, relational machines, and computational complexity.
Optimizing two-phase, level-clocked circuitry.
Work-preserving emulations of fixed-connection networks.
Separators for sphere-packings and nearest neighbor graphs.