Published November 13, 2023
| Version v1
Dataset
Open
Benchmarks for POPL'24 Paper "Commutativity Simplifies Proofs of Parameterized Programs"
-
1.
University of Toronto
-
2.
University of Freiburg
Description
This archive contains the benchmark programs used in the POPL'24 paper "Commutativity Simplifies Proofs of Parameterized Programs" by A. Farzan, D. Klumpp and A. Podelski. https://doi.org/10.1145/3632925
A preprint of the paper can be found at https://arxiv.org/abs/2311.02673.
Files
README.md
Files
(186.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:1bd555e42ace87849e105a57e8ff0c16
|
181.9 kB | Preview Download |
|
md5:cd94f2f8fcf631eff62a34b7f4b03ac5
|
4.1 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Publication: 10.1145/3632925 (DOI)