@InProceedings{pike:cccdm,
  author =       "Scott M. Pike and Bruce W. Weide and Joseph E. Hollingsworth",
  title =        "Checkmate: Cornering {C}++ Dynamic Memory Errors With Checked Pointers",
  booktitle =    "Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education",
  year =         "2000",
  pages =        "352--356",
  location =     "Austin, Texas, USA",
  publisher =    "ACM Press",
  doi =          "http://doi.acm.org/10.1145/330908.331884",  
}