@misc{indiciae7f59cec8c592,
  title = {Improving Thread-Modular Abstract Interpretation},
  author = {Michael Schwarz and Simmo Saan and Helmut Seidl and Kalmer Apinis and Julian Erhard and Vesal Vojdani},
  year = {2021},
  url = {https://arxiv.org/abs/2108.07613},
  note = {Source identifier: 2108.07613}
}