Publications
TCP Connections for P2P Apps: A Software Approach to Solving the NAT Problem.
Camelot and Avalon: A Transaction Processing Facility
The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System
An Empirical Study of Insertion and Deletion in Binary Search Trees