-
Notifications
You must be signed in to change notification settings - Fork 5
Home
We are using this wiki to keep track of discussions and ToDos in our weekly meetings. Furthermore, domain explorations and ideas will be kept note here.
We summarize our plans and contributions on our Vision page. Feel free to join the discussion about the future direction of this project.
One of the fundamental design concepts behind pluto's engineering is, to build on top of proven mechanisms to ensure reliability and correct behavior. There is, however, a certain gap between the theoretical properties and implemented application. We bridge this gap by modeling an abstraction of our implementation with a suitable formalism, which we discuss on our Verification page.
We discuss ideas and challenges of properly evaluating our system against state-of-the-art approaches on our Evaluation page. Moreover, we discuss how a proper IMAP Benchmark should look like.