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

Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, Shunsuke Shimizu

Browse the full PLDI paper archive.