

@inproceedings{Dockins2009,
author = {Dockins, Robert and Hobor, Aquinas and Appel, Andrew W.},
pages = {161--177},
title = {{A Fresh Look at Separation Algebras and Share Accounting}},
booktitle = {Asian Symposium on Programming Languages and Systems (APLAS)},
editor    = {Zhenjiang Hu},
year = {2009}
}

@inproceedings{Calcagno2007,
author = {Calcagno, Cristiano and O'Hearn, Peter W. and Yang, Hongseok},
pages = {366--375},
title = {{Local Action and Abstract Separation Logic}},
booktitle = {Logic in Computer Science (LICS)},
year = {2007}
}

@inproceedings{SchwerhoffSummers15,
 author = {M. Schwerhoff and A. J. Summers},
 title = {{Lightweight Support for Magic Wands in an Automatic Verifier}},
 booktitle = {European Conference on Object-Oriented Programming (ECOOP)},
 pages = {614--638},
 series = {LIPIcs},
 year = {2015},
 volume = {37},
 editor = {J. T. Boyland},
 publisher = {Schloss Dagstuhl},
}

@inproceedings{Dardinier22,
author="Dardinier, Thibault
and Parthasarathy, Gaurav
and Weeks, No{\'e}
and M{\"u}ller, Peter
and Summers, Alexander J.",
editor="Shoham, Sharon
and Vizel, Yakir",
title="Sound Automation of Magic Wands",
booktitle="Computer Aided Verification",
year="2022",
publisher="Springer International Publishing",
address="Cham",
pages="130--151",
isbn="978-3-031-13188-2"
}



@inproceedings{Reynolds02a,
	author = {J. C. Reynolds},
	title = {{Separation Logic: A Logic for Shared Mutable Data Structures}},
	booktitle = {Logic in Computer Science (LICS)},
	Publisher = {IEEE},
	pages     = {55--74},
	year = {2002}
}

@inproceedings{Boyland03,
author="Boyland, John",
editor="Cousot, Radhia",
title="Checking Interference with Fractional Permissions",
booktitle="Static Analysis (SAS)",
year="2003",
pages="55--72",
}

@article{Boyland10,
  author    = {John Tang Boyland},
  title     = {Semantics of fractional permissions with nesting},
  journal   = {Transactions on Programming Languages and Systems (TOPLAS)},
  volume    = {32},
  number    = {6},
  pages     = {22:1--22:33},
  year      = {2010},
  doi       = {10.1145/1749608.1749611},
  biburl    = {https://dblp.org/rec/journals/toplas/Boyland10.bib}
}

@inproceedings{JacobsPiessens11,
  author    = {Bart Jacobs and Frank Piessens},
  title     = {Expressive modular fine-grained concurrency specification},
  booktitle = {Principles of Programming Languages (POPL)},
  pages     = {271--282},
  year      = {2011},
  doi       = {10.1145/1926385.1926417},
  biburl    = {https://dblp.org/rec/conf/popl/JacobsP11.bib}
}

@inproceedings{LeHobor18,
author="Le, Xuan-Bach
and Hobor, Aquinas",
editor="Ahmed, Amal",
title="Logical Reasoning for Disjoint Permissions",
booktitle="European Symposium on Programming (ESOP)",
year="2018"
}

@inproceedings{Brotherston20,
author="Brotherston, James
and Costa, Diana
and Hobor, Aquinas
and Wickerson, John",
editor="Lahiri, Shuvendu K.
and Wang, Chao",
title="Reasoning over Permissions Regions in Concurrent Separation Logic",
booktitle="Computer Aided Verification (CAV)",
year="2020"
}

