@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",
}