Proj THUDBFuzz Paper Reading: SHAPEFLOW: Dynamic shape interpreter for Tensorflow

Abstract

目的: 快速获取tensor shape incompatible errors
方法:
API上: 与tensorflow API保持一致,不过更快,只做捕捉tensor shape并打印的工作
此外,相当于实现了自定义的shape计算图
实验:
- 52个程序
- 两种测试规模:全数据集和部分数据集
效果:
- 能正确检测到shape incompatible errors,没有误报
- 比直接运行tensorflow速度更快,两种规模下分别快了499倍和24倍

Introduction

Shape incompatible error是因为输入数据具有意外形状,这通常会导致大量时间浪费
相关软件:
Ariadne和Pythia: 静态分析,需要程序员注释其中一部分expected output shape

值得一看

原文地址:https://www.cnblogs.com/xuesu/p/14144631.html