Project: Partisan
- Website: http://partisan.cloud
- Responsible: Christopher S. Meiklejohn
- If you have any questions, send an e-mail to beam-community AT googlegroups DOT com
Ideas are listed in no particular order. Students providing their own ideas are also welcome!
We're interested in implementing distributed protocols with Partisan and exploring how easy or hard our framework makes it. We're looking to study -- using our fault-injection and verification framework -- protocol implementations and have students work with us to document the a.) process of implementing the protocols, b.) process of debugging the protocols, and c.) the process of verifying the claims of each protocol.
Students will be responsible for picking, with the help of a mentor, a distributed protocol (think: Paxos, Raft, Viewstamped Replication, etc.) and implementing the protocol using Partisan. Students will work with the mentor to verify the implementation using fault-injection and our verification framework and document the a.) bugs in the implementation, b.) the process of implementing the protocol, and c.) results related to evaluating the protocol.