{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,7]],"date-time":"2026-04-07T22:27:03Z","timestamp":1775600823141,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,1,28]]},"DOI":"10.1145\/3771775.3786282","type":"proceedings-article","created":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T14:46:23Z","timestamp":1769611583000},"page":"119-130","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Schedgehammer: Auto-tuning Compiler Optimizations beyond Numerical Parameters"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-2258-1972","authenticated-orcid":false,"given":"Johannes","family":"Lenfers","sequence":"first","affiliation":[{"name":"University of M\u00fcnster, M\u00fcnster, Germany"},{"name":"Daisytuner, Darmstadt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-0395-1027","authenticated-orcid":false,"given":"Sven","family":"Spehr","sequence":"additional","affiliation":[{"name":"University of M\u00fcnster, M\u00fcnster, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-5163-5580","authenticated-orcid":false,"given":"Justus","family":"Dieckmann","sequence":"additional","affiliation":[{"name":"University of M\u00fcnster, M\u00fcnster, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-9647-4959","authenticated-orcid":false,"given":"Johannes","family":"Jansen","sequence":"additional","affiliation":[{"name":"University of M\u00fcnster, M\u00fcnster, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8865-9886","authenticated-orcid":false,"given":"Martin Paul","family":"L\u00fccke","sequence":"additional","affiliation":[{"name":"AMD, M\u00fcnster, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3857-9380","authenticated-orcid":false,"given":"Sergei","family":"Gorlatch","sequence":"additional","affiliation":[{"name":"University of M\u00fcnster, M\u00fcnster, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,1,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628071.2628092"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00110"},{"key":"e_1_3_2_1_3_1","volume-title":"TVM: An automated end-to-end optimizing compiler for deep learning. In OSDI.","author":"Tianqi Chen","year":"2018","unstructured":"Tianqi Chen et al. 2018. TVM: An automated end-to-end optimizing compiler for deep learning. In OSDI."},{"key":"e_1_3_2_1_4_1","volume-title":"CIRCT","author":"Community The CIRCT","year":"2025","unstructured":"The CIRCT Community. 2022. \u201cCIRCT\u201d \/ Circuit IR Compilers and Tools.. https:\/\/circt.llvm.org\/ [Accessed 20-12-2025]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Chris Cummins Bram Wasti Jiadong Guo Brandon Cui Jason Ansel Sahir Gomez Somya Jain Jia Liu Olivier Teytaud Benoit Steiner Yuandong Tian and Hugh Leather. 2022. CompilerGym: Robust Performant Compiler Optimization Environments for AI Research. In CGO.","DOI":"10.1109\/CGO53902.2022.9741258"},{"key":"e_1_3_2_1_6_1","volume-title":"Zbigniew Chamski, Olivier Temam, Mircea Namolaru, Elad Yom-Tov, Bilha Mendelson, Ayal Zaks, Eric Courtois, et al.","author":"Fursin Grigori","year":"2011","unstructured":"Grigori Fursin, Yuriy Kashnikov, Abdul Wahid Memon, Zbigniew Chamski, Olivier Temam, Mircea Namolaru, Elad Yom-Tov, Bilha Mendelson, Ayal Zaks, Eric Courtois, et al. 2011. Milepost gcc: Machine learning enabled self-tuning compiler. International journal of parallel programming, 39 (2011), 296\u2013327."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3410227"},{"key":"e_1_3_2_1_8_1","first-page":"70","article-title":"Autophase: Juggling hls phase orderings in random forests with deep reinforcement learning","volume":"2","author":"Haj-Ali Ameer","year":"2020","unstructured":"Ameer Haj-Ali, Qijing Jenny Huang, John Xiang, William Moses, Krste Asanovic, John Wawrzynek, and Ion Stoica. 2020. Autophase: Juggling hls phase orderings in random forests with deep reinforcement learning. Proceedings of Machine Learning and Systems, 2 (2020), 70\u201381.","journal-title":"Proceedings of Machine Learning and Systems"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3623278.3624770"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Fredrik Kjolstad et al. 2017. The tensor algebra compiler. In OOPSLA.","DOI":"10.1145\/3133901"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the ACM on Programming Languages, 8, POPL","author":"Thomas K\u0153","year":"2024","unstructured":"Thomas K\u0153 hler, Andr\u00e9s Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, and Michel Steuwer. 2024. Guided equality saturation. Proceedings of the ACM on Programming Languages, 8, POPL (2024), 1727\u20131758."},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 2009 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems. 119\u2013128","author":"Kulkarni Pallavi","year":"2009","unstructured":"Pallavi Kulkarni, David Whalley, and Kyle Gallivan. 2009. COBAYN: Compiler optimization exploration using Bayesian networks. In Proceedings of the 2009 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems. 119\u2013128."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.17970249"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3446804.3446844"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3696443.3708922"},{"key":"e_1_3_2_1_17_1","unstructured":"Raghu Prabhakar Mullapudi et al. 2021. Learning to schedule heterogeneous architectures with Halide. In PPoPP."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185520.2185528"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3708493.3712682"},{"key":"e_1_3_2_1_20_1","first-page":"35783","article-title":"Tensor program optimization with probabilistic programs","volume":"35","author":"Shao Junru","year":"2022","unstructured":"Junru Shao, Xiyou Zhou, Siyuan Feng, Bohan Hou, Ruihang Lai, Hongyi Jin, Wuwei Lin, Masahiro Masuda, Cody Hao Yu, and Tianqi Chen. 2022. Tensor program optimization with probabilistic programs. Advances in Neural Information Processing Systems, 35 (2022), 35783\u201335796.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_21_1","volume-title":"Lift: A functional data-parallel IR for high-performance GPU code generation. In CGO.","author":"Michel Steuwer","year":"2017","unstructured":"Michel Steuwer et al. 2017. Lift: A functional data-parallel IR for high-performance GPU code generation. In CGO."},{"key":"e_1_3_2_1_22_1","unstructured":"Michel Steuwer Thomas Koehler Bastian K\u00f6pcke and Federico Pizzuti. 2022. RISE & shine: Language-oriented compiler design. arXiv preprint arXiv:2201.03611."},{"key":"e_1_3_2_1_23_1","unstructured":"Jacob O. T\u00f8rring Carl Hvarfner Luigi Nardi and Magnus Sj\u00e4lander. 2025. CATBench: A Compiler Autotuning Benchmarking Suite for Black-box Optimization. arxiv:2406.17811. arxiv:2406.17811"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2018.08.004"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(00)00086-7"},{"key":"e_1_3_2_1_26_1","volume-title":"Egg: Fast and extensible equality saturation. In PLDI.","author":"Max Willsey","year":"2021","unstructured":"Max Willsey et al. 2021. Egg: Fast and extensible equality saturation. In PLDI."},{"key":"e_1_3_2_1_27_1","unstructured":"Xingfu Wu Prasanna Balaprakash Michael Kruse Jaehoon Koo Brice Videau Paul Hovland Valerie Taylor Brad Geltz Siddhartha Jana and Mary Hall. 2023. ytopt: Autotuning scientific applications for energy efficiency at large scales. arXiv:2303.16245."},{"key":"e_1_3_2_1_28_1","volume-title":"Ansor: Generating High-Performance Tensor Programs for Deep Learning. OSDI.","author":"Lianmin Zheng","year":"2020","unstructured":"Lianmin Zheng et al. 2020. Ansor: Generating High-Performance Tensor Programs for Deep Learning. OSDI."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378508"}],"event":{"name":"CC '26: 35th ACM SIGPLAN International Conference on Compiler Construction","location":"Sydney NSW Australia","acronym":"CC '26","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3771775.3786282","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T14:47:07Z","timestamp":1769611627000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3771775.3786282"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,28]]},"references-count":29,"alternative-id":["10.1145\/3771775.3786282","10.1145\/3771775"],"URL":"https:\/\/doi.org\/10.1145\/3771775.3786282","relation":{},"subject":[],"published":{"date-parts":[[2026,1,28]]},"assertion":[{"value":"2026-01-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}