Design patterns in separation logic

Cite it as

@inproceedings{krishnaswami2009design,
  title        = {Design patterns in separation logic},
  author       = {Neelakantan R. Krishnaswami and Jonathan Aldrich and Lars Birkedal and Kasper Svendsen and Alexandre Buisse},
  year         = {2009},
  booktitle    = {4th International Workshop on Types in Language Design and Implementation},
  publisher    = {Association for Computing Machinery},
  pages        = {105--116},
  doi          = {10.1145/1481861.1481874},
}