Open-source Projects

Inception Cloud (wiki) (launchpad) (github)

OpenStack TaskFlow (wiki) (launchpad) (github)

Cologne: Declarative Distributed Constraint Optimization Platform (website)

Past Projects

DMF: Transactional Orchestration for Cloud Computing (website)

PUMA: Policy-based Unified Multi-radio Architecture for Agile Mesh Networking (website)

RapidNet: Declarative Toolkit for Rapid Network Protocol Simulation and Experimentation (website)

FVN: Formally Verifiable Networking (website)

News