@article(DBLP:journals/corr/abs-1302-5586,
 author       = "R. Baghdadi and A. Cohen and S. Guelton and S. Verdoolaege and J. Inoue and T. Grosser and G. Kouveli and A. Kravets and A. Lokhmotov and C. Nugteren and F. Waters and A. F. Donaldson",
 year         = "2013",
 title        = "{PENCIL}: Towards a {Platform-Neutral Compute Intermediate Language for DSLs}",
 journal      = "CoRR",
 volume       = "abs/1302.5586",
 url          = "http://arxiv.org/abs/1302.5586",
)
@inproceedings(FM2014vercors,
 author       = "S. Blom and M. Huisman",
 year         = "2014",
 title        = "The {VerCors Tool} for Verification of Concurrent Programs",
 booktitle    = "FM 2014: Formal Methods",
 series       = "Lecture Notes in Computer Science",
 volume       = "8442",
 publisher    = "Springer",
 pages        = "127--131",
 doi          = "10.1007/978-3-319-06410-9\_9",
)
@article(BlomHM13,
 author       = "S. Blom and M. Huisman and M. Mihel\v {c}i\'{c}",
 year         = "2013",
 title        = "Specification and verification of {GPGPU} programs",
 journal      = "Science of Computer Programming",
 doi          = "10.1016/j.scico.2014.03.013",
)
@inproceedings(BornatCOP05,
 author       = "R. Bornat and C. Calcagno and P.W. O'Hearn and M.J. Parkinson",
 year         = "2005",
 title        = "Permission accounting in separation logic",
 booktitle    = "POPL",
 pages        = "259--270",
 doi          = "10.1145/1040305.1040327",
)
@inproceedings(Boyland03,
 author       = "J. Boyland",
 year         = "2003",
 title        = "Checking Interference with Fractional Permissions",
 booktitle    = "Static Analysis Symposium",
 series       = "LNCS",
 volume       = "2694",
 publisher    = "Springer",
 pages        = "55--72",
 doi          = "10.1007/3-540-44898-5\_4",
)
@article(dagum1998openmp,
 author       = "L. Dagum and R. Menon",
 year         = "1998",
 title        = "{OpenMP}: an industry standard {API} for shared-memory programming",
 journal      = "Computational Science \& Engineering, IEEE",
 volume       = "5",
 number       = "1",
 pages        = "46--55",
 doi          = "10.1109/99.660313",
)
@inproceedings(DBLP:conf/vstte/Hehner05,
 author       = "E.C.R. Hehner",
 year         = "2005",
 title        = "Specified Blocks",
 booktitle    = "VSTTE",
 pages        = "384--391",
 doi          = "10.1007/978-3-540-69149-5\_41",
)
@article(OHearn07,
 author       = "P. W. O'Hearn",
 year         = "2007",
 title        = "Resources, concurrency and local reasoning",
 journal      = "Theoretical Computer Science",
 volume       = "375",
 number       = "1--3",
 pages        = "271--307",
 doi          = "10.1016/j.tcs.2006.12.035",
)
@inproceedings(Reynolds02separationlogic,
 author       = "J.C. Reynolds",
 year         = "2002",
 title        = "Separation Logic: A Logic for Shared Mutable Data Structures",
 booktitle    = "Logic in Computer Science",
 publisher    = "IEEE Computer Society",
 pages        = "55--74",
 doi          = "10.1109/LICS.2002.1029817",
)
@inproceedings(DBLP:conf/popl/TuchKN07,
 author       = "H. Tuch and G. Klein and M. Norrish",
 year         = "2007",
 title        = "Types, bytes, and separation logic",
 booktitle    = "POPL",
 pages        = "97--108",
 doi          = "10.1145/1190216.1190234",
)