Paper list

• [ ] 🔥EPaxos: http://dl.acm.org/ft_gateway.cfm?id=2517350&ftid=1403953
  • [ ] Github: https://github.com/efficient/epaxos
  • [ ] make it running first
• [x] IPA: http://www.vldb.org/pvldb/vol12/p404-balegas.pdf
• [x] Explicit Consistency: https://pages.lip6.fr/Marc.Shapiro/papers/putting-consistency-back-EuroSys-2015.pdf
• [ ] RedBlue Consistency: http://www.cs.otago.ac.nz/cosc440/readings/osdi12-final-162.pdf
• [ ] !PoR Consistency: https://www.usenix.org/system/files/conference/atc18/atc18-li_cheng.pdf
• [ ] autoGR vldb: http://www.vldb.org/pvldb/vol14/p1517-li.pdf
• [ ] !Cause I’m Strong Enough: http://software.imdea.org/~gotsman/papers/logic-popl16.pdf
• [ ] Shenango [NSDI '19]: https://www.usenix.org/system/files/nsdi19-ousterhout.pdf