@misc{indiciae7c0f081e2610,
  title = {Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap},
  author = {Julian Erhard and Simmo Saan and Sarah Tilscher and Michael Schwarz and Karoliine Holter and Vesal Vojdani and Helmut Seidl},
  year = {2022},
  url = {https://arxiv.org/abs/2209.10445},
  note = {Source identifier: 2209.10445}
}