International Static Analysis Symposium, SAS 2017


Article Details
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
  • TCS Research
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.

Discuss this paper and its artifacts below