License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.6.2.6
URN: urn:nbn:de:0030-drops-132035
URL: https://drops.dagstuhl.de/opus/volltexte/2020/13203/
Go back to Dagstuhl Artifacts Series

Lagouvardos, Sifis ; Dolby, Julian ; Grech, Neville ; Antoniadis, Anastasios ; Smaragdakis, Yannis

Static Analysis of Shape in TensorFlow Programs (Artifact)

pdf-format:
DARTS-6-2-6.pdf (0.3 MB)
artifact-format:
DARTS-6-2-6-artifact-12c251ecc51a5c6dc8bf1fe7ff2e873a.tar.bz2 (1,358 MB)

Abstract

These instructions are intended for using the artifact for our ECOOP'20 paper entitled "Static Analysis of Shape in TensorFlow Programs". They can be used to run Pythia - the tool implementing the paper’s 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.

BibTeX - Entry

@Article{lagouvardos_et_al:DARTS:2020:13203,
  author =	{Sifis Lagouvardos and Julian Dolby and Neville Grech and Anastasios Antoniadis and Yannis Smaragdakis},
  title =	{{Static Analysis of Shape in TensorFlow Programs (Artifact)}},
  pages =	{6:1--6:3},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2020},
  volume =	{6},
  number =	{2},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2020/13203},
  URN =		{urn:nbn:de:0030-drops-132035},
  doi =		{10.4230/DARTS.6.2.6},
  annote =	{Keywords: Python, TensorFlow, static analysis, Doop, Wala}
}

Keywords: Python, TensorFlow, static analysis, Doop, Wala
Collection: DARTS, Volume 6, Issue 2, Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Related Scholarly Article: https://doi.org/10.4230/LIPIcs.ECOOP.2020.15
Issue Date: 2020
Date of publication: 06.11.2020

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI