@inproceedings{scalability-cav08,
  title = "Scalable Shape Analysis for Systems Code",
  author = "Hongseok Yang and Oukseh Lee and Josh Berdine and Cristiano Calcagno and Byron Cook and Dino Distefano and Peter W. O'Hearn",
  year = "2008",
  address = "Princeton, NJ, USA",
  booktitle = "Proceedings of the 20th International Conference on Computer Aided Verification",
  isbn = "978-3-540-70543-7",
  month = "July",
  pages = "385--398",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "5123",
}