What did you PLAN TO accomplish this week?

-

What DID you accomplish this week?

  • initial support for transactional write in Hybris
  • read some papers from Eurosys 2015 and PaPoC

What problems or issues arose, and how did you attempt to resolve them?

-

What is your plan for next week?

  • integrate Burckhardt’s model into survey
  • finalize tx write support for Hybris
  • think about compositional consistency
  • start prototyping paxos++

How does that fit into your long-term plan?

  • consistency survey paper
  • paxos++ paper