# Draft paper and Table 1 and Table 2 of the paper.

We provide the draft paper and the original tables 1 and 2 that are included in the paper.

## Contents

* psharp-pldi15.pdf
  This is the draft PLDI 2015 paper.

* table-1
  Table corresponding to the static analysis results of the paper. Please see the results.pdf file.
  The "analysis_table.tex" file contains the raw results used to generate the table.

* table-2
  Table corresponding to the systematic testing results of the paper. Please see the results.pdf file.
  The "testing_table.tex" file contains the raw results used to generate the table.
