Co-inventor of Theta, the first object-oriented programming language with where-clause type constraints.
Co-inventor of Thor, the first distributed object database with hybrid adaptive caching.
Doctoral work: Invented, implemented, and evaluated the first prefetching and storage management system for the client side of Thor. Advisor: Barbara Liskov. Committee: Frans Kaashoek, Butler Lampson, and Jerry Saltzer.