Semi-static type, shape, and symbolic shape inference for dynamic computation graphs

Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, Shunsuke Shimizu. Semi-static type, shape, and symbolic shape inference for dynamic computation graphs. In Koushik Sen, Mayur Naik, editors, Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL@PLDI 2020, London, UK, June 15, 2020. pages 11-19, ACM, 2020. [doi]

Abstract

Abstract is missing.