@inproceedings{gleissenthall:2019:pretend,
  author    = {Klaus von Gleissenthall and Rami G\"{o}khan K\i{c}\i and Alexander Bakst and Deian Stefan and Ranjit Jhala},
  title     = {Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs},
  booktitle = {ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)},
  month     = {January},
  year      = {2019},
  publisher = {ACM}
}