D Kini, U Mathur, M Viswanathan - arXiv preprint arXiv:1704.02432, 2017 - arxiv.org
Writing reliable concurrent software remains a huge challenge for today's programmers.
Programmers rarely reason about their code by explicitly considering different possible inter …