@misc{indiciaeaebc2ede83f2,
  title = {Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis},
  author = {Krishnendu Chatterjee and Amir Kafshdar Goharshady and Rasmus Ibsen-Jensen and Andreas Pavlogiannis},
  year = {2020},
  url = {https://arxiv.org/abs/2001.11070},
  note = {Source identifier: 2001.11070}
}