{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T11:55:48Z","timestamp":1787313348073,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":81,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T00:00:00Z","timestamp":1740441600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"DFG, German Research Foundation","award":["470527619"],"award-info":[{"award-number":["470527619"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,2,25]]},"DOI":"10.1145\/3708493.3712682","type":"proceedings-article","created":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T12:02:04Z","timestamp":1740484924000},"page":"35-47","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["pyATF: Constraint-Based Auto-Tuning in Python"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7592-6850","authenticated-orcid":false,"given":"Richard","family":"Schulze","sequence":"first","affiliation":[{"name":"University of M\u00fcnster, Muenster, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3857-9380","authenticated-orcid":false,"given":"Sergei","family":"Gorlatch","sequence":"additional","affiliation":[{"name":"University of M\u00fcnster, Muenster, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0286-0755","authenticated-orcid":false,"given":"Ari","family":"Rasch","sequence":"additional","affiliation":[{"name":"University of M\u00fcnster, Muenster, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,2,25]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2023. TIOBE \u2013 The Software Quality Company. https:\/\/www.tiobe.com\/tiobe-index\/"},{"key":"e_1_3_2_1_2_1","unstructured":"2024. KTT - Kernel Tuning Toolkit. https:\/\/github.com\/HiPerCoRe\/KTT\/tree\/master"},{"key":"e_1_3_2_1_3_1","volume-title":"TensorFlow: A System for Large-Scale Machine Learning. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)","author":"Abadi Mart\u00edn","year":"2016","unstructured":"Mart\u00edn Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek G. Murray, Benoit Steiner, Paul Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, and Xiaoqiang Zheng. 2016. TensorFlow: A System for Large-Scale Machine Learning. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). USENIX Association, Savannah, GA. 265\u2013283. isbn:978-1-931971-33-1 https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/abadi"},{"key":"e_1_3_2_1_4_1","volume-title":"2016 IEEE International Symposium on Workload Characterization (IISWC). 1\u201310","author":"Ahmad M.","unstructured":"M. Ahmad and O. Khan. 2016. GPU concurrency choices in graph analytics. In 2016 IEEE International Symposium on Workload Characterization (IISWC). 1\u201310."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523442"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628071.2628092"},{"key":"e_1_3_2_1_7_1","unstructured":"Apache TVM Community. 2022. Invalid comm_reducer. https:\/\/discuss.tvm.apache.org\/t\/invalid-comm-reducer\/12788"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","unstructured":"Artifact Implementation. 2025. . https:\/\/doi.org\/10.1145\/3580444 10.1145\/3580444","DOI":"10.1145\/3580444"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2841200"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1177\/1094342013493644"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2004.840311"},{"key":"e_1_3_2_1_12_1","volume-title":"Dynamic Tuning of Input-Dependent Code. In 2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS). 307\u2013316","author":"Beckingsale David","year":"2017","unstructured":"David Beckingsale, Olga Pearce, Ignacio Laguna, and Todd Gamblin. 2017. Apollo: Reusable Models for Fast, Dynamic Tuning of Input-Dependent Code. In 2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS). 307\u2013316."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1088\/1749-4699"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2013.06.001"},{"key":"e_1_3_2_1_15_1","unstructured":"Chun Chen Jacqueline Chame and Mary Hall. 2008. CHiLL: A Framework for Composing High-Level Loop Transformations. Citeseer 0\u201327."},{"key":"e_1_3_2_1_16_1","volume-title":"TVM: An Automated End-to-End Optimizing Compiler for Deep Learning. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)","author":"Chen Tianqi","year":"2018","unstructured":"Tianqi Chen, Thierry Moreau, Ziheng Jiang, Lianmin Zheng, Eddie Yan, Haichen Shen, Meghan Cowan, Leyuan Wang, Yuwei Hu, Luis Ceze, Carlos Guestrin, and Arvind Krishnamurthy. 2018. TVM: An Automated End-to-End Optimizing Compiler for Deep Learning. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). USENIX Association, Carlsbad, CA. 578\u2013594. isbn:978-1-939133-08-3 https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/chen"},{"key":"e_1_3_2_1_17_1","volume-title":"2011 IEEE International Parallel & Distributed Processing Symposium. 676\u2013687","author":"Christen Matthias","year":"2011","unstructured":"Matthias Christen, Olaf Schenk, and Helmar Burkhart. 2011. Patus: A code generation and autotuning framework for parallel iterative stencil computations on modern microarchitectures. In 2011 IEEE International Parallel & Distributed Processing Symposium. 676\u2013687."},{"key":"e_1_3_2_1_18_1","volume-title":"An introduction to coupled cluster theory for computational chemists. Reviews in computational chemistry, 14","author":"Daniel Crawford T","year":"2007","unstructured":"T Daniel Crawford and Henry F Schaefer III. 2007. An introduction to coupled cluster theory for computational chemists. Reviews in computational chemistry, 14 (2007), 33\u2013136."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","unstructured":"Simon Garcia De Gonzalo Simon D. Hammond Christian R. Trott and Wen-Mei Hwu. 2017. Revisiting Online Autotuning for Sparse-Matrix Vector Multiplication Kernels on Next-Generation Architectures. In 2017 IEEE 19th International Conference on High Performance Computing and Communications; IEEE 15th International Conference on Smart City; IEEE 3rd International Conference on Data Science and Systems (HPCC\/SmartCity\/DSS). 72\u201380. https:\/\/doi.org\/10.1109\/HPCC-SmartCity-DSS.2017.10 10.1109\/HPCC-SmartCity-DSS.2017.10","DOI":"10.1109\/HPCC-SmartCity-DSS.2017.10"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2009.5206848"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1242531.1242553"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2004.840301"},{"key":"e_1_3_2_1_23_1","volume-title":"Zbigniew Chamski, Olivier Temam, Mircea Namolaru, Elad Yom-Tov, Bilha Mendelson, Ayal Zaks, and Eric Courtois.","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, and Eric Courtois. 2011. \"Milepost GCC: Machine Learning Enabled Self-tuning Compiler\". International journal of parallel programming, 39, 3 (2011), 296\u2013327."},{"key":"e_1_3_2_1_24_1","unstructured":"GitHub. 2024. NumExpr: Fast numerical expression evaluator for NumPy. https:\/\/github.com\/pydata\/numexpr"},{"key":"e_1_3_2_1_25_1","unstructured":"GitHub. 2024. Scikit-Optimize. https:\/\/github.com\/scikit-optimize\/scikit-optimize"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3168824"},{"key":"e_1_3_2_1_27_1","volume-title":"Annotation-Based Empirical Performance Tuning Using Orio. In 2009 IEEE International Symposium on Parallel & Distributed Processing. 1\u201311","author":"Hartono Albert","year":"2009","unstructured":"Albert Hartono, Boyana Norris, and Ponnuswamy Sadayappan. 2009. Annotation-Based Empirical Performance Tuning Using Orio. In 2009 IEEE International Symposium on Parallel & Distributed Processing. 1\u201311."},{"key":"e_1_3_2_1_28_1","volume-title":"Deep Residual Learning for Image Recognition. CoRR, abs\/1512.03385","author":"He Kaiming","year":"2015","unstructured":"Kaiming He, Xiangyu Zhang, Shaoqing Ren, and Jian Sun. 2015. Deep Residual Learning for Image Recognition. CoRR, abs\/1512.03385 (2015), arXiv:1512.03385. arxiv:1512.03385"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3623278.3624770"},{"key":"e_1_3_2_1_30_1","volume-title":"Das Krebsregister-Manual der Gesellschaft der epidemiologischen Krebsregister in Deutschland e.V","author":"Hentschel K","unstructured":"K Hentschel. 2008. Das Krebsregister-Manual der Gesellschaft der epidemiologischen Krebsregister in Deutschland e.V.. Zuckschwerdt Verlag."},{"key":"e_1_3_2_1_31_1","volume-title":"Erik Orm Hellsten, and Luigi Nardi","author":"Hvarfner Carl","year":"2024","unstructured":"Carl Hvarfner, Erik Orm Hellsten, and Luigi Nardi. 2024. Vanilla Bayesian Optimization Performs Great in High Dimensions. arxiv:2402.02229."},{"key":"e_1_3_2_1_32_1","volume-title":"2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS). 254\u2013261","author":"Jan\u00dfen B.","unstructured":"B. Jan\u00dfen, F. Schwiegelshohn, M. Koedam, F. Duhem, L. Masing, S. Werner, C. Huriaux, A. Courtay, E. Wheatley, K. Goossens, F. Lemonnier, P. Millet, J. Becker, O. Sentieys, and M. H\u00fcbner. 2015. Designing applications for heterogeneous many-core architectures with the FlexTiles Platform. In 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS). 254\u2013261."},{"key":"e_1_3_2_1_33_1","volume-title":"2016 International Conference on Parallel Architecture and Compilation Techniques (PACT). 387\u2013400","author":"Jia Z.","unstructured":"Z. Jia, C. Xue, G. Chen, J. Zhan, L. Zhang, Y. Lin, and P. Hofstee. 2016. Auto-tuning Spark big data workloads on POWER8: Prediction-based dynamic SMT threading. In 2016 International Conference on Parallel Architecture and Compilation Techniques (PACT). 387\u2013400."},{"key":"e_1_3_2_1_34_1","unstructured":"Khronos. 2023. The OpenCL Specification. https:\/\/registry.khronos.org\/OpenCL\/specs\/3.0-unified\/html\/OpenCL_API.html"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2011.2178620"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3219819.3219837"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3331553.3342613"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996863"},{"key":"e_1_3_2_1_39_1","volume-title":"Bound the Peak Performance of SGEMM on GPU with software-controlled fast memory. [Research Report] RR-7923","author":"Lai Junjie","year":"2012","unstructured":"Junjie Lai and Andr\u00e9 Seznec. 2012. Bound the Peak Performance of SGEMM on GPU with software-controlled fast memory. [Research Report] RR-7923, 2012. hal-00686006v1."},{"key":"e_1_3_2_1_40_1","volume-title":"Tune: A Research Platform for Distributed Model Selection and Training. arxiv:1807.05118. arxiv:1807.05118","author":"Liaw Richard","year":"2018","unstructured":"Richard Liaw, Eric Liang, Robert Nishihara, Philipp Moritz, Joseph E. Gonzalez, and Ion Stoica. 2018. Tune: A Research Platform for Distributed Model Selection and Training. arxiv:1807.05118. arxiv:1807.05118"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2458523.2458530"},{"key":"e_1_3_2_1_42_1","unstructured":"Modular. 2024. Mojo \u2013 the programming language for all AI developers. https:\/\/www.modular.com\/max\/mojo"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694364"},{"key":"e_1_3_2_1_44_1","volume-title":"Nitro: A Framework for Adaptive Code Variant Tuning. In 2014 IEEE 28th International Parallel and Distributed Processing Symposium. 501\u2013512","author":"Muralidharan Saurav","year":"2014","unstructured":"Saurav Muralidharan, Manu Shantharam, Mary Hall, Michael Garland, and Bryan Catanzaro. 2014. Nitro: A Framework for Adaptive Code Variant Tuning. In 2014 IEEE 28th International Parallel and Distributed Processing Symposium. 501\u2013512."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOTS.2019.00045"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3204919.3204924"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCSoC.2015.10"},{"key":"e_1_3_2_1_48_1","unstructured":"NVIDIA. 2023. NVRTC. https:\/\/docs.nvidia.com\/cuda\/nvrtc\/index.html"},{"key":"e_1_3_2_1_49_1","volume-title":"PyTorch: An Imperative Style","author":"Paszke Adam","unstructured":"Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, Luca Antiga, Alban Desmaison, Andreas Kopf, Edward Yang, Zachary DeVito, Martin Raison, Alykhan Tejani, Sasank Chilamkurthy, Benoit Steiner, Lu Fang, Junjie Bai, and Soumith Chintala. 2019. PyTorch: An Imperative Style, High-Performance Deep Learning Library. In Advances in Neural Information Processing Systems, H. Wallach, H. Larochelle, A. Beygelzimer, F. d' Alch\u00e9-Buc, E. Fox, and R. Garnett (Eds.). 32, Curran Associates, Inc.. https:\/\/proceedings.neurips.cc\/paper_files\/paper\/2019\/file\/bdbca288fee7f92f2bfa9f7012727740-Paper.pdf"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2020.02.069"},{"key":"e_1_3_2_1_51_1","first-page":"232","article-title":"SPIRAL","volume":"93","author":"Puschel Markus","year":"2005","unstructured":"Markus Puschel, Jos\u00e9 MF Moura, Jeremy R Johnson, David Padua, Manuela M Veloso, Bryan W Singer, Jianxin Xiong, Franz Franchetti, Aca Gacic, and Yevgen Voronenko. 2005. SPIRAL: Code Generation for DSP Transforms. Proc. IEEE, 93, 2 (2005), 232\u2013275.","journal-title":"Code Generation for DSP Transforms. Proc. IEEE"},{"key":"e_1_3_2_1_52_1","unstructured":"Python. 2024. datetime \u2014 Basic date and time types. https:\/\/docs.python.org\/3\/library\/datetime.html"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3665643"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-019-02829-2"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-017-0508-z"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.4423"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC-SmartCity-DSS.2017.9"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2019.00035"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297280.3297330"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3578360.3580269"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3427093"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/PADSW.2018.8644541"},{"key":"e_1_3_2_1_63_1","volume-title":"2009 IEEE International Symposium on Parallel Distributed Processing. 1\u201312","author":"Schaa D.","unstructured":"D. Schaa and D. Kaeli. 2009. Exploring the multiple-GPU design space. In 2009 IEEE International Symposium on Parallel Distributed Processing. 1\u201312."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126908.3126945"},{"key":"e_1_3_2_1_65_1","unstructured":"Paul Springer and Paolo Bientinesi. 2016. Design of a high-performance GEMM-like Tensor-Tensor Multiplication. CoRR arxiv:1607.00145. arxiv:1607.00145"},{"key":"e_1_3_2_1_66_1","volume-title":"13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)","author":"Sriraman Akshitha","unstructured":"Akshitha Sriraman and Thomas F. Wenisch. 2018. mu Tune: Auto-Tuned Threading for OLDI Microservices. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). USENIX Association, Carlsbad, CA. 177\u2013194. isbn:978-1-939133-08-3 https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/sriraman"},{"key":"e_1_3_2_1_67_1","volume-title":"Euro-Par\u201997 Parallel Processing","author":"Stenstr\u00f6m Per","unstructured":"Per Stenstr\u00f6m and Jonas Skeppstedt. 1997. A performance tuning approach for shared-memory multiprocessors. In Euro-Par\u201997 Parallel Processing, Christian Lengauer, Martin Griebl, and Sergei Gorlatch (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 72\u201383. isbn:978-3-540-69549-3"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368858"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/3330345.3331059"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2017.14"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1177\/1094342019865606"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.5555\/3314872.3314898"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126908.3126939"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2009.07.001"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2018.08.004"},{"key":"e_1_3_2_1_76_1","volume-title":"2016 49th Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO). 1\u201314","author":"Vijaykumar N.","unstructured":"N. Vijaykumar, K. Hsieh, G. Pekhimenko, S. Khan, A. Shrestha, S. Ghose, A. Jog, P. B. Gibbons, and O. Mutlu. 2016. Zorua: A holistic approach to resource virtualization in GPUs. In 2016 49th Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO). 1\u201314."},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.1998.10004"},{"key":"e_1_3_2_1_78_1","first-page":"67","article-title":"Numerical Optimization","volume":"35","author":"Wright Stephen","year":"1999","unstructured":"Stephen Wright and Jorge Nocedal. 1999. Numerical Optimization. Springer Science, 35, 67\u201368 (1999), 7.","journal-title":"Springer Science"},{"key":"e_1_3_2_1_79_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_80_1","volume-title":"Ansor: Generating High-Performance Tensor Programs for Deep Learning. In 14th USENIX Symposium 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 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). USENIX Association, 863\u2013879. isbn:978-1-939133-19-9 https:\/\/www.usenix.org\/conference\/osdi20\/presentation\/zheng"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243176.3243187"}],"event":{"name":"CC '25: 34th ACM SIGPLAN International Conference on Compiler Construction","location":"Las Vegas NV USA","acronym":"CC '25","sponsor":["SIGPLAN SIGPLAN Programming Languages"]},"container-title":["Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3708493.3712682","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3708493.3712682","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:09:54Z","timestamp":1750280994000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3708493.3712682"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,25]]},"references-count":81,"alternative-id":["10.1145\/3708493.3712682","10.1145\/3708493"],"URL":"https:\/\/doi.org\/10.1145\/3708493.3712682","relation":{},"subject":[],"published":{"date-parts":[[2025,2,25]]},"assertion":[{"value":"2025-02-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}