@INPROCEEDINGS{pratikakis:sas06,
  AUTHOR = {Polyvios Pratikakis and Jeffrey S. Foster and Michael Hicks},
  TITLE = {Existential Label Flow Inference via {CFL} Reachability},
  BOOKTITLE = {Proceedings of the Static Analysis Symposium (SAS)},
  YEAR = 2006,
  MONTH = AUG,
}