zenodoopen
Benchmarks for POPL'24 Paper "Commutativity Simplifies Proofs of Parameterized Programs"
<p>This archive contains the benchmark programs used in the POPL'24 paper <i>"Commutativity Simplifies Proofs of Parameterized Programs"</i> by A. Farzan, D. Klumpp and A. Podelski. <a href="https://doi.org/10.1145/3632925">https://doi.org/10.1145/3632925</a></p><p>A preprint of the paper can be found at <a href="https://arxiv.org/abs/2311.02673">https://arxiv.org/abs/2311.02673</a>.</p>
ShareScore
40/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 4
- Harmonization
- 4
- Access
- 16
- Reuse readiness
- 8
- Engagement
- 8
ScienceDex for faculty
Your academic CV and NIH biosketch
Make your CV in your school's format and your NIH biosketch from it, then download both as Word files.