{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:21:14Z","timestamp":1750220474175,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":99,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,17]],"date-time":"2021-10-17T00:00:00Z","timestamp":1634428800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["HR00112190046,HR0011-18-C-0059"],"award-info":[{"award-number":["HR00112190046,HR0011-18-C-0059"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1918839,CCF-1751011,CCF-2030859"],"award-info":[{"award-number":["CCF-1918839,CCF-1751011,CCF-2030859"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Sloan Foundation","award":["Research Fellowship"],"award-info":[{"award-number":["Research Fellowship"]}]},{"DOI":"10.13039\/100006785","name":"Google","doi-asserted-by":"publisher","award":["Faculty Research Award"],"award-info":[{"award-number":["Faculty Research Award"]}],"id":[{"id":"10.13039\/100006785","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,10,20]]},"DOI":"10.1145\/3486607.3486748","type":"proceedings-article","created":{"date-parts":[[2021,10,16]],"date-time":"2021-10-16T00:11:33Z","timestamp":1634343093000},"page":"18-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Programming with neural surrogates of programs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8318-0363","authenticated-orcid":false,"given":"Alex","family":"Renda","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2757-9182","authenticated-orcid":false,"given":"Yi","family":"Ding","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6928-0456","authenticated-orcid":false,"given":"Michael","family":"Carbin","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,10,17]]},"reference":[{"volume-title":"TensorFlow: A System for Large-Scale Machine Learning. In USENIX Symposium on Operating Systems Design and Implementation.","year":"2016","author":"Abadi Mart\u00edn","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304062"},{"volume-title":"Cherrypick: Adaptively Unearthing the Best Cloud Configurations for Big Data Analytics. In USENIX Conference on Networked Systems Design and Implementation.","year":"2017","author":"Alipourfard Omid","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628071.2628092"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/37.158898"},{"volume-title":"International Conference on Neural Information Processing Systems.","year":"2018","author":"Bastani Osbert","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","article-title":"Automatic Differentiation in Machine Learning: a Survey","volume":"18","author":"Baydin Atilim Gunes","year":"2018","journal-title":"Journal of Machine Learning Research"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1903070116"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/99.537089"},{"volume-title":"Pattern Recognition and Machine Learning","author":"Bishop Christopher M.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.2017.1285773"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.91.045002"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809028.1806629"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC47752.2019.9042166"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/N19-1213"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5591\/978-1-57735-516-8\/IJCAI11-210"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314642"},{"volume-title":"Conference on Machine Learning and Systems.","year":"2021","author":"Daghaghi Shabnam","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","unstructured":"ONNX Runtime developers. 2021. ONNX Runtime. https:\/\/www.onnxruntime.ai Version: 1.7.0.  ONNX Runtime developers. 2021. ONNX Runtime. https:\/\/www.onnxruntime.ai Version: 1.7.0."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/N19-1423"},{"key":"e_1_3_2_1_21_1","unstructured":"Andrea Di Biagio and Matt Davis. 2018. llvm-mca. https:\/\/lists.llvm.org\/pipermail\/llvm-dev\/2018-March\/121490.html  Andrea Di Biagio and Matt Davis. 2018. llvm-mca. https:\/\/lists.llvm.org\/pipermail\/llvm-dev\/2018-March\/121490.html"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468603"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2012.48"},{"volume-title":"AMD and VIA CPUs","author":"Fog Agner","key":"e_1_3_2_1_24_1"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511790942"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSAA.2018.00018"},{"volume-title":"Deep Learning","author":"Goodfellow Ian","key":"e_1_3_2_1_27_1"},{"volume-title":"Tenenbaum","year":"2008","author":"Goodman Noah D.","key":"e_1_3_2_1_28_1"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1201\/9780367815493"},{"volume-title":"International Conference on Learning Representations.","year":"2018","author":"Grathwohl Will","key":"e_1_3_2_1_30_1"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1201\/EBK1439811924"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3007787.3001163"},{"volume-title":"Trained Quantization and Huffman Coding. International Conference on Learning Representations.","year":"2016","author":"Han Song","key":"e_1_3_2_1_34_1"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3204949.3204975"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2018.00059"},{"key":"e_1_3_2_1_37_1","unstructured":"Jason Hicken Juan Alonso and Charbel Farhat. 2020. Lecture notes in AA222 - Introduction to Multidisciplinary Design Optimization. http:\/\/adl.stanford.edu\/aa222\/Lecture_Notes_files\/chapter6_gradfree.pdf  Jason Hicken Juan Alonso and Charbel Farhat. 2020. Lecture notes in AA222 - Introduction to Multidisciplinary Design Optimization. http:\/\/adl.stanford.edu\/aa222\/Lecture_Notes_files\/chapter6_gradfree.pdf"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDAR.1995.598994"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.8.1735"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2006.164"},{"key":"e_1_3_2_1_41_1","unstructured":"Andrew Ilyas Shibani Santurkar Dimitris Tsipras Logan Engstrom Brandon Tran and Aleksander Madry. 2019. Adversarial Examples Are Not Bugs They Are Features. In Advances in Neural Information Processing Systems.  Andrew Ilyas Shibani Santurkar Dimitris Tsipras Logan Engstrom Brandon Tran and Aleksander Madry. 2019. Adversarial Examples Are Not Bugs They Are Features. In Advances in Neural Information Processing Systems."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168882"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3079856.3080246"},{"key":"e_1_3_2_1_44_1","unstructured":"Andrej Karpathy. 2017. Software 2.0. https:\/\/medium.com\/@karpathy\/software-2-0-a64152b37c35  Andrej Karpathy. 2017. Software 2.0. https:\/\/medium.com\/@karpathy\/software-2-0-a64152b37c35"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-019-41316-9"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1611835114"},{"key":"e_1_3_2_1_47_1","unstructured":"Alex Krizhevsky Ilya Sutskever and Geoffrey E Hinton. 2012. ImageNet Classification with Deep Convolutional Neural Networks. In Advances in Neural Information Processing Systems.  Alex Krizhevsky Ilya Sutskever and Geoffrey E Hinton. 2012. ImageNet Classification with Deep Convolutional Neural Networks. In Advances in Neural Information Processing Systems."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPS.2019.2948339"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3380446.3430636"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35289-8_3"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1815961.1816021"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/BDCloud-SocialCom-SustainCom.2016.76"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/36177.36194"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0079-7421(08)60536-8"},{"volume-title":"Towards Automated Construction of Compiler Optimizations","author":"Mendis Charith","key":"e_1_3_2_1_57_1"},{"volume-title":"International Conference on Machine Learning.","year":"2019","author":"Mendis Charith","key":"e_1_3_2_1_58_1"},{"key":"e_1_3_2_1_59_1","unstructured":"Charith Mendis Cambridge Yang Yewen Pu Saman Amarasinghe and Michael Carbin. 2019. Compiler Auto-Vectorization with Imitation Learning. In Advances in Neural Information Processing Systems.  Charith Mendis Cambridge Yang Yewen Pu Saman Amarasinghe and Michael Carbin. 2019. Compiler Auto-Vectorization with Imitation Learning. In Advances in Neural Information Processing Systems."},{"volume-title":"Andrew Stewart, Goran Fernlund, Anoush Poursartip, and Frank Wood.","year":"2019","author":"Munk Andreas","key":"e_1_3_2_1_60_1"},{"volume-title":"Anderson-Cook","year":"2016","author":"Myers Raymond H.","key":"e_1_3_2_1_61_1"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOTS.2019.00053"},{"volume-title":"Probabilistic Inference Using Markov Chain Monte Carlo Methods","author":"Neal Radford M.","key":"e_1_3_2_1_63_1"},{"key":"e_1_3_2_1_64_1","unstructured":"Behnam Neyshabur. 2020. Towards Learning Convolutions from Scratch. In Advances in Neural Information Processing Systems.  Behnam Neyshabur. 2020. Towards Learning Convolutions from Scratch. In Advances in Neural Information Processing Systems."},{"volume-title":"PyTorch: An Imperative Style","author":"Paszke Adam","key":"e_1_3_2_1_65_1"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629585"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41524-020-00431-2"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14509-4"},{"volume-title":"Williams","year":"2005","author":"Rasmussen Carl Edward","key":"e_1_3_2_1_69_1"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1037\/0033-295x.97.2.285"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO50266.2020.00045"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1162\/tacl_a_00349"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4939-8847-1"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451150"},{"volume-title":"Machine Learning: The High Interest Credit Card of Technical Debt. In Software Engineering for Machine Learning (NIPS 2014 Workshop).","year":"2014","author":"Sculley D.","key":"e_1_3_2_1_75_1"},{"volume-title":"International Conference on Machine Learning.","year":"2018","author":"Serr\u00e0 Joan","key":"e_1_3_2_1_76_1"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00052"},{"key":"e_1_3_2_1_78_1","unstructured":"Sergey Shirobokov Vladislav Belavin Michael Kagan Andrey Ustyuzhanin and At\u0131l\u0131m G\u00fcne\u015f Baydin. 2020. Black-Box Optimization with Local Generative Surrogates. In Advances in Neural Information Processing Systems.  Sergey Shirobokov Vladislav Belavin Michael Kagan Andrey Ustyuzhanin and At\u0131l\u0131m G\u00fcne\u015f Baydin. 2020. Black-Box Optimization with Local Generative Surrogates. In Advances in Neural Information Processing Systems."},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1186\/s40537-019-0197-0"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/3394898"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1177\/0954410019864485"},{"volume-title":"Barto","year":"2018","author":"Sutton Richard S.","key":"e_1_3_2_1_82_1"},{"volume-title":"EfficientNet: Rethinking Model Scaling for Convolutional Neural Networks. In International Conference on Machine Learning.","year":"2019","author":"Tan Mingxing","key":"e_1_3_2_1_83_1"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2018.03.087"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2017.577"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611975949"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/3306346.3322996"},{"key":"e_1_3_2_1_88_1","unstructured":"Iulia Turc Ming-Wei Chang Kenton Lee and Kristina Toutanova. 2019. Well-Read Students Learn Better: On the Importance of Pre-training Compact Models. arxiv:1908.08962.  Iulia Turc Ming-Wei Chang Kenton Lee and Kristina Toutanova. 2019. Well-Read Students Learn Better: On the Importance of Pre-training Compact Models. arxiv:1908.08962."},{"volume-title":"International Conference on Learning Representations.","year":"2017","author":"Urban Gregor","key":"e_1_3_2_1_89_1"},{"volume-title":"\u0141 ukasz Kaiser, and Illia Polosukhin","year":"2017","author":"Vaswani Ashish","key":"e_1_3_2_1_90_1"},{"key":"e_1_3_2_1_91_1","unstructured":"Abhinav Verma Hoang Le Yisong Yue and Swarat Chaudhuri. 2019. Imitation-Projected Programmatic Reinforcement Learning. In Advances in Neural Information Processing Systems.  Abhinav Verma Hoang Le Yisong Yue and Swarat Chaudhuri. 2019. Imitation-Projected Programmatic Reinforcement Learning. In Advances in Neural Information Processing Systems."},{"volume-title":"Programmatically Interpretable Reinforcement Learning. In International Conference on Machine Learning.","year":"2018","author":"Verma Abhinav","key":"e_1_3_2_1_92_1"},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1029\/2018MS001597"},{"key":"e_1_3_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"volume-title":"The Formal Semantics of Programming Languages: An Introduction","author":"Winskel Glynn","key":"e_1_3_2_1_95_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001"},{"key":"e_1_3_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2020.emnlp-demos.6"},{"key":"e_1_3_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2019.00048"},{"volume-title":"International Conference on Learning Representations.","year":"2021","author":"Xu Keyulu","key":"e_1_3_2_1_98_1"},{"key":"e_1_3_2_1_99_1","unstructured":"Jason Yosinski Jeff Clune Yoshua Bengio and Hod Lipson. 2014. How transferable are features in deep neural networks? In Advances in Neural Information Processing Systems.  Jason Yosinski Jeff Clune Yoshua Bengio and Hod Lipson. 2014. How transferable are features in deep neural networks? In Advances in Neural Information Processing Systems."},{"volume-title":"International Conference on Learning Representations.","year":"2020","author":"Yun Chulhee","key":"e_1_3_2_1_100_1"}],"event":{"name":"SPLASH '21: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Chicago IL USA","acronym":"SPLASH '21"},"container-title":["Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3486607.3486748","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3486607.3486748","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3486607.3486748","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:39Z","timestamp":1750193319000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3486607.3486748"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,17]]},"references-count":99,"alternative-id":["10.1145\/3486607.3486748","10.1145\/3486607"],"URL":"https:\/\/doi.org\/10.1145\/3486607.3486748","relation":{},"subject":[],"published":{"date-parts":[[2021,10,17]]},"assertion":[{"value":"2021-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}