@InProceedings{livshits03tracking,
  author       = "V. Benjamin Livshits and Monica S. Lam",
  title        = "Tracking Pointers with Path and Context Sensitivity for Bug Detection in {C} Programs",
  booktitle    = "Proceedings of the 11th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-11)",
  month        = sep,
  year         = "2003",
  location     = "Helsinki, Finland",
  publisher    = "ACM",
}