@misc{indiciae88375dda1cb5,
  title = {Verifying Programs Under Custom Application-Specific Execution Models},
  author = {Brett Boston and Zoe Gong and Michael Carbin},
  year = {2018},
  url = {https://arxiv.org/abs/1805.06090},
  note = {Source identifier: 1805.06090}
}