Vision

Disclamer: This page contains our thoughts about the vision of the pluto project. We are excited to discuss promising directions for pluto. Feel free to leave a comment or an issue to get in touch.

Contributions

With pluto, we aim to contribute novel approaches in the fields of Cloud Engineering, Fault Tolerance, Verification, and ultimately Distributed Systems research. The pluto project is a research project in the first place. However, instead of only developing a new concept, we are committed to bring our ideas to life by providing well engineered software based on strong concepts and literally proven mechanisms.

Therefore, we plan to contribute the following:

• Propose an IMAP CRDT - we model IMAP commands as operations on a CRDT. The proposed datatype enables a more flexible way to handle application state in an IMAP system.
  • Verify the convergence - we give certainty that the application state converges and that our promises hold. We provide an adequate system model and propose the necessary definitions and lemmas to express the pluto's behavior. All propositions are formally verified and maybe machine checked.