{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:26:24Z","timestamp":1750220784959,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T00:00:00Z","timestamp":1592179200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,15]]},"DOI":"10.1145\/3394450.3397465","type":"proceedings-article","created":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T22:03:54Z","timestamp":1591049034000},"page":"11-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Semi-static type, shape, and symbolic shape inference for dynamic computation graphs"],"prefix":"10.1145","author":[{"given":"Momoko","family":"Hattori","sequence":"first","affiliation":[{"name":"University of Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shimpei","family":"Sawada","sequence":"additional","affiliation":[{"name":"Preferred Networks, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shinichiro","family":"Hamaji","sequence":"additional","affiliation":[{"name":"Preferred Networks, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masahiro","family":"Sakai","sequence":"additional","affiliation":[{"name":"Preferred Networks, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shunsuke","family":"Shimizu","sequence":"additional","affiliation":[{"name":"Preferred Networks, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. Chainer-compiler. https:\/\/github.com\/pfnet-research\/chainercompiler. Accessed: 2020-02-11.  [n. d.]. Chainer-compiler. https:\/\/github.com\/pfnet-research\/chainercompiler. Accessed: 2020-02-11."},{"key":"e_1_3_2_1_2_1","unstructured":"[n. d.]. The Coq Proof Assistant. https:\/\/coq.inria.fr\/. Accessed:2020- 03-16.  [n. d.]. The Coq Proof Assistant. https:\/\/coq.inria.fr\/. Accessed:2020- 03-16."},{"key":"e_1_3_2_1_3_1","unstructured":"[n. d.]. Hasktorch. https:\/\/github.com\/hasktorch\/hasktorch. Accessed: 2020-03-12.  [n. d.]. Hasktorch. https:\/\/github.com\/hasktorch\/hasktorch. Accessed: 2020-03-12."},{"key":"e_1_3_2_1_4_1","unstructured":"[n. d.]. hmatrix: Numeric Linear Algebra. https:\/\/hackage.haskell.org\/ package\/hmatrix. Accessed:2020-03-09.  [n. d.]. hmatrix: Numeric Linear Algebra. https:\/\/hackage.haskell.org\/ package\/hmatrix. Accessed:2020-03-09."},{"key":"e_1_3_2_1_5_1","unstructured":"[n. d.]. ONNX-Chainer. https:\/\/github.com\/chainer\/onnx-chainer. Accessed: 2020-02-27.  [n. d.]. ONNX-Chainer. https:\/\/github.com\/chainer\/onnx-chainer. Accessed: 2020-02-27."},{"key":"e_1_3_2_1_6_1","unstructured":"[n. d.]. Pyre: A performant type-checker for Python 3. https:\/\/pyrecheck.org\/. Accessed:2020-03-10.  [n. d.]. Pyre: A performant type-checker for Python 3. https:\/\/pyrecheck.org\/. Accessed:2020-03-10."},{"key":"e_1_3_2_1_7_1","unstructured":"[n. d.]. pytype: A static type analyzer for Python code. https: \/\/google.github.io\/pytype. Accessed:2020-03-10.  [n. d.]. pytype: A static type analyzer for Python code. https: \/\/google.github.io\/pytype. Accessed:2020-03-10."},{"key":"e_1_3_2_1_8_1","unstructured":"[n. d.]. TypeScript: Advanced Types. https:\/\/www.typescriptlang.org\/ docs\/handbook\/advanced-types.html. Accessed: 2020-03-16.  [n. d.]. TypeScript: Advanced Types. https:\/\/www.typescriptlang.org\/ docs\/handbook\/advanced-types.html. Accessed: 2020-03-16."},{"volume-title":"d.]. XLA: Optimizing Compiler for Machine Learning. https: \/\/www.tensorflow.org\/xla\/. Accessed: 2020-03-05","year":"2017","key":"e_1_3_2_1_9_1","unstructured":"[n. d.]. XLA: Optimizing Compiler for Machine Learning. https: \/\/www.tensorflow.org\/xla\/. Accessed: 2020-03-05 . 2017 . RDL : Types, type checking, and contracts for Ruby. https: \/\/github.com\/plum-umd\/rdl. Accessed : 2020-03-09. [n. d.]. XLA: Optimizing Compiler for Machine Learning. https: \/\/www.tensorflow.org\/xla\/. Accessed: 2020-03-05. 2017. RDL: Types, type checking, and contracts for Ruby. https: \/\/github.com\/plum-umd\/rdl. Accessed: 2020-03-09."},{"key":"e_1_3_2_1_10_1","volume-title":"12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)","author":"Abadi Mart\u00edn","year":"2016","unstructured":"Mart\u00edn Abadi , Paul Barham , Jianmin Chen , Zhifeng Chen , Andy Davis , Jeffrey Dean , Matthieu Devin , Sanjay Ghemawat , Geoffrey Irving , Michael Isard , 2016 . Tensorflow: A system for large-scale machine learning . In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16) . 265\u2013283. Mart\u00edn Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, et al. 2016. Tensorflow: A system for large-scale machine learning. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). 265\u2013283."},{"key":"e_1_3_2_1_11_1","volume-title":"A simple and practical linear algebra library interface with static size checking. arXiv preprint arXiv:1512.01898","author":"Abe Akinori","year":"2015","unstructured":"Akinori Abe and Eijiro Sumii . 2015. A simple and practical linear algebra library interface with static size checking. arXiv preprint arXiv:1512.01898 ( 2015 ). Akinori Abe and Eijiro Sumii. 2015. A simple and practical linear algebra library interface with static size checking. arXiv preprint arXiv:1512.01898 (2015)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297081.1297091"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_6"},{"key":"e_1_3_2_1_14_1","volume-title":"13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)","author":"Chen Tianqi","year":"2018","unstructured":"Tianqi Chen , Thierry Moreau , Ziheng Jiang , Lianmin Zheng , Eddie Yan , Haichen Shen , Meghan Cowan , Leyuan Wang , Yuwei Hu , Luis Ceze , 2018 . TVM: An automated end-to-end optimizing compiler for deep learning . In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18) . 578\u2013594. Tianqi Chen, Thierry Moreau, Ziheng Jiang, Lianmin Zheng, Eddie Yan, Haichen Shen, Meghan Cowan, Leyuan Wang, Yuwei Hu, Luis Ceze, et al. 2018. TVM: An automated end-to-end optimizing compiler for deep learning. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). 578\u2013594."},{"key":"e_1_3_2_1_15_1","unstructured":"ONNX Contributors. [n. d.]. Open Neural Network Exchange. https: \/\/onnx.ai. Accessed: 2020-02-13.  ONNX Contributors. [n. d.]. Open Neural Network Exchange. https: \/\/onnx.ai. Accessed: 2020-02-13."},{"key":"e_1_3_2_1_16_1","unstructured":"PyTorch Contributors. [n. d.]. PyTorch Examples. https:\/\/github.com\/ pytorch\/examples. Accessed: 2020-03-09.  PyTorch Contributors. [n. d.]. PyTorch Examples. https:\/\/github.com\/ pytorch\/examples. Accessed: 2020-03-09."},{"key":"e_1_3_2_1_17_1","unstructured":"PyTorch Contributors. [n. d.]. Torch script. https:\/\/pytorch.org\/docs\/ stable\/jit.html. Accessed: 2020-03-12.  PyTorch Contributors. [n. d.]. Torch script. https:\/\/pytorch.org\/docs\/ stable\/jit.html. Accessed: 2020-03-12."},{"key":"e_1_3_2_1_18_1","unstructured":"PyTorch Contributors. [n. d.]. torchvision. https:\/\/github.com\/pytorch\/ vision\/tree\/master\/torchvision\/models. Accessed: 2020-03-10.  PyTorch Contributors. [n. d.]. torchvision. https:\/\/github.com\/pytorch\/ vision\/tree\/master\/torchvision\/models. Accessed: 2020-03-10."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_20_1","unstructured":"Scott Cyphers Arjun K Bansal Anahita Bhiwandiwalla Jayaram Bobba Matthew Brookhart Avijit Chakraborty Will Constable Christian Convey Leona Cook Omar Kanawi etal 2018. Intel ngraph: An intermediate representation compiler and executor for deep learning. arXiv preprint arXiv:1801.08058 (2018).  Scott Cyphers Arjun K Bansal Anahita Bhiwandiwalla Jayaram Bobba Matthew Brookhart Avijit Chakraborty Will Constable Christian Convey Leona Cook Omar Kanawi et al. 2018. Intel ngraph: An intermediate representation compiler and executor for deep learning. arXiv preprint arXiv:1801.08058 (2018)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3211346.3211349"},{"key":"e_1_3_2_1_22_1","volume-title":"Shed skin: An optimizing python-to-c++ compiler","author":"Dufour Mark","year":"2006","unstructured":"Mark Dufour . 2006. Shed skin: An optimizing python-to-c++ compiler . Delft University of Technology ( 2006 ). Mark Dufour. 2006. Shed skin: An optimizing python-to-c++ compiler. Delft University of Technology (2006)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314630"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-73721-8_13"},{"volume-title":"[n. d.]. Mypy-optional static typing for python","author":"Jukka Lehtosalo","key":"e_1_3_2_1_25_1","unstructured":"Jukka Lehtosalo et al. [n. d.]. Mypy-optional static typing for python . http:\/\/mypy-lang.org. Accessed: 2020-03-12. Jukka Lehtosalo et al. [n. d.]. Mypy-optional static typing for python. http:\/\/mypy-lang.org. Accessed: 2020-03-12."},{"key":"e_1_3_2_1_26_1","unstructured":"Adam Paszke Sam Gross Francisco Massa Adam Lerer James Bradbury Gregory Chanan Trevor Killeen Zeming Lin Natalia Gimelshein Luca Antiga etal 2019.  Adam Paszke Sam Gross Francisco Massa Adam Lerer James Bradbury Gregory Chanan Trevor Killeen Zeming Lin Natalia Gimelshein Luca Antiga et al. 2019."},{"key":"e_1_3_2_1_27_1","unstructured":"PyTorch: An imperative style highperformance deep learning library. In Advances in Neural Information Processing Systems. 8024\u20138035.  PyTorch: An imperative style highperformance deep learning library. In Advances in Neural Information Processing Systems. 8024\u20138035."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3211346.3211348"},{"key":"e_1_3_2_1_29_1","volume-title":"Glow: Graph lowering compiler techniques for neural networks. arXiv preprint arXiv:1805.00907","author":"Rotem Nadav","year":"2018","unstructured":"Nadav Rotem , Jordan Fix , Saleem Abdulrasool , Garret Catron , Summer Deng , Roman Dzhabarov , Nick Gibson , James Hegeman , Meghan Lele , Roman Levenstein , 2018 . Glow: Graph lowering compiler techniques for neural networks. arXiv preprint arXiv:1805.00907 (2018). Nadav Rotem, Jordan Fix, Saleem Abdulrasool, Garret Catron, Summer Deng, Roman Dzhabarov, Nick Gibson, James Hegeman, Meghan Lele, Roman Levenstein, et al. 2018. Glow: Graph lowering compiler techniques for neural networks. arXiv preprint arXiv:1805.00907 (2018)."},{"key":"e_1_3_2_1_30_1","volume-title":"DART: Directed Automated Random Testing. In Hardware and Software: Verification and Testing","author":"Sen Koushik","year":"2011","unstructured":"Koushik Sen . 2011 . DART: Directed Automated Random Testing. In Hardware and Software: Verification and Testing , Kedar Namjoshi, Andreas Zeller, and Avi Ziv (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 4\u20134. Koushik Sen. 2011. DART: Directed Automated Random Testing. In Hardware and Software: Verification and Testing, Kedar Namjoshi, Andreas Zeller, and Avi Ziv (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 4\u20134."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_32_1","volume-title":"Eager Execution: An imperative, define-by-run interface to TensorFlow. https:\/\/ai.googleblog. com\/2017\/10\/eager-execution-imperative-define-by.html. Accessed: 2020-03-12.","author":"Shankar Asim","year":"2017","unstructured":"Asim Shankar and Wolff Dobson . 2017 . Eager Execution: An imperative, define-by-run interface to TensorFlow. https:\/\/ai.googleblog. com\/2017\/10\/eager-execution-imperative-define-by.html. Accessed: 2020-03-12. Asim Shankar and Wolff Dobson. 2017. Eager Execution: An imperative, define-by-run interface to TensorFlow. https:\/\/ai.googleblog. com\/2017\/10\/eager-execution-imperative-define-by.html. Accessed: 2020-03-12."},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of workshop on machine learning systems (LearningSys) in the twenty-ninth annual conference on neural information processing systems (NIPS)","volume":"5","author":"Tokui Seiya","year":"2015","unstructured":"Seiya Tokui , Kenta Oono , Shohei Hido , and Justin Clayton . 2015 . Chainer: a next-generation open source framework for deep learning . In Proceedings of workshop on machine learning systems (LearningSys) in the twenty-ninth annual conference on neural information processing systems (NIPS) , Vol. 5 . 1\u20136. Seiya Tokui, Kenta Oono, Shohei Hido, and Justin Clayton. 2015. Chainer: a next-generation open source framework for deep learning. In Proceedings of workshop on machine learning systems (LearningSys) in the twenty-ninth annual conference on neural information processing systems (NIPS), Vol. 5. 1\u20136."},{"key":"e_1_3_2_1_34_1","unstructured":"Guido Van Rossum Jukka Lehtosalo and Lukasz Langa. 2014. PEP 484 \u2013type hints. https:\/\/www.python.org\/dev\/peps\/pep-0484\/. Accessed: 2020-03-12.  Guido Van Rossum Jukka Lehtosalo and Lukasz Langa. 2014. PEP 484 \u2013type hints. https:\/\/www.python.org\/dev\/peps\/pep-0484\/. Accessed: 2020-03-12."}],"event":{"name":"PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"London UK","acronym":"PLDI '20"},"container-title":["Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3394450.3397465","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3394450.3397465","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:37Z","timestamp":1750200097000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3394450.3397465"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,15]]},"references-count":34,"alternative-id":["10.1145\/3394450.3397465","10.1145\/3394450"],"URL":"https:\/\/doi.org\/10.1145\/3394450.3397465","relation":{},"subject":[],"published":{"date-parts":[[2020,6,15]]},"assertion":[{"value":"2020-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}