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.

Vision

We summarize our plans and contributions on our Vision page. Feel free to join the discussion about the future direction of this project.

Verification

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.

Evaluation

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.

Meeting protocols

• 2017-04-27
• 2017-05-04
• 2017-05-11
• 2017-05-19
• 2017-06-01
• 2017-06-15
• 2017-06-23
• 2017-06-29
• 2017-07-14