@inproceedings{xu-ecoop09,
  author = "Guoqing Xu and Atanas Rountev and Manu Sridharan",
  title = "Scaling {CFL}-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis",
  booktitle = "European Conference on Object-Oriented Programming",
  year = 2009,
  pages = "98-122",
  series = "LNCS 5653"
}