{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:27:24Z","timestamp":1742912844214,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031416729"},{"type":"electronic","value":"9783031416736"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-41673-6_1","type":"book-chapter","created":{"date-parts":[[2023,8,14]],"date-time":"2023-08-14T16:03:31Z","timestamp":1692029011000},"page":"3-17","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Automation of\u00a0Programming for\u00a0Promising High-Performance Computing Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0343-3859","authenticated-orcid":false,"given":"Vladimir","family":"Bakhtin","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6319-5090","authenticated-orcid":false,"given":"Dmitry","family":"Zakharov","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7603-4026","authenticated-orcid":false,"given":"Nikita","family":"Kataev","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1384-7484","authenticated-orcid":false,"given":"Alexander","family":"Kolganov","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9498-1457","authenticated-orcid":false,"given":"Mikhail","family":"Yakobovskiy","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,8,15]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","unstructured":"Bakhtin, V.A., Krukov, V.A.: DVM-approach to the automation of the development of parallel programs for clusters. In: Programming and Computer Software, vol. 45, no. 3, pp. 121\u2013132 (2019) https:\/\/doi.org\/10.1134\/S0361768819030034","DOI":"10.1134\/S0361768819030034"},{"key":"1_CR2","doi-asserted-by":"publisher","unstructured":"Hwu, W.-M., et al.: Implicitly parallel programming models for thousand-core microprocessors. In: Proceedings of the 44th annual Design Automation Conference (DAC \u201907), pp. 754\u2013759. ACM, New York, NY, USA (2007). https:\/\/doi.org\/10.1145\/1278480.1278669","DOI":"10.1145\/1278480.1278669"},{"key":"1_CR3","unstructured":"Kataev, N.: Interactive Parallelization of C Programs in SAPFOR. In: Scientific Services & Internet 2020. In: CEUR Workshop Proceedings, vol. 2784, pp. 139\u2013148 (2020)"},{"key":"1_CR4","unstructured":"Lattner, C., Adve, V.: LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In: Proceedings of the 2004 International Symposium on Code Generation and Optimization (CGO\u201904). Palo Alto, California (2004)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Voevodin, V.V.: Information structure of sequential programs. Russ. J of Num. An. Math Modell. 10(3) 279\u2013286 (1995)","DOI":"10.1515\/rnam.1995.10.3.279"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Kataev, N., Smirnov, A., Zhukov A.: Dynamic data-dependence analysis in SAPFOR. In: CEUR Workshop Proceedings, vol. 2543, pp 199\u2013208 (2020)","DOI":"10.20948\/abrau-2019-62"},{"key":"1_CR7","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/978-3-030-05807-4_41","volume-title":"Supercomputing","author":"Nikita Kataev","year":"2019","unstructured":"Kataev, Nikita: Application of the LLVM compiler infrastructure to the program analysis in SAPFOR. In: Voevodin, Vladimir, Sobolev, Sergey (eds.) RuSCDays 2018. CCIS, vol. 965, pp. 487\u2013499. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-05807-4_41"},{"key":"1_CR8","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-030-64616-5_38","volume-title":"Supercomputing","author":"N Kataev","year":"2020","unstructured":"Kataev, N.: LLVM based parallelization of C programs for GPU. In: Voevodin, V., Sobolev, S. (eds.) RuSCDays 2020. CCIS, vol. 1331, pp. 436\u2013448. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-64616-5_38"},{"key":"1_CR9","doi-asserted-by":"publisher","unstructured":"Kolganov, A.S., Kataev, N.A.: Data distribution and parallel code generation for heterogeneous computational clusters. In: Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS), vol. 34, no. (4), pp. 89\u2013100 (2022) https:\/\/doi.org\/10.15514\/ISPRAS-2022-34(4)-7","DOI":"10.15514\/ISPRAS-2022-34(4)-7"},{"key":"1_CR10","unstructured":"Tishkin, V.F., Nikishin, V.V., Popov, I.V., Favorski A.P.: Finite difference schemes of three-dimensional gas dynamics for the study of Richtmyer-Meshkov instability (in Russian), vol. 7, no. 5, pp. 15\u201325 (1995)"},{"key":"1_CR11","unstructured":"Ladonkina, M.E.: Numerical simulation of turbulent mixing using high performance systems. PHD Thesis, Institute for Mathematical Modelling RAS (2005)"},{"key":"1_CR12","unstructured":"Kuchugov, P.A.: Dynamics of turbulent mixing processes in laser targets. PHD Thesis, Keldysh Institute of Applied Mathematics RAS (2014)"},{"key":"1_CR13","unstructured":"Kuchugov, P.A.: Modeling of the implosion of thermonuclear target on heterogeneous computing systems (in Russian). In: Proceedings of international conference Parallel computational technologies (PCT\u20192017), pp. 399\u2013409. Publishing of the South Ural State University, Chelyabinsk (2017)"},{"key":"1_CR14","unstructured":"GSL - GNU Scientific Library. https:\/\/www.gnu.org\/software\/gsl\/ Last Accessed 6 May 2023"},{"key":"1_CR15","unstructured":"C-DVMH language, C-DVMH compiler, compilation, execution and debugging of DVMH programs. http:\/\/dvm-system.org\/static_data\/docs\/CDVMH-reference-en.pdf Last Accessed 6 May 2023"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Kataev, N., Vasilkin, V.: Reconstruction of multi-dimensional arrays in SAPFOR. In: CEUR Workshop Proceedings, vol. 2543, pp. 209\u2013218 (2020)","DOI":"10.20948\/abrau-2019-90"},{"key":"1_CR17","unstructured":"Heterogeneous cluster K60. https:\/\/www.kiam.ru\/MVS\/resourses\/k60.html. Last Accessed 6 May 2023"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Beaugnon, U., Kravets, A., Sven van Haastregt, Baghdadi, R., Tweed, D., Absar, J., Lokhmotov, A.: Vobla: A vehicle for optimized basic linear algebra. In: Proceeidngs of the 2014 SIGPLAN\/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, LCTES \u201914, pp. 115\u2013124, New York, NY, USA (2014)","DOI":"10.1145\/2597809.2597818"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Yang, M., Baghdadi, R., Kamil, S., Shun, J., Amarasinghe, S.: Graphit: A high-performance graph dsl. In: Proceedings ACM Program. Lang., 2(OOPSLA), pp. 121:1\u2013121:30 (2018)","DOI":"10.1145\/3276491"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-35767-X_13","volume-title":"Languages and Compilers for Parallel Computing","author":"P An","year":"2003","unstructured":"An, P., et al.: STAPL: an adaptive, generic parallel C++ library. In: Dietz, Henry G.. (ed.) LCPC 2001. LNCS, vol. 2624, pp. 193\u2013208. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-35767-X_13"},{"key":"1_CR21","doi-asserted-by":"publisher","unstructured":"Bell, N., Hoberock, J.: Thrust: A Productivity-oriented library for CUDA. In: GPU Computing Gems, Jade Edition, Edited by Wen-mei W. Hwu, pp. 359\u2013371 (2012). https:\/\/doi.org\/10.1016\/B978-0-12-385963-1.00026-5","DOI":"10.1016\/B978-0-12-385963-1.00026-5"},{"key":"1_CR22","unstructured":"Kim, M., Kim, H., Luk, C.-K.: Prospector: a dynamic data-dependence profiler to help parallel programming. In: 2nd USENIX Workshop on Hot Topics in Parallelism (HotPar \u201910) (2010)"},{"key":"1_CR23","doi-asserted-by":"publisher","unstructured":"Garcia, S., Jeon, D., Louie, C., Taylor, M.B.: Kremlin: rethinking and rebooting gprof for the multicore age. In: ACM SIGPLAN Notices June (2011). https:\/\/doi.org\/10.1145\/1993316.1993553","DOI":"10.1145\/1993316.1993553"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Bondhugula, U., Hartono, A., Ramanujam, J., Sadayappan, P.: A practical automatic polyhedral parallelizer and locality optimizer. SIGPLAN Notices 43(6), 101\u2013113 (2008)","DOI":"10.1145\/1379022.1375595"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Verdoolaege, S., Juega, J. C., Cohen, A., Gomez, J. I., Tenllado, C., Catthoor, F.: Polyhedral parallel code generation for CUDA. ACM Trans. Archit. Code Optim. 9(4), 1\u201323 (2013)","DOI":"10.1145\/2400682.2400713"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Grosser, T., Groesslinger, A., Lengauer. C.: Polly \u2013 performing polyhedral optimizations on a low-level intermediate representation. Parallel Process. Lett. 22(04), 1250010 (2012)","DOI":"10.1142\/S0129626412500107"},{"key":"1_CR27","doi-asserted-by":"publisher","unstructured":"Grosser, T., Hoefler, T.: Polly-ACC Transparent compilation to heterogeneous hardware. In: ICS \u201916: Proceedings of the 2016 International Conference on Supercomputing June 2016, pp. 1\u201313 (2016). https:\/\/doi.org\/10.1145\/2925426.2926286","DOI":"10.1145\/2925426.2926286"},{"key":"1_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0167-8191(88)90002-6","volume":"6","author":"H Zima","year":"1998","unstructured":"Zima, H., Bast, H., Gerndt, M.: SUPERB: a tool for semi-automatic MIMD\/SIMD parallelization. Parallel Comput. 6, 1\u201318 (1998). https:\/\/doi.org\/10.1016\/0167-8191(88)90002-6","journal-title":"Parallel Comput."},{"key":"1_CR29","doi-asserted-by":"publisher","unstructured":"Amarasingh, S. P., Lam, M. S. Communication Optimization and Code Generation for Distributed Memory Machines. In: PLDI \u201993: Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, pp. 126\u2013138 (1993) https:\/\/doi.org\/10.1145\/155090.155102","DOI":"10.1145\/155090.155102"},{"key":"1_CR30","doi-asserted-by":"publisher","unstructured":"Kruse, M.: Introducing Molly: distributed memory parallelization with LLVM. CoRR, vol. abs\/1409.2088 (2014). https:\/\/doi.org\/10.48550\/arXiv.1409.2088","DOI":"10.48550\/arXiv.1409.2088"},{"key":"1_CR31","doi-asserted-by":"publisher","unstructured":"Vandierendonck H., Rul S., Koen De Bosschere. The Paralax infrastructure: automatic parallelization with a helping hand. In: Proceedings of 2010 19th International Conference on Parallel Architectures and Compilation Techniques (PACT), IEEE, pp. 389\u2013400 (2010). https:\/\/doi.org\/10.1145\/1854273.1854322","DOI":"10.1145\/1854273.1854322"}],"container-title":["Lecture Notes in Computer Science","Parallel Computing Technologies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-41673-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,14]],"date-time":"2023-08-14T20:08:27Z","timestamp":1692043707000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-41673-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031416729","9783031416736"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-41673-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"15 August 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PaCT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Parallel Computing Technologies","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Astana","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kazakhstan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 August 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 August 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pact2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ssd.sscc.ru\/conference\/pact2023\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}