Published March 8, 2023 | Version 1.1.0
Software Open

Artifact and Appendix of 'Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic'

  • 1. ROR icon Radboud University Nijmegen
  • 2. ROR icon TU Dortmund University

Description

This is the artifact and appendix for the PLDI '23 paper 'Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic'. It contains the source code of an extension of Diaframe that has better support for disjunctions, a VM containing a compiled version of this source code, instructions for evaluation, and the technical appendix.

Files

appendix_main.pdf

Files (6.8 GB)

Name Size Download all
md5:86e2ff36207e37db290b832cab830b37
335.6 kB Preview Download
md5:996d6f26893a7e40a01b4ea7142d5cb9
24.7 MB Download
md5:fa43d797278409cfa4edb92814b4006b
6.7 GB Download
md5:fd3695da232bd67fd89cae46403cfd39
28.6 kB Preview Download