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)

Gradual Tensor Shape Checking. - Momoko Hattori; Naoki Kobayashi 001; Ryosuke Sato 001 (ESOP, 2023)