@misc{indiciaea756861eb4fa,
  title = {Effect Summaries for Thread-Modular Analysis},
  author = {Lukáš Holík and Roland Meyer and Tomáš Vojnar and Sebastian Wolff},
  year = {2017},
  url = {https://arxiv.org/abs/1705.03701},
  note = {Source identifier: 1705.03701}
}