ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020

These instructions are intended for using the artifacts for our ECOOP’20 paper entitled “Static Analysis of Shape in TensorFlow Programs”. They can be used to run the analysis on the paper’s evaluation set demonstrating bug detection in the most precise configuration of our analysis as well as the precision of the analysis under different configurations.