{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T08:02:59Z","timestamp":1768032179272,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":77,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T00:00:00Z","timestamp":1743292800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006374","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CCF-2328543, TI-2303735"],"award-info":[{"award-number":["CCF-2328543, TI-2303735"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"Masason Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"name":"DARPA","award":["FA8650-20-2-7006"],"award-info":[{"award-number":["FA8650-20-2-7006"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,3,30]]},"DOI":"10.1145\/3669940.3707218","type":"proceedings-article","created":{"date-parts":[[2025,2,6]],"date-time":"2025-02-06T12:28:01Z","timestamp":1738844881000},"page":"426-444","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Exo 2: Growing a Scheduling Language"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5255-0918","authenticated-orcid":false,"given":"Yuka","family":"Ikarashi","sequence":"first","affiliation":[{"name":"MIT CSAIL, Cambridge, MA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-1836-3451","authenticated-orcid":false,"given":"Kevin","family":"Qian","sequence":"additional","affiliation":[{"name":"MIT CSAIL, Cambridge, MA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-2377-7944","authenticated-orcid":false,"given":"Samir","family":"Droubi","sequence":"additional","affiliation":[{"name":"MIT CSAIL, Cambridge, MA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3285-2112","authenticated-orcid":false,"given":"Alex","family":"Reinking","sequence":"additional","affiliation":[{"name":"Adobe, Cambridge, MA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3016-1169","authenticated-orcid":false,"given":"Gilbert Louis","family":"Bernstein","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, WA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6243-9543","authenticated-orcid":false,"given":"Jonathan","family":"Ragan-Kelley","sequence":"additional","affiliation":[{"name":"MIT CSAIL, Cambridge, MA, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,3,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3306346.3322967"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507714"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2020.2996616"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485486"},{"key":"e_1_3_2_1_5_1","unstructured":"Apple. 2024. Accelerate Framework. https:\/\/developer.apple.com\/documentation\/accelerate\/blas\/"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428297"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2012.71"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO51591.2021.9370333"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO57630.2024.10444883"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation","author":"Chen Tianqi","year":"2018","unstructured":"Tianqi Chen, Thierry Moreau, Ziheng Jiang, Lianmin Zheng, Eddie Yan, Meghan Cowan, Haichen Shen, Leyuan Wang, Yuwei Hu, Luis Ceze, Carlos Guestrin, and Arvind Krishnamurthy. 2018. TVM: An Automated End-to-end Optimizing Compiler for Deep Learning. In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (Carlsbad, CA, USA) (OSDI'18). USENIX Association, Berkeley, CA, USA, 579--594. http:\/\/dl.acm.org\/citation.cfm?id=3291168.3291211"},{"key":"e_1_3_2_1_11_1","volume-title":"Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018","author":"Chen Tianqi","year":"2018","unstructured":"Tianqi Chen, Lianmin Zheng, Eddie Q. Yan, Ziheng Jiang, Thierry Moreau, Luis Ceze, Carlos Guestrin, and Arvind Krishnamurthy. 2018. Learning to Optimize Tensor Programs. In Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3--8 December 2018, Montr\u00e9al, Canada. Curran Associates Inc., Red Hook, NY, USA, 3393--3404. http:\/\/papers.nips.cc\/paper\/7599-learning-to-optimize-tensor-programs"},{"key":"e_1_3_2_1_12_1","volume-title":"https:\/\/www.w3.org\/TR\/xslt","author":"Clark James","unstructured":"James Clark. 1999. XSL Transformations (XSLT) Version 1.0. https:\/\/www.w3.org\/TR\/xslt. World Wide Web Consortium (W3C) Recommendation."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(00)00087-9"},{"key":"e_1_3_2_1_14_1","unstructured":"Halide Contributors. 2013. Halide Github Repository. https:\/\/github.com\/halide\/Halide. Accessed: 2024-06-24."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.SNAPL.2015.79"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462166"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/77626.79170"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/42288.42291"},{"key":"e_1_3_2_1_19_1","volume-title":"ExoBLAS: Meta-Programming a High-Performance BLAS via Scheduling Automations. Master's thesis","author":"Droubi Samir","unstructured":"Samir Droubi. 2024. ExoBLAS: Meta-Programming a High-Performance BLAS via Scheduling Automations. Master's thesis. Massachusetts Institute of Technology."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.SNAPL.2015.113"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586216"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12046-009-0001-5"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1356052.1356053"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1356052.1356053"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1377603.1377607"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3410463.3414632"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408974"},{"key":"e_1_3_2_1_28_1","volume-title":"Lawson","author":"Hanson Richard J.","year":"1973","unstructured":"Richard J. Hanson, Fred T. Krogh, and Charles L. Lawson. 1973. A proposal for standard linear algebra subprograms. https:\/\/api.semanticscholar.org\/CorpusID:60683717"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3355089.3356506"},{"key":"e_1_3_2_1_30_1","volume-title":"Statically Safe Program Generation with SafeGen","author":"Huang Shan Shan","unstructured":"Shan Shan Huang, David Zook, and Yannis Smaragdakis. 2005. Statically Safe Program Generation with SafeGen. In Generative Programming and Component Engineering, Robert Gl\u00fcck and Michael Lowry (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 309--326."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.3217\/jucs-011-07-1159"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523446"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Yuka Ikarashi Kevin Qian Samir Droubi Alex Reinking Gilbert Bernstein and Jonathan Ragan-Kelley. 2024. Exo 2: Growing a Scheduling Language (with appendices). arXiv:2411.07211 [cs.PL] https:\/\/arxiv.org\/abs\/2411.07211","DOI":"10.1145\/3669940.3707218"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/VL\/HCC51201.2021.9576341"},{"key":"e_1_3_2_1_35_1","unstructured":"Intel. 2024. Accelerate fast math with Intel oneAPI math kernel library. https:\/\/www.intel.com\/content\/www\/us\/en\/developer\/tools\/oneapi\/onemkl.html"},{"key":"e_1_3_2_1_36_1","volume-title":"Wadsworth","author":"Gordon Michael J.","year":"1979","unstructured":"Michael J. Gordon, Arthur J. Milner, and Christopher P. Wadsworth. 1979. Edinburgh LCF: A Mechanized Logic of Computation. Springer Berlin, Heidelberg, Germany."},{"key":"e_1_3_2_1_37_1","unstructured":"The jQuery Foundation. 2006. jQuery Official Documentation. https:\/\/jquery.com\/. Accessed: 2024-06-01."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2018.00014"},{"key":"e_1_3_2_1_39_1","volume-title":"The Design and Implementation of BER MetaOCaml - System Description. In Fuji International Symposium on Functional and Logic Programming. Springer International Publishing","author":"Kiselyov Oleg","year":"2014","unstructured":"Oleg Kiselyov. 2014. The Design and Implementation of BER MetaOCaml - System Description. In Fuji International Symposium on Functional and Logic Programming. Springer International Publishing, Cham, Switzerland, 86--102. https:\/\/api.semanticscholar.org\/CorpusID:9880167"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133901"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3620665.3640385"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3632900"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/355841.355847"},{"key":"e_1_3_2_1_44_1","volume-title":"Proceedings of the 2nd International Conference on Theory and Practice of Algebraic Specifications","author":"Sebastiaan","unstructured":"Sebastiaan P. Luttik and Eelco Visser. 1997. Specification of Rewriting Strategies. In Proceedings of the 2nd International Conference on Theory and Practice of Algebraic Specifications (Amsterdam, The Netherlands) (Algebraic'97). BCS Learning & Development Ltd., Swindon, GBR, 9."},{"key":"e_1_3_2_1_45_1","unstructured":"Martin Paul L\u00fccke Oleksandr Zinenko William S. Moses Michel Steuwer and Albert Cohen. 2024. The MLIR Transform Dialect. Your compiler is more powerful than you think. arXiv:2409.03864 [cs.PL] https:\/\/arxiv.org\/abs\/2409.03864"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364572"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/612201.612243"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/151233.151240"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897824.2925952"},{"key":"e_1_3_2_1_51_1","unstructured":"Nvidia. 2024. CuBLAS. https:\/\/developer.nvidia.com\/cublas"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3425898.3426961"},{"key":"e_1_3_2_1_53_1","volume-title":"Essays in Honour of Robin Milner","author":"Plotkin Gordon","unstructured":"Gordon Plotkin, P. Stirling Colin, and Mads Tofte. 2000. Proof, Language, and Interaction: Essays in Honour of Robin Milner. The MIT Press, One Broadway, Broadway 12th Floor, Cambridge, MA 02142."},{"key":"e_1_3_2_1_54_1","volume-title":"Practical Exocompilation for Performance Engineers in User-Schedulable Languages. Master's thesis","author":"Qian Kevin","unstructured":"Kevin Qian. 2024. Practical Exocompilation for Performance Engineers in User-Schedulable Languages. Master's thesis. Massachusetts Institute of Technology."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185520.2185528"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3150211"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462176"},{"key":"e_1_3_2_1_58_1","volume-title":"Gilbert Louis Bernstein, and Jonathan Ragan-Kelley","author":"Reinking Alex","year":"2022","unstructured":"Alex Reinking, Gilbert Louis Bernstein, and Jonathan Ragan-Kelley. 2022. Formal Semantics for the Halide Language. arXiv:2210.15740 [cs.PL] https:\/\/arxiv.org\/abs\/2210.15740"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3623278.3624768"},{"key":"e_1_3_2_1_60_1","volume-title":"Proceedings of the 36th International Conference on Neural Information Processing Systems","author":"Shao Junru","year":"2024","unstructured":"Junru Shao, Xiyou Zhou, Siyuan Feng, Bohan Hou, Ruihang Lai, Hongyi Jin, Wuwei Lin, Masahiro Masuda, Cody Hao Yu, and Tianqi Chen. 2024. Tensor program optimization with probabilistic programs. In Proceedings of the 36th International Conference on Neural Information Processing Systems (New Orleans, LA, USA) (NIPS '22). Curran Associates Inc., Red Hook, NY, USA, Article 2593, 14 pages."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44806-3_2"},{"key":"e_1_3_2_1_62_1","unstructured":"Brian Cantwell Smith. 1982. Procedural reflection in programming languages. Ph.D. Dissertation. Massachusetts Institute of Technology."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/800017.800513"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"crossref","unstructured":"Guy L Steele Jr. 1998. Growing a language. In Object-Oriented Programming Systems Languages and Applications (OOPSLA).","DOI":"10.1145\/346852.346922"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2017.7863730"},{"key":"e_1_3_2_1_66_1","unstructured":"Walid Taha. 1999. Multi-Stage Programming: Its Theory and Applications. Ph.D. Dissertation. Oregon Graduate Institute of Science and Technology."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/258993.259019"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480915"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/941566.941568"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/2764454"},{"key":"e_1_3_2_1_71_1","volume-title":"Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions. arXiv:1802.04730 [cs.PL]","author":"Vasilache Nicolas","year":"2018","unstructured":"Nicolas Vasilache, Oleksandr Zinenko, Theodoros Theodoridis, Priya Goyal, Zachary DeVito, William S. Moses, Sven Verdoolaege, Andrew Adams, and Albert Cohen. 2018. Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions. arXiv:1802.04730 [cs.PL]"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1177\/1094342019866247"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434304"},{"key":"e_1_3_2_1_74_1","unstructured":"Zhang Xianyi. 2011. OpenBLAS. http:\/\/www.openblas.net"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/3607851"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276491"},{"key":"e_1_3_2_1_77_1","volume-title":"Proceedings of the 14th USENIX Conference on Operating Systems Design and Implementation (OSDI'20)","author":"Zheng Lianmin","year":"2020","unstructured":"Lianmin Zheng, Chengfan Jia, Minmin Sun, Zhao Wu, Cody Hao Yu, Ameer Haj-Ali, Yida Wang, Jun Yang, Danyang Zhuo, Koushik Sen, Joseph E. Gonzalez, and Ion Stoica. 2020. Ansor: generating high-performance tensor programs for deep learning. In Proceedings of the 14th USENIX Conference on Operating Systems Design and Implementation (OSDI'20). USENIX Association, USA, Article 49, 17 pages."}],"event":{"name":"ASPLOS '25: 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Rotterdam Netherlands","acronym":"ASPLOS '25","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3669940.3707218","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3669940.3707218","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3669940.3707218","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3669940.3707218","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T14:52:58Z","timestamp":1755787978000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3669940.3707218"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,30]]},"references-count":77,"alternative-id":["10.1145\/3669940.3707218","10.1145\/3669940"],"URL":"https:\/\/doi.org\/10.1145\/3669940.3707218","relation":{},"subject":[],"published":{"date-parts":[[2025,3,30]]},"assertion":[{"value":"2025-03-30","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}