Research data supporting Verifying Spatial Properties of Array Computations
Citation
Orchard, D., Contrastin, M., Danish, M., & Rice, A. (2017). Research data supporting Verifying Spatial Properties of Array Computations [Dataset]. https://doi.org/10.17863/CAM.12627
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.