{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T23:46:05Z","timestamp":1740181565221,"version":"3.37.3"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T00:00:00Z","timestamp":1673568000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T00:00:00Z","timestamp":1673568000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SN COMPUT. SCI."],"DOI":"10.1007\/s42979-022-01559-2","type":"journal-article","created":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T16:06:12Z","timestamp":1673625972000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal Techniques for Development and Auto-tuning of Parallel Programs"],"prefix":"10.1007","volume":"4","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8435-1451","authenticated-orcid":false,"given":"Anatoliy","family":"Doroshenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5437-9763","authenticated-orcid":false,"given":"Pavlo","family":"Ivanenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4700-6704","authenticated-orcid":false,"given":"Olena","family":"Yatsenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,1,13]]},"reference":[{"key":"1559_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-6935-4","volume-title":"Software automatic tuning: from concepts to state-of-the-art results","author":"K Naono","year":"2010","unstructured":"Naono K, Teranishi K, Cavazos J, Suda R. Software automatic tuning: from concepts to state-of-the-art results. Berlin: Springer; 2010."},{"issue":"4","key":"1559_CR2","first-page":"285","volume":"22","author":"J Durillo","year":"2014","unstructured":"Durillo J, Fahringer T. From single- to multi-objective auto-tuning of programs: advantages and implications. Sci Program. 2014;22(4):285\u201397.","journal-title":"Sci Program"},{"key":"1559_CR3","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-5225-9384-3","volume-title":"Formal and adaptive methods for automation of parallel programs construction: emerging research and opportunities","author":"A Doroshenko","year":"2021","unstructured":"Doroshenko A, Yatsenko O. Formal and adaptive methods for automation of parallel programs construction: emerging research and opportunities. Hershey: IGI Global; 2021."},{"key":"1559_CR4","doi-asserted-by":"publisher","DOI":"10.15407\/akademperiodyka.367.192","volume-title":"Algebra-algorithmic models and methods of parallel programming","author":"PI Andon","year":"2018","unstructured":"Andon PI, Doroshenko AY, Zhereb KA, Yatsenko OA. Algebra-algorithmic models and methods of parallel programming. Kyiv: Akademperiodyka; 2018."},{"key":"1559_CR5","first-page":"102","volume-title":"ICTERI 2018. Communications in computer and information science","author":"A Doroshenko","year":"2019","unstructured":"Doroshenko A, Ivanenko P, Novak O, Yatsenko O. A mixed method of parallel software auto-tuning using statistical modeling and machine learning. In: Ermolayev V, Su\u00e1rez-Figueroa MC, \u0141awrynowicz A, Palma R, Yakovyna V, Mayr HC, Nikitchenko M, Spivakovsky A, editors. ICTERI 2018. Communications in computer and information science. Cham: Springer; 2019. p. 102\u201323."},{"key":"1559_CR6","first-page":"139","volume-title":"ICTERI 2014. Communications in computer and information science","author":"P Ivanenko","year":"2014","unstructured":"Ivanenko P, Doroshenko A, Zhereb K. TuningGenie: auto-tuning framework based on rewriting rules. In: Ermolayev V, Mayr H, Nikitchenko M, Spivakovsky A, Zholtkevych G, editors. ICTERI 2014. Communications in computer and information science. Cham: Springer; 2014. p. 139\u201358."},{"key":"1559_CR7","first-page":"70","volume-title":"ICTERI 2013. Communications in computer and information science","author":"A Doroshenko","year":"2013","unstructured":"Doroshenko A, Zhereb K, Yatsenko O. Developing and optimizing parallel programs with algebra-algorithmic and term rewriting tools. In: Ermolayev V, Mayr HC, Nikitchenko M, Spivakovsky A, Zholtkevych G, editors. ICTERI 2013. Communications in computer and information science. Cham: Springer; 2013. p. 70\u201392."},{"issue":"1\u20133","key":"1559_CR8","first-page":"95","volume":"72","author":"A Doroshenko","year":"2006","unstructured":"Doroshenko A, Shevchenko R. A rewriting framework for rule-based programming dynamic applications. Fund Inform. 2006;72(1\u20133):95\u2013108.","journal-title":"Fund Inform"},{"key":"1559_CR9","first-page":"102","volume":"24","author":"RM Keller","year":"1975","unstructured":"Keller RM. A fundamental theorem of asynchronous parallel computation. LNCS. 1975;24:102\u201312.","journal-title":"LNCS"},{"key":"1559_CR10","volume-title":"Multi-core programming: Increasing performance through software multi-threading","author":"S Akhter","year":"2006","unstructured":"Akhter S, Roberts J. Multi-core programming: Increasing performance through software multi-threading. Santa Clara: Intel Press; 2006."},{"key":"1559_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1142\/9789814261456_0001","volume-title":"The book of traces","author":"A Mazurkiewicz","year":"1995","unstructured":"Mazurkiewicz A. Introduction to trace theory. In: Diekert V, Rozenberg G, editors. The book of traces. Singapore: World Scientific; 1995. p. 3\u201341."},{"key":"1559_CR12","unstructured":"Mamedov T, Doroshenko A. A method of autotuning .NET programs on target platforms with rewriting rules. In: 24th ITHEA International Conference on Software Engineering (SoftEngine\u00a02019). Kyiv: National Aviation University; 2019. pp. 49\u201352. http:\/\/www.ithea.org\/softengine\/2019_SE_Proceedings.pdf. Accessed 24 Jul 2022."},{"key":"1559_CR13","doi-asserted-by":"crossref","unstructured":"Petryk M, Doroshenko A, Mykhalyk D, Ivanenko P, Yatsenko O. Automated parallelization of software for identifying parameters of intraparticle diffusion and adsorption in heterogeneous nanoporous media. In: Mathematical Modeling and Simulation of Systems 2022 (MODS\u20192022). Chernihiv: Chernihiv Polytechnic National University; 2022. (forthcoming paper)","DOI":"10.1007\/978-3-031-30251-0_3"},{"issue":"2","key":"1559_CR14","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/s10559-008-0028-3","volume":"44","author":"VA Prusov","year":"2008","unstructured":"Prusov VA, Doroshenko AY, Chernysh RI, Guk LN. Theoretical study of a numerical method to solve a diffusion-convection problem. Cybern Syst Anal. 2008;44(2):283\u201391.","journal-title":"Cybern Syst Anal"},{"issue":"1","key":"1559_CR15","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10559-009-9074-8","volume":"45","author":"VA Prusov","year":"2009","unstructured":"Prusov VA, Doroshenko AY, Chernysh R. A method for numerical solution of a multidimensional convection-diffusion problem. Cybern Syst Anal. 2009;45(1):89\u201395.","journal-title":"Cybern Syst Anal"},{"key":"1559_CR16","unstructured":"Wetter und Klima \u2013 Deutscher Wetterdienst. http:\/\/www.dwd.de. Accessed 24 Jul 2022."},{"key":"1559_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17336-3","volume-title":"Foundations of algebraic specification and formal software development","author":"D Sannella","year":"2012","unstructured":"Sannella D, Tarlecki A. Foundations of algebraic specification and formal software development. Berlin: Springer; 2012."},{"issue":"3","key":"1559_CR18","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/BF01125535","volume":"29","author":"YV Kapitonova","year":"1993","unstructured":"Kapitonova YV, Letichevsky AA. Algebraic programming: methods and tools. Cybern Syst Anal. 1993;29(3):307\u201312.","journal-title":"Cybern Syst Anal"},{"key":"1559_CR19","first-page":"13","volume":"24","author":"C Kessler","year":"2007","unstructured":"Kessler C, Keller J. Models for parallel computing: review and perspectives Mitteilungen \u2013 Gesellschaft f\u00fcr Informatik e.V. Parallel-Algorithmen und Rechnerstrukturen. 2007;24:13\u201329.","journal-title":"Parallel-Algorithmen und Rechnerstrukturen"},{"key":"1559_CR20","volume-title":"Parallel program design: a foundation","author":"KM Chandy","year":"1988","unstructured":"Chandy KM, Misra J. Parallel program design: a foundation. New York: Addison Wesley; 1988."},{"key":"1559_CR21","doi-asserted-by":"publisher","DOI":"10.5772\/56","volume-title":"Petri net: theory and applications","author":"V Kordic","year":"2008","unstructured":"Kordic V. Petri net: theory and applications. Vienna: I-Tech Education and Publishing; 2008."},{"issue":"1\u20132","key":"1559_CR22","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0167-8191(00)00087-9","volume":"27","author":"R Whaley","year":"2001","unstructured":"Whaley R, Petitet A, Dongarra JJ. Automated empirical optimizations of software and the ATLAS Project. Parallel Comput. 2001;27(1\u20132):3\u201335.","journal-title":"Parallel Comput"},{"key":"1559_CR23","first-page":"1381","volume":"3","author":"M Frigo","year":"1998","unstructured":"Frigo M, Johnson S. FFTW: an adaptive software architecture for the FF. Acoustics Speech Signal Process. 1998;3:1381\u20134.","journal-title":"Acoustics Speech Signal Process"},{"key":"1559_CR24","first-page":"9","volume-title":"Euro-Par\u20192009","author":"CA Schaefer","year":"2009","unstructured":"Schaefer CA, Pankratius V, Tichy WF. Atune-IL: an instrumentation language for auto-tuning parallel applications. In: Sips H, Epema D, Lin HX, editors. Euro-Par\u20192009. Berlin: Springer; 2009. p. 9\u201320."},{"key":"1559_CR25","doi-asserted-by":"crossref","unstructured":"Tapus C, Chung IH, Hollingsworth JK. Active Harmony: towards automated performance tuning. In: Giles RC, Reed DA, Kelley K, editors. 2002 ACM\/IEEE conference on Supercomputing (SC\u201902). Los Alamitos, CA: IEEE Computer Society; 2002. p. 1\u201311.","DOI":"10.1109\/SC.2002.10062"},{"key":"1559_CR26","doi-asserted-by":"crossref","unstructured":"Yi Q, Seymour K, You H, Vuduc R, Quinla D. POET: parameterized optimizations for empirical tuning. In: Parallel and Distributed Processing Symposium 2007 (IPDPS\u00a02007). Piscataway, NJ: IEEE Computer Society; 2007. p. 447.","DOI":"10.1109\/IPDPS.2007.370637"},{"key":"1559_CR27","doi-asserted-by":"crossref","unstructured":"Katagiri T, Kise K, Honda H, Yuba T. FIBER: a generalized framework for auto-tuning software. In: Veidenbaum A, Joe K, Amano H, Aiso H, editors. International Symposium on High Performance Computing 2003 (ISHPC 2003). Berlin: Springer; 2003. p. 146\u201359.","DOI":"10.1007\/978-3-540-39707-6_11"},{"issue":"3","key":"1559_CR28","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/s10766-010-0161-2","volume":"39","author":"G Fursin","year":"2011","unstructured":"Fursin G, Kashnikov Y, Memon AW, Chamski Z, Temam O, Namolaru M, Yom-Tov E, Mendelson B, Zaks A, Courtois E, Bodin F, Barnard P, Ashton E, Bonilla E, Thomson J, Williams CKI, O\u2019Boyle M. Milepost GCC: machine learning enabled self-tuning compiler. Int J Parallel Prog. 2011;39(3):296\u2013327.","journal-title":"Int J Parallel Prog"},{"key":"1559_CR29","doi-asserted-by":"crossref","unstructured":"Plotnikov D, Melnik D, Vardanyan M, Buchatskiy R, Zhuykov R, Lee JH. Automatic tuning of compiler optimizations and analysis of their impact. In: Alexandrov VN, Lees M, Krzhizhanovskaya VV, Dongarra JJ, Sloot PMA, editors. 8th International Workshop on Automatic Performance Tuning (iWAPT2013). Amsterdam: Elsevier; 2013. p. 1312\u201321.","DOI":"10.1016\/j.procs.2013.05.298"},{"key":"1559_CR30","doi-asserted-by":"crossref","unstructured":"Ansel J, Kamil S, Veeramachaneni K, Ragan-Kelley J, Bosboom J, O\u2019Reilly U-M, Amarasinghe S. OpenTuner: an extensible framework for program autotuning. In: Amaral JN, Torrellas J, editors. 23rd international conference on Parallel architectures and compilation (PACT\u201914). New York: ACM; 2014. p. 303\u201316.","DOI":"10.1145\/2628071.2628092"},{"key":"1559_CR31","doi-asserted-by":"crossref","unstructured":"Rasch A, Haidl M, Gorlatch S. ATF: a generic auto-tuning framework. In: 2017 IEEE 19th International Conference on High Performance Computing and Communications. Piscataway: IEEE Computer Society; 2017. p. 64\u201371.","DOI":"10.1109\/HPCC-SmartCity-DSS.2017.9"},{"issue":"1","key":"1559_CR32","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1177\/1094342017718068","volume":"32","author":"B Videau","year":"2017","unstructured":"Videau B, Pouget K, Genovese L, Deutsch T, Komatitsch D, Desprez F, M\u00e9haut J-F. BOAST: a metaprogramming framework to produce portable and efficient computing kernels for HPC applications. Int J High Perform Comput Appl. 2017;32(1):28\u201344.","journal-title":"Int J High Perform Comput Appl"},{"key":"1559_CR33","doi-asserted-by":"crossref","unstructured":"Roy RB, Patel T, Gadepally V, Tiwari D. Bliss: auto-tuning complex applications using a pool of diverse lightweight learning models. In: Freund SN, Yahav E, editors. 42nd ACM SIGPLAN international conference on programming language design and implementation (PLDI 2021). New York: ACM; 2021. p. 1280\u201395.","DOI":"10.1145\/3453483.3454109"},{"key":"1559_CR34","unstructured":"Oracle Developer Studio. https:\/\/www.oracle.com\/application-development\/technologies\/developerstudio.html. Accessed 24 Jul 2022."},{"key":"1559_CR35","unstructured":"Intel C++ and Fortran Compilers Redistributable Libraries by Version. https:\/\/www.intel.com\/content\/www\/us\/en\/developer\/articles\/tool\/compilers-redistributable-libraries-by-version.html. Accessed 24 Jul 2022."},{"key":"1559_CR36","unstructured":"GCC, the GNU Compiler Collection. https:\/\/gcc.gnu.org. Accessed 24 Jul 2022."}],"container-title":["SN Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-022-01559-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s42979-022-01559-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-022-01559-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,4]],"date-time":"2023-12-04T18:00:18Z","timestamp":1701712818000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s42979-022-01559-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,13]]},"references-count":36,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2023,3]]}},"alternative-id":["1559"],"URL":"https:\/\/doi.org\/10.1007\/s42979-022-01559-2","relation":{},"ISSN":["2661-8907"],"issn-type":[{"type":"electronic","value":"2661-8907"}],"subject":[],"published":{"date-parts":[[2023,1,13]]},"assertion":[{"value":"16 February 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 December 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 January 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"162"}}