@misc{indiciaec7898fe59b4b,
  title = {Refining Santa: An Exercise in Efficient Synchronization},
  author = {Emil Sekerinski and Shucai Yao},
  year = {2018},
  doi = {10.4204/eptcs.282.6},
  url = {https://arxiv.org/abs/1810.09613},
  note = {Source identifier: 1810.09613}
}