The Distributed Components Research Group

The Distributed Components Research Group investigates tools, techniques, and methodologies for the deployment of high-confidence distributed systems. A theme of our work is sensitivity to the trade-off between (i) the confidence in the correctness of a system and (ii) the effort required to achieve this confidence. Thus, the group focuses on both the theoretical underpinnings for sound specification and reasoning, as well as practical tools for application to real systems.

A list of group members (current and recent) is here.

Links to recent papers and talks are organized into 4 categories:

Formal Methods and Distributed Algorithms

Component-based Approaches to Testing in Distributed Systems

Component-based Approaches to Specification and Reasoning in Distributed Systems

Education and Outreach