{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T22:36:54Z","timestamp":1772318214575,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T00:00:00Z","timestamp":1676592000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"the EPEEC project from the European Union?s Horizon 2020 research and innovation program","award":["801051"],"award-info":[{"award-number":["801051"]}]},{"name":"the Ministerio de Ciencia e Innovaci\u00f3n?Agencia Estatal de Investigaci\u00f3n","award":["PID2019-107255GB-C21\/AEI\/10.13039\/501100011033"],"award-info":[{"award-number":["PID2019-107255GB-C21\/AEI\/10.13039\/501100011033"]}]},{"name":"the Spanish Ministry of Economy and Competitiveness project CODEC-OSE","award":["RTI2018-096006-B-I00"],"award-info":[{"award-number":["RTI2018-096006-B-I00"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,2,17]]},"DOI":"10.1145\/3578360.3580253","type":"proceedings-article","created":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T20:20:06Z","timestamp":1676665206000},"page":"110-121","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A Symbolic Emulator for Shuffle Synthesis on the NVIDIA PTX Code"],"prefix":"10.1145","author":[{"given":"Kazuaki","family":"Matsumura","sequence":"first","affiliation":[{"name":"Barcelona Supercomputing Center, Barcelona, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon Garcia","family":"De Gonzalo","sequence":"additional","affiliation":[{"name":"Sandia National Laboratories, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio J.","family":"Pe\u00f1a","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center, Barcelona, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,2,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Turbulence: Proxy App Software","author":"CT","unstructured":"Exa CT 2013. 2013. Exa CT : Center for Exascale Simulation of Combustion in Turbulence: Proxy App Software . http:\/\/www.exactcodesign.org\/proxy-app-software\/ ExaCT 2013. 2013. ExaCT: Center for Exascale Simulation of Combustion in Turbulence: Proxy App Software. http:\/\/www.exactcodesign.org\/proxy-app-software\/"},{"key":"e_1_3_2_1_2_1","unstructured":"SW4 2014. 2014. Seismic Wave Modelling (SW4) - Computational Infrastructure for Geodynamics. https:\/\/geodynamics.org\/resources\/sw4 \t\t\t\t  SW4 2014. 2014. Seismic Wave Modelling (SW4) - Computational Infrastructure for Geodynamics. https:\/\/geodynamics.org\/resources\/sw4"},{"key":"e_1_3_2_1_3_1","unstructured":"The OpenMP ARB. 1997. OpenMP. https:\/\/www.openmp.org\/ \t\t\t\t  The OpenMP ARB. 1997. OpenMP. https:\/\/www.openmp.org\/"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2925426.2926259"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555253"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3295500.3356162"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368826.3377912"},{"key":"e_1_3_2_1_9_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"de Moura Leonardo","unstructured":"Leonardo de Moura and Nikolaj Bj\u00f8rner . 2008. Z3: An efficient SMT solver . In Tools and Algorithms for the Construction and Analysis of Systems . Springer Berlin Heidelberg , Berlin, Heidelberg . 337\u2013340. isbn:978-3-540-78800-3 Leonardo de Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An efficient SMT solver. In Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, Berlin, Heidelberg. 337\u2013340. isbn:978-3-540-78800-3"},{"key":"e_1_3_2_1_10_1","volume-title":"Symbolic evaluation of chains of recurrences for loop optimization. Computer Science Dept","author":"van Engelen Robert","unstructured":"Robert van Engelen . 2000. Symbolic evaluation of chains of recurrences for loop optimization. Computer Science Dept ., Florida State University . Robert van Engelen. 2000. Symbolic evaluation of chains of recurrences for loop optimization. Computer Science Dept., Florida State University."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45306-7_9"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3173182"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2019.8661187"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626412500107"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/HiPC.2017.00048"},{"key":"e_1_3_2_1_16_1","volume-title":"Scarpazza","author":"Jia Zhe","year":"2018","unstructured":"Zhe Jia , Marco Maggioni , Benjamin Staiger , and Daniele P . Scarpazza . 2018 . Dissecting the NVIDIA Volta GPU architecture via microbenchmarking. https:\/\/doi.org\/10.48550\/ARXIV.1804.06826 10.48550\/ARXIV.1804.06826 Zhe Jia, Marco Maggioni, Benjamin Staiger, and Daniele P. Scarpazza. 2018. Dissecting the NVIDIA Volta GPU architecture via microbenchmarking. https:\/\/doi.org\/10.48550\/ARXIV.1804.06826"},{"key":"e_1_3_2_1_17_1","unstructured":"Justin Luitjens. 2014. Faster parallel reductions on Kepler. https:\/\/developer.nvidia.com\/blog\/faster-parallel-reductions-kepler\/ \t\t\t\t  Justin Luitjens. 2014. Faster parallel reductions on Kepler. https:\/\/developer.nvidia.com\/blog\/faster-parallel-reductions-kepler\/"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPSW.2014.115"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.1998.658762"},{"key":"e_1_3_2_1_20_1","unstructured":"NVIDIA Corporation. 2022. High Performance Computing (HPC) SDK | NVIDIA. https:\/\/developer.nvidia.com\/hpc-sdk \t\t\t\t  NVIDIA Corporation. 2022. High Performance Computing (HPC) SDK | NVIDIA. https:\/\/developer.nvidia.com\/hpc-sdk"},{"key":"e_1_3_2_1_21_1","unstructured":"NVIDIA Corporation. 2022. Kepler Tuning Guide :: CUDA Toolkit Documentation. https:\/\/docs.nvidia.com\/cuda\/kepler-tuning-guide\/index.html \t\t\t\t  NVIDIA Corporation. 2022. Kepler Tuning Guide :: CUDA Toolkit Documentation. https:\/\/docs.nvidia.com\/cuda\/kepler-tuning-guide\/index.html"},{"key":"e_1_3_2_1_22_1","unstructured":"NVIDIA Corporation. 2022. Programming Guide :: CUDA Toolkit Documentation. https:\/\/docs.nvidia.com\/cuda\/cuda-c-programming-guide\/index.html \t\t\t\t  NVIDIA Corporation. 2022. Programming Guide :: CUDA Toolkit Documentation. https:\/\/docs.nvidia.com\/cuda\/cuda-c-programming-guide\/index.html"},{"key":"e_1_3_2_1_23_1","unstructured":"NVIDIA Corporation. 2022. PTX ISA :: CUDA Toolkit Documentation. https:\/\/docs.nvidia.com\/cuda\/parallel-thread-execution\/index.html \t\t\t\t  NVIDIA Corporation. 2022. PTX ISA :: CUDA Toolkit Documentation. https:\/\/docs.nvidia.com\/cuda\/parallel-thread-execution\/index.html"},{"key":"e_1_3_2_1_24_1","unstructured":"The OpenACC Organization. 2011. OpenACC. https:\/\/www.openacc.org\/ \t\t\t\t  The OpenACC Organization. 2011. OpenACC. https:\/\/www.openacc.org\/"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304059"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462176"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178487.3178500"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480915"},{"key":"e_1_3_2_1_29_1","unstructured":"TOP500.org. 2022. November 2022 | TOP500. https:\/\/www.top500.org\/lists\/top500\/2021\/11\/ \t\t\t\t  TOP500.org. 2022. November 2022 | TOP500. https:\/\/www.top500.org\/lists\/top500\/2021\/11\/"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509586"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446707"},{"key":"e_1_3_2_1_32_1","volume-title":"Polyhedral Extraction Tool. In Second International Workshop on Polyhedral Compilation Techniques (IMPACT)","author":"Verdoolaege Sven","year":"2012","unstructured":"Sven Verdoolaege and Tobias Grosser . 2012 . Polyhedral Extraction Tool. In Second International Workshop on Polyhedral Compilation Techniques (IMPACT) . Paris, France. http:\/\/impact.gforge.inria.fr\/impact 2012\/ Sven Verdoolaege and Tobias Grosser. 2012. Polyhedral Extraction Tool. In Second International Workshop on Polyhedral Compilation Techniques (IMPACT). Paris, France. http:\/\/impact.gforge.inria.fr\/impact2012\/"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS.2010.5452013"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2830772.2830813"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3332466.3374520"}],"event":{"name":"CC '23: 32nd ACM SIGPLAN International Conference on Compiler Construction","location":"Montr\u00e9al QC Canada","acronym":"CC '23","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3578360.3580253","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3578360.3580253","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:52Z","timestamp":1750178812000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3578360.3580253"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,17]]},"references-count":35,"alternative-id":["10.1145\/3578360.3580253","10.1145\/3578360"],"URL":"https:\/\/doi.org\/10.1145\/3578360.3580253","relation":{},"subject":[],"published":{"date-parts":[[2023,2,17]]},"assertion":[{"value":"2023-02-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}