We build and investigate software systems for parallel and distributed
environments. We have conducted research in operating systems, networking,
mobile computing, language design, compiler design, and architecture,
taking a pragmatic approach: we build high-performance, reliable, and
working systems.