{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:24:46Z","timestamp":1771698286248,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["NWA.1160.18.316"],"award-info":[{"award-number":["NWA.1160.18.316"]}],"id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9,8]]},"DOI":"10.1145\/3754598.3754601","type":"proceedings-article","created":{"date-parts":[[2025,12,20]],"date-time":"2025-12-20T08:34:32Z","timestamp":1766219672000},"page":"668-677","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Efficient Construction of Large Search Spaces for Auto-Tuning"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2295-8263","authenticated-orcid":false,"given":"Floris-Jan","family":"Willemsen","sequence":"first","affiliation":[{"name":"Leiden University, Leiden, Netherlands and Netherlands eScience Center, Amsterdam, Netherlands"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2947-9444","authenticated-orcid":false,"given":"Rob V.","family":"van Nieuwpoort","sequence":"additional","affiliation":[{"name":"Leiden University, Leiden, Netherlands"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7508-3272","authenticated-orcid":false,"given":"Ben","family":"van Werkhoven","sequence":"additional","affiliation":[{"name":"Leiden University, Leiden, Netherlands and Netherlands eScience Center, Amsterdam, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2025,12,20]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"Z. Alomari O.\u00a0E. Halimi K. Sivaprasad and C. Pandit. 2015. Comparative Studies of Six Programming Languages."},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/2628071.2628092"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/LaTiCE.2014.20"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"H. Bal D. Epema C. de Laat R. van Nieuwpoort J. Romein F. Seinstra C. Snoek and H. Wijshoff. 2016. A Medium-Scale Distributed System for Computer Science Research: Infrastructure for the Long Term. Computer (2016).","DOI":"10.1109\/MC.2016.127"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"P. Balaprakash J. Dongarra T. Gamblin et\u00a0al. 2018. Autotuning in High-Performance Computing Applications. Proc. IEEE (2018).","DOI":"10.1109\/JPROC.2018.2841200"},{"key":"e_1_3_3_1_7_2","volume-title":"Handbook of Satisfiability","author":"Barrett C.","year":"2008","unstructured":"C. Barrett, R. Sebastiani, S. Seshia, and C. Tinelli. 2008. Satisfiability Modulo Theories. In Handbook of Satisfiability."},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"crossref","unstructured":"S. Behnel R. Bradshaw C. Citro L. Dalcin D.\u00a0S. Seljebotn and K. Smith. 2011. Cython: The Best of Both Worlds. Comput. Sci. Eng. (2011).","DOI":"10.1109\/MCSE.2010.118"},{"key":"e_1_3_3_1_9_2","volume-title":"Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications","author":"Biere A.","year":"2009","unstructured":"A. Biere, M. Heule, H. van Maaren, and T. Walsh. 2009. Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications."},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17601-3_4"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-2217(98)00364-6"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2009.5306797"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPSW.2015.85"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.1998.681704"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"crossref","unstructured":"S. Heldens and B. van Werkhoven. 2023. Kernel Launcher: C++ Library for Optimal-Performance Portable CUDA Applications.","DOI":"10.1109\/IPDPSW59300.2023.00126"},{"key":"e_1_3_3_1_17_2","volume-title":"Proc. 28th ACM Int. Conf. Archit. Support Program. Lang. Oper. Syst. Vol. 4","author":"Hellsten E.\u00a0O.","year":"2024","unstructured":"E.\u00a0O. Hellsten, A. Souza, J. Lenfers, et\u00a0al. 2024. BaCO: A Fast and Portable Bayesian Compiler Optimization Framework. In Proc. 28th ACM Int. Conf. Archit. Support Program. Lang. Oper. Syst. Vol. 4."},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"crossref","unstructured":"H. Heydarian F. Schueder M.\u00a0T. Strauss B. van Werkhoven M. Fazel K.\u00a0A. Lidke R. Jungmann S. Stallinga and B. Rieger. 2018. Template-Free 2D Particle Fusion in Localization Microscopy. Nat. Methods (2018).","DOI":"10.1038\/s41592-018-0136-6"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"crossref","unstructured":"P. Hijma S. Heldens A. Sclocco B. Van\u00a0Werkhoven and H.\u00a0E. Bal. 2023. Optimization Techniques for GPU Programming. ACM Comput. Surv. (2023).","DOI":"10.1145\/3570638"},{"key":"e_1_3_3_1_20_2","unstructured":"J. Lawson M. Goli D. McBain D. Soutar and L. Sugy. 2019. Cross-Platform Performance Portability Using Highly Parametrized SYCL Kernels. ArXiv (2019)."},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01970-8_89"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/3437801.3441621"},{"key":"e_1_3_3_1_23_2","unstructured":"G. LLC. 2015. Ortools: Google OR-Tools Python Libraries and Modules."},{"key":"e_1_3_3_1_24_2","unstructured":"G. Niemeyer. 2005. Python-Constraint: a Module Implementing Support for Handling CSPs over Finite Domain."},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/3204919.3204924"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/MCSoC.2015.10"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"crossref","unstructured":"F. Petrovi\u010d and J. Filipovi\u010d. 2023. Kernel Tuning Toolkit. SoftwareX (2023).","DOI":"10.2139\/ssrn.4270108"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"crossref","unstructured":"F. Petrovi\u010d D. St\u0159el\u00e1k J. Hozzov\u00e1 J. Ol\u2019ha et\u00a0al. 2020. A Benchmark Set of Highly-Efficient CUDA and OpenCL Kernels and Its Dynamic Autotuning with Kernel Tuning Toolkit. Future Gener. Comput. Syst. (2020).","DOI":"10.1016\/j.future.2020.02.069"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"crossref","unstructured":"A. Rasch and S. Gorlatch. 2018. ATF: A Generic Directive-based Auto-tuning Framework. Concurr. Comput. Pract. Exp. (2018).","DOI":"10.1002\/cpe.4423"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"crossref","unstructured":"A. Rasch R. Schulze M. Steuwer and S. Gorlatch. 2021. Efficient Auto-Tuning of Parallel Programs with Interdependent Tuning Parameters via Auto-Tuning Framework (ATF). ACM Trans Arch. Code Optim Article 1 (2021).","DOI":"10.1145\/3427093"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/1356058.1356084"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/3580444"},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2014.101"},{"key":"e_1_3_3_1_34_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.softx.2020.100549"},{"key":"e_1_3_3_1_35_2","unstructured":"P. Team. 2022. PySMT: A Solver-Agnostic Library for SMT Formulae Manipulation and Solving."},{"key":"e_1_3_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPSW59300.2023.00124"},{"key":"e_1_3_3_1_37_2","doi-asserted-by":"crossref","unstructured":"C.\u00a0C. Van\u00a0Heerwaarden B.\u00a0J. Van\u00a0Stratum et\u00a0al. 2017. MicroHH 1.0: A Computational Fluid Dynamics Code for Direct Numerical Simulation and Large-Eddy Simulation of Atmospheric Boundary Layer Flows. Geosci. Model Dev. (2017).","DOI":"10.5194\/gmd-2017-41"},{"key":"e_1_3_3_1_38_2","doi-asserted-by":"crossref","unstructured":"B. van Werkhoven. 2019. Kernel Tuner: A Search-Optimizing GPU Code Auto-Tuner. Future Gener. Comput. Syst. (2019).","DOI":"10.1016\/j.future.2018.08.004"},{"key":"e_1_3_3_1_39_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2013.09.003"},{"key":"e_1_3_3_1_40_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-50436-6_29"},{"key":"e_1_3_3_1_41_2","unstructured":"R.\u00a0C. Whaley A. Petitet and J.\u00a0J. Dongarra. 2001. Automated Empirical Optimizations of Software and the ATLAS Project. Parallel Comput. (2001)."},{"key":"e_1_3_3_1_42_2","doi-asserted-by":"publisher","DOI":"10.1109\/PMBS54543.2021.00017"},{"key":"e_1_3_3_1_43_2","doi-asserted-by":"crossref","unstructured":"X. Wu P. Balaprakash M. Kruse J. Koo B. Videau P. Hovland V. Taylor B. Geltz S. Jana and M. Hall. 2024. Ytopt: Autotuning Scientific Applications for Energy Efficiency at Large Scales. Concurrency and Computation (2024).","DOI":"10.1002\/cpe.8322"},{"key":"e_1_3_3_1_44_2","doi-asserted-by":"crossref","unstructured":"F. Zehra M. Javed D. Khan and M. Pasha. 2020. Comparative Analysis of C++ and Python in Terms of Memory and Time.","DOI":"10.20944\/preprints202012.0516.v1"}],"event":{"name":"ICPP '25: 54th International Conference on Parallel Processing","location":"San Diego CA USA","acronym":"ICPP '25"},"container-title":["Proceedings of the 54th International Conference on Parallel Processing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3754598.3754601","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,20]],"date-time":"2025-12-20T08:35:54Z","timestamp":1766219754000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3754598.3754601"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,8]]},"references-count":43,"alternative-id":["10.1145\/3754598.3754601","10.1145\/3754598"],"URL":"https:\/\/doi.org\/10.1145\/3754598.3754601","relation":{},"subject":[],"published":{"date-parts":[[2025,9,8]]},"assertion":[{"value":"2025-12-20","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}