Finished to include changes due to Shapiro’s comments.

Papers read

  • “‘Cause I’m strong enough: reasoning about consistency choices in distributed systems”, Gotsman, Yang, Ferreira, Najafzadeh, Shapiro. POPL 2016
  • “Limitation of highly-available eventually-consistent data stores”, Attiya, Ellen, Morrison. PODC 2015

Plan for next week

Submit the survey and start thinking of plans for what to do next.