On example of our work is the design and implementation of CLU, the first programming language to support data abstraction. Another is our invention of replication techniques that allow distributed systems to continue to provide service in the presence of both crashes and arbitrary (Byzantine) failures.
If you would like to contact us about our work, please scroll down to the people section and click on one of the group leads' people pages, where you can reach out to them directly.