| Title: |
Verifying Array Manipulating Programs by Tiling |
| Article URLs: |
|
| Alternative Article URLs: |
https://arxiv.org/abs/1707.03555 |
| Authors: |
Supratik Chakraborty |
-
Indian Institute of Technology Bombay
|
| Ashutosh Gupta |
-
Tata Institute of Fundamental Research
|
| Divyesh Unadkat |
|
| Sharing: |
Research produced artifacts
|
| Verification: |
Authors have
verified
information
|
| Artifact Evaluation Badge: |
none
|
| Artifact URLs: |
|
| Artifact Correspondence Email Addresses: |
|
| NSF Award Numbers: |
|
| DBLP Key: |
conf/sas/ChakrabortyGU17
|
| Author Comments: |
A virtual machine image of ubuntu 16.04 with TILER installed is uploaded on the given link. It contains all the benchmarks used in the paper and scripts to run the benchmarks. |