HyParView: a membership protocol for reliable gossip-based broadcast (2007) [pdf]gsd.inesc-id.pt·6 pts·ch·0
SWIM: Scalable Weakly-Consistent Infection-Style Membership Protocol (2002) [pdf]cs.cornell.edu·3 pts·ch·1
Mysteries of Dropbox: Property-Based Testing of a Synchronization Service [pdf]cis.upenn.edu·14 pts·ch·3
Programming a Multicore Architecture Without Coherency, Atomic Operations (2014) [pdf]eprints.eemcs.utwente.nl·17 pts·ch·2