Neelakantan R. Krishnaswami Jonathan Aldrich Lars Birkedal Kasper Svendsen Alexandre Buisse Design patterns in separation logic. 105-116 2009 TLDI http://doi.acm.org/10.1145/1481861.1481874 conf/tldi/2009 db/conf/tldi/tldi2009.html#KrishnaswamiABSB09