Here are some of our current projects. EPFL students can get details on semester/master projects here.
Simplifying distributed system development
Reliable distributed systems
- CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems
- Mirage: Managing Software Upgrades
- Opis: Reliable Distributed Systems in OCaml
Energy-aware distributed systems and networks
High-performance distributed systems
- GateKeeper: Bandwidth Adaptation in Streaming Overlays
- Uno: a Framework for Deploying Explicit Feedback Congestion Control Protocols
- BulletMedia: P2P Video-on-Demand with DVD-like features
Past projects in large-scale distributed systems:
- Bullet (High bandwidth data dissemination for large-scale distributed systems)
- MACEDON/Mace (Frameworks for developing distributed systems)
- ModelNet (Large-scale network emulation)
- FUSE (Managing failures in a distributed system)
- RanSub (Using random subsets to build scalable network services)
- SARO/AMMO (Adaptive Multi-metric Overlays)