@misc{indiciaeff4eb59b955f,
  title = {RuntimeSearch: Ctrl+F for a Running Program},
  author = {Matúš Sulír and Jaroslav Porubän},
  year = {2018},
  doi = {10.1109/ase.2017.8115651},
  url = {https://arxiv.org/abs/1807.09679},
  note = {Source identifier: 1807.09679}
}