Published March 8, 2023 | Version 1.1.0
-
1.
Radboud University Nijmegen
-
2.
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