@misc{indiciae832daf4fc6a7,
  title = {Flow-Sensitive Composition of Thread-Modular Abstract Interpretation},
  author = {Markus Kusano and Chao Wang},
  year = {2017},
  url = {https://arxiv.org/abs/1709.10116},
  note = {Source identifier: 1709.10116}
}