@misc{indiciaef0dda369c923,
  title = {Dead code elimination based pointer analysis for multithreaded programs},
  author = {Mohamed A. El-Zawawy},
  year = {2012},
  url = {https://arxiv.org/abs/1212.5089},
  note = {Source identifier: 1212.5089}
}