1. R. Baghdadi, A. Cohen, S. Guelton, S. Verdoolaege, J. Inoue, T. Grosser, G. Kouveli, A. Kravets, A. Lokhmotov, C. Nugteren, F. Waters & A. F. Donaldson (2013): PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs. CoRR abs/1302.5586. Available at
  2. S. Blom & M. Huisman (2014): The VerCors Tool for Verification of Concurrent Programs. In: FM 2014: Formal Methods, Lecture Notes in Computer Science 8442. Springer, pp. 127–131, doi:10.1007/978-3-319-06410-9_9.
  3. S. Blom, M. Huisman & M. Mihelči\'c (2013): Specification and verification of GPGPU programs. Science of Computer Programming, doi:10.1016/j.scico.2014.03.013.
  4. R. Bornat, C. Calcagno, P.W. O'Hearn & M.J. Parkinson (2005): Permission accounting in separation logic. In: POPL, pp. 259–270, doi:10.1145/1040305.1040327.
  5. J. Boyland (2003): Checking Interference with Fractional Permissions. In: Static Analysis Symposium, LNCS 2694. Springer, pp. 55–72, doi:10.1007/3-540-44898-5_4.
  6. L. Dagum & R. Menon (1998): OpenMP: an industry standard API for shared-memory programming. Computational Science & Engineering, IEEE 5(1), pp. 46–55, doi:10.1109/99.660313.
  7. E.C.R. Hehner (2005): Specified Blocks. In: VSTTE, pp. 384–391, doi:10.1007/978-3-540-69149-5_41.
  8. P. W. O'Hearn (2007): Resources, concurrency and local reasoning. Theoretical Computer Science 375(1–3), pp. 271–307, doi:10.1016/j.tcs.2006.12.035.
  9. J.C. Reynolds (2002): Separation Logic: A Logic for Shared Mutable Data Structures. In: Logic in Computer Science. IEEE Computer Society, pp. 55–74, doi:10.1109/LICS.2002.1029817.
  10. H. Tuch, G. Klein & M. Norrish (2007): Types, bytes, and separation logic. In: POPL, pp. 97–108, doi:10.1145/1190216.1190234.

Comments and questions to:
For website issues: