@misc{indiciaec243b4f55422,
  title = {From Single-thread to Multithreaded: An Efficient Static Analysis Algorithm},
  author = {Jean-Loup Carre and Charles Hymans},
  year = {2009},
  url = {https://arxiv.org/abs/0910.5833},
  note = {Source identifier: 0910.5833}
}