{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T00:54:59Z","timestamp":1770339299881,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":39,"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:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,6,18]]},"DOI":"10.1145\/3088525.3088562","type":"proceedings-article","created":{"date-parts":[[2017,6,9]],"date-time":"2017-06-09T17:40:22Z","timestamp":1497030022000},"page":"8-17","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Dyna: toward a self-optimizing declarative language for machine learning applications"],"prefix":"10.1145","author":[{"given":"Tim","family":"Vieira","sequence":"first","affiliation":[{"name":"Johns Hopkins University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Francis-Landau","sequence":"additional","affiliation":[{"name":"Johns Hopkins University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nathaniel Wesley","family":"Filardo","sequence":"additional","affiliation":[{"name":"Johns Hopkins University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farzad","family":"Khorasani","sequence":"additional","affiliation":[{"name":"Rice University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason","family":"Eisner","sequence":"additional","affiliation":[{"name":"Johns Hopkins University, 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. Goodfellow A. Harp G. Irving M. Isard Y. Jia R. Jozefowicz L. Kaiser M. Kudlur J. Levenberg D. Man\u00e9 R. Monga S. Moore D. Murray C. Olah M. Schuster J. Shlens B. Steiner I. Sutskever K. Talwar P. Tucker V. Vanhoucke V. Vasudevan F. Vi\u00e9gas O. Vinyals P. Warden M. Wattenberg M. Wicke Y. Yu and X. Zheng. TensorFlow: Large-scale machine learning on heterogeneous systems 2015.  M. Abadi A. Agarwal P. Barham E. Brevdo Z. Chen C. Citro G. S. Corrado A. Davis J. Dean M. Devin S. Ghemawat I. Goodfellow A. Harp G. Irving M. Isard Y. Jia R. Jozefowicz L. Kaiser M. Kudlur J. Levenberg D. Man\u00e9 R. Monga S. Moore D. Murray C. Olah M. Schuster J. Shlens B. Steiner I. Sutskever K. Talwar P. Tucker V. Vanhoucke V. Vasudevan F. Vi\u00e9gas O. Vinyals P. Warden M. Wattenberg M. Wicke Y. Yu and X. Zheng. TensorFlow: Large-scale machine learning on heterogeneous systems 2015."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/342009.335420"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27801-6_30"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53455-7_5"},{"key":"e_1_3_2_1_5_1","volume-title":"Advances in Neural Information Processing Systems (NIPS)","author":"Bhatnagar S.","year":"2007"},{"key":"e_1_3_2_1_6_1","unstructured":"J. Bilmes K. Asanovi\u00b4c J. Demmel D. Lam and C. Chin. PHiPAC: A portable high-performance ANSI C coding methodology and its application to matrix multiply. Technical report U. of Tennessee 1996.   J. Bilmes K. Asanovi\u00b4c J. Demmel D. Lam and C. Chin. PHiPAC: A portable high-performance ANSI C coding methodology and its application to matrix multiply. Technical report U. of Tennessee 1996."},{"key":"e_1_3_2_1_7_1","volume-title":"Inc.","author":"Carpenter B.","year":"2008"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/276305.276337"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/234286.1057820"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1561\/1900000001"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809049.1809079"},{"key":"e_1_3_2_1_14_1","unstructured":"J. Eisner. Dyna: A non-probabilistic programming language for probabilistic AI. NIPS*2008 Workshop on Probabilistic Programming 2008.  J. Eisner. Dyna: A non-probabilistic programming language for probabilistic AI. NIPS*2008 Workshop on Probabilistic Programming 2008."},{"key":"e_1_3_2_1_15_1","first-page":"85","volume-title":"Proc. of the Conference on Formal Grammar","author":"Eisner J.","year":"2007"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9_11"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.3115\/1220575.1220611"},{"key":"e_1_3_2_1_18_1","volume-title":"Proc. of UAI","author":"Elidan G.","year":"2006"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380240306"},{"key":"e_1_3_2_1_20_1","volume-title":"International Conference on Logic Programming","volume":"17","author":"Filardo N. W.","year":"2012"},{"key":"e_1_3_2_1_21_1","unstructured":"N. W. Filardo and J. Eisner. Set-at-a-time solving in weighted logic programs. 2017a.  N. W. Filardo and J. Eisner. Set-at-a-time solving in weighted logic programs. 2017a."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.1998.681704"},{"key":"e_1_3_2_1_23_1","unstructured":"A. Garlapati A. Raghunathan V. Nagarajan and B. Ravindran. A reinforcement learning approach to online learning of decision trees. CoRR abs\/1507.06923 2015.  A. Garlapati A. Raghunathan V. Nagarajan and B. Ravindran. A reinforcement learning approach to online learning of decision trees. CoRR abs\/1507.06923 2015."},{"key":"e_1_3_2_1_24_1","unstructured":"A. Gruslys R. Munos I. Danihelka M. Lanctot and A. Graves. Memoryefficient backpropagation through time. Computing Research Repository (CoRR) abs\/1606.03401 2016.  A. Gruslys R. Munos I. Danihelka M. Lanctot and A. Graves. Memoryefficient backpropagation through time. Computing Research Repository (CoRR) abs\/1606.03401 2016."},{"key":"e_1_3_2_1_25_1","unstructured":"H. He P. Mineiro and N. Karampatziakis. Active information acquisition. CoRR abs\/1602.02181 2016.  H. He P. Mineiro and N. Karampatziakis. Active information acquisition. CoRR abs\/1602.02181 2016."},{"key":"e_1_3_2_1_26_1","volume-title":"University of British Columbia","author":"Hutter F.","year":"2009"},{"key":"e_1_3_2_1_27_1","volume-title":"Memo 70","author":"Kowalski R.","year":"1974"},{"key":"e_1_3_2_1_28_1","volume-title":"International Symposium on Code Generation and Optimization","author":"Li X.","year":"2004"},{"key":"e_1_3_2_1_29_1","volume-title":"USENIX File &amp","author":"Megiddo N.","year":"2003"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379017"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022643204877"},{"key":"e_1_3_2_1_32_1","volume-title":"University of British Columbia","author":"Schmidt M.","year":"2010"},{"key":"e_1_3_2_1_33_1","first-page":"716","volume-title":"Proc. of the Workshop on Artificial Intelligence and Statistics (AI-Stats)","author":"Schmidt M.","year":"2010"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P15-1015"},{"key":"e_1_3_2_1_35_1","unstructured":"R. S. Sutton and A. G. Barto. Reinforcement Learning: An Introduction. 2017.  R. S. Sutton and A. G. Barto. Reinforcement Learning: An Introduction. 2017."},{"key":"e_1_3_2_1_36_1","unstructured":"Theano Development Team. Theano: A Python framework for fast computation of mathematical expressions. Computing Research Repository (CoRR) abs\/1605.02688 2016.  Theano Development Team. Theano: A Python framework for fast computation of mathematical expressions. Computing Research Repository (CoRR) abs\/1605.02688 2016."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-012-0293-7"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ADPRL.2009.4927542"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"R. C. Whaley A. Petitet and J. J. Dongarra. Automated empirical optimizations of software and the ATLAS project. Parallel Computing 27(1) 2001.  R. C. Whaley A. Petitet and J. J. Dongarra. Automated empirical optimizations of software and the ATLAS project. Parallel Computing 27(1) 2001.","DOI":"10.1016\/S0167-8191(00)00087-9"},{"key":"e_1_3_2_1_41_1","volume-title":"International Conference on Spoken Language Processing (ICSLP)","author":"Zweig G.","year":"2000"}],"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.3088562","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3088525.3088562","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.3088562"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,18]]},"references-count":39,"alternative-id":["10.1145\/3088525.3088562","10.1145\/3088525"],"URL":"https:\/\/doi.org\/10.1145\/3088525.3088562","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"}}]}}