Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis

@inproceedings{Xu-al: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 = {ECOOP},
  pages     = {98--122},
  series    = {LNCS},
  volume    = {5653},
  publisher = {Springer},
  year      = {2009},
  doi       = {10.1007/978-3-642-03013-0\_6},
}