Semi-static type, shape, and symbolic shape inference for dynamic computation graphs. - Momoko Hattori; Shimpei Sawada; Shinichiro Hamaji; Masahiro Sakai; Shunsuke Shimizu (MAPL@PLDI, 2020)