{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T16:43:02Z","timestamp":1778258582195,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T00:00:00Z","timestamp":1497744000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,6,18]]},"DOI":"10.1145\/3088525.3088527","type":"proceedings-article","created":{"date-parts":[[2017,6,9]],"date-time":"2017-06-09T17:40:22Z","timestamp":1497030022000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":48,"title":["A computational model for TensorFlow: an introduction"],"prefix":"10.1145","author":[{"given":"Mart\u00edn","family":"Abadi","sequence":"first","affiliation":[{"name":"Google Brain, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Isard","sequence":"additional","affiliation":[{"name":"Google Brain, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Derek G.","family":"Murray","sequence":"additional","affiliation":[{"name":"Google Brain, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"M. Abadi A. Agarwal P. Barham E. Brevdo Z. Chen C. Citro G. S. Corrado A. Davis J. Dean M. Devin S. Ghemawat I. J. Goodfellow A. Harp G. Irving M. Isard Y. Jia R. J\u00b4ozefowicz L. Kaiser M. Kudlur J. Levenberg D. Mane R. Monga S. Moore D. G. Murray C. Olah M. Schuster J. Shlens B. Steiner I. Sutskever K. Talwar P. A. Tucker V. Vanhoucke V. Vasudevan F. B. Vi\u00e9gas O. Vinyals P. Warden M. Wattenberg M. Wicke Y. Yu and X. Zheng. TensorFlow: Large-scale machine learning on heterogeneous distributed systems. CoRR abs\/1603.04467 2016.  M. Abadi A. Agarwal P. Barham E. Brevdo Z. Chen C. Citro G. S. Corrado A. Davis J. Dean M. Devin S. Ghemawat I. J. Goodfellow A. Harp G. Irving M. Isard Y. Jia R. J\u00b4ozefowicz L. Kaiser M. Kudlur J. Levenberg D. Mane R. Monga S. Moore D. G. Murray C. Olah M. Schuster J. Shlens B. Steiner I. Sutskever K. Talwar P. A. Tucker V. Vanhoucke V. Vasudevan F. B. Vi\u00e9gas O. Vinyals P. Warden M. Wattenberg M. Wicke Y. Yu and X. Zheng. TensorFlow: Large-scale machine learning on heterogeneous distributed systems. CoRR abs\/1603.04467 2016."},{"key":"e_1_3_2_1_2_1","first-page":"283","volume-title":"12th USENIX Symposium on Operating Systems Design and Implementation","author":"Abadi M.","year":"2016"},{"key":"e_1_3_2_1_3_1","first-page":"145","volume-title":"FORTE 2015","author":"Abadi M.","year":"2015"},{"key":"e_1_3_2_1_4_1","first-page":"34","volume-title":"Proceedings","author":"Abadi M."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/17814.17824"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.48862"},{"key":"e_1_3_2_1_7_1","unstructured":"F. Bastien P. Lamblin R. Pascanu J. Bergstra I. J. Goodfellow A. Bergeron N. Bouchard D. Warde-Farley and Y. Bengio. Theano: new features and speed improvements. CoRR abs\/1211.5590 2012.  F. Bastien P. Lamblin R. Pascanu J. Bergstra I. J. Goodfellow A. Bergeron N. Bouchard D. Warde-Farley and Y. Bengio. Theano: new features and speed improvements. CoRR abs\/1211.5590 2012."},{"key":"e_1_3_2_1_8_1","unstructured":"M. Giraud D. G. Murray and P. Tucker. control dependencies and assign new shape not working (using validate shape=false). Discussion at https:\/\/github.com\/tensorflow\/tensorflow\/ issues\/7782 2017.  M. Giraud D. G. Murray and P. Tucker. control dependencies and assign new shape not working (using validate shape=false). Discussion at https:\/\/github.com\/tensorflow\/tensorflow\/ issues\/7782 2017."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004293"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02280834"},{"key":"e_1_3_2_1_11_1","unstructured":"G. Kahn. The semantics of a simple language for parallel programming. In J. L. Rosenfeld editor Information processing pages 471\u2013 475 Stockholm Sweden Aug 1974. North Holland Amsterdam.  G. Kahn. The semantics of a simple language for parallel programming. In J. L. Rosenfeld editor Information processing pages 471\u2013 475 Stockholm Sweden Aug 1974. North Holland Amsterdam."},{"key":"e_1_3_2_1_12_1","unstructured":"M. Kudlur. Imperative programming in TensorFlow. Code repository at https:\/\/github.com\/tensorflow\/tensorflow\/blob\/ master\/tensorflow\/contrib\/imperative 2017.  M. Kudlur. Imperative programming in TensorFlow. Code repository at https:\/\/github.com\/tensorflow\/tensorflow\/blob\/ master\/tensorflow\/contrib\/imperative 2017."},{"key":"e_1_3_2_1_13_1","unstructured":"L. Lamport. Specifying Systems The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley 2002.   L. Lamport. Specifying Systems The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley 2002."},{"key":"e_1_3_2_1_14_1","unstructured":"M. Looks M. Herreshoff D. Hutchins and P. Norvig. Deep learning with dynamic computation graphs. CoRR abs\/1702.02181 2017.  M. Looks M. Herreshoff D. Hutchins and P. Norvig. Deep learning with dynamic computation graphs. CoRR abs\/1702.02181 2017."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983551"},{"key":"e_1_3_2_1_16_1","first-page":"701","volume-title":"25th Annual Conference on Neural Information Processing Systems","author":"Recht B.","year":"2011"},{"key":"e_1_3_2_1_17_1","unstructured":"The XLA Team. XLA \u2013 TensorFlow compiled. Post in the Google Developers Blog at https:\/\/developers.googleblog.com\/2017\/ 03\/xla-tensorflow-compiled.html 2017.  The XLA Team. XLA \u2013 TensorFlow compiled. Post in the Google Developers Blog at https:\/\/developers.googleblog.com\/2017\/ 03\/xla-tensorflow-compiled.html 2017."}],"event":{"name":"PLDI '17: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Barcelona Spain","acronym":"PLDI '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3088525.3088527","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3088525.3088527","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:07Z","timestamp":1750217407000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3088525.3088527"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,18]]},"references-count":17,"alternative-id":["10.1145\/3088525.3088527","10.1145\/3088525"],"URL":"https:\/\/doi.org\/10.1145\/3088525.3088527","relation":{},"subject":[],"published":{"date-parts":[[2017,6,18]]},"assertion":[{"value":"2017-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}