Skip to content

Meeting 2017 05 19

Jump to bottom
Lennart Oldenburg edited this page May 29, 2017 · 15 revisions

  • Time: 16:15 - 17:30

  • Participants: Tim, Matthias, Lennart

  • Lennart

  • Matthias

    • Organizational things, examination registration started
    • Had a look at Vision, agrees on most parts, maybe kubernetes is a contribution after all
    • Started deployments for pluto and Dovecot on kubernetes, some very tricky environment dependencies will have to be resolved (e.g. mailbox folders)
    • Heavy refactoring still undergoing, DDD style might get adopted

  • Tim

    • Met with Lennart to further discuss Verification
    • First implementation of commutative OR-Set in Isabelle/HOL exists
    • Currently working on implementing IMAP-CRDT in Isabelle/HOL

  • TO:

    • PromCon
      • We will meet on 24/05 at 15:30 to discuss the submission
    • Evaluation
      • Discussed the proposal on Evaluation
      • Some further things to consider
      • Tim will present his version of the evaluation page

  • ToDos until 2017-06-01

    • Lennart:
      • Send out mail to Dovecot mailing list after all feedback is integrated
      • Finish removing failover node and create a Pull Request to merge changes
      • Move internal communication to gRPC/ProtoBuf
      • Have a look at Tim's Isabelle/HOL code (and possibly extend it...)
      • Together with Matze, adopt new DDD-/service-oriented style and stream-line
      • Clean up and organize branches
    • Matthias:
      • Prepare PromCon submission, think about what exactly we (will) achieve
      • Finish refactoring phase, move pluto to DDD-/service-oriented style
      • Together with Lennart, stream-line and integrate new logging and error style
      • Create needed user folders and files automatically (on-demand)
      • Get pluto up and running on kubernetes cluster
      • Start working on deeply integrated metrics collection via Prometheus
    • Tim:
      • Propose diff'ed version of Evaluation page with focus on own considerations
      • First ideas and remarks on how we should model our IMAP benchmark
      • Work on and possibly finish verification of our IMAP-CRDT
Clone this wiki locally