Research data supporting Verifying Spatial Properties of Array Computations
Description
This dataset reproduces findings from our paper "Verifying Spatial Properties of Array Computations". It contains the code necessary to reproduce our study of array programming idioms in
scientific/numerical Fortran code (Section 2 of the paper), to demonstrate the inference, checking, and specification synthesis features of our verification tool via examples (Section 3 of the paper), and to produce statistics describing the various kinds of specifications that can be inferred over our test corpus (Section 7 of the paper).
Format
See the included guide (artifact-guide.pdf) for full instructions.
Keywords
Computer Science
Relationships
Related research output: https://doi.org/10.1145/3133899
Publication Reference: https://doi.org/10.1145/3133899https://www.repository.cam.ac.uk/handle/1810/267779
Sponsorship
Engineering and Physical Sciences Research Council (EP/M026124/1)
Identifiers
This record's DOI: https://doi.org/10.17863/CAM.12627
Rights
Apache 2.0
Statistics
Total file downloads (since January 2020). For more information on metrics see the
IRUS guide.