@InProceedings{KuncakLamZeeRinard05Implications,
  author =       {Viktor Kuncak and Patrick Lam and Karen Zee and Martin Rinard},
  title =        {Implications of a Data Structure Consistency Checking System},
  booktitle =      {International Conference on Verified Software: Tools, Techniques, Experiments},
  year =         {2005}
}