@conference {205502, author = {John Looney and Theo Schlossnagle}, title = {Distributed Systems Reasoning}, year = {2017}, address = {Dublin}, publisher = {USENIX Association}, month = aug }