Research data supporting Verifying Spatial Properties of Array Computations
MetadataShow full item record
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
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).
See the included guide (artifact-guide.pdf) for full instructions.
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
Engineering and Physical Sciences Research Council (EP/M026124/1)
This record's DOI: https://doi.org/10.17863/CAM.12627