{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:17:29Z","timestamp":1750220249283,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T00:00:00Z","timestamp":1656374400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"EuroHPC-JU","award":["955776, 955606, 101034126"],"award-info":[{"award-number":["955776, 955606, 101034126"]}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["101002047"],"award-info":[{"award-number":["101002047"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,28]]},"DOI":"10.1145\/3524059.3532389","type":"proceedings-article","created":{"date-parts":[[2022,6,16]],"date-time":"2022-06-16T16:13:11Z","timestamp":1655395991000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Lifting C semantics for dataflow optimization"],"prefix":"10.1145","author":[{"given":"Alexandru","family":"Calotoiu","sequence":"first","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tal","family":"Ben-Nun","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grzegorz","family":"Kwasniewski","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johannes","family":"de Fine Licht","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timo","family":"Schneider","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Schaad","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Torsten","family":"Hoefler","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,6,28]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. ISO\/IEC 9899:TC3 Document. http:\/\/www.open-std.org\/jtc1\/sc22\/wg14\/www\/docs\/n1256.pdf. Accessed: 2020-11-10.  [n.d.]. ISO\/IEC 9899:TC3 Document. http:\/\/www.open-std.org\/jtc1\/sc22\/wg14\/www\/docs\/n1256.pdf. Accessed: 2020-11-10."},{"key":"e_1_3_2_1_2_1","unstructured":"[n.d.]. SYCL. https:\/\/www.khronos.org\/sycl\/. Accessed: 2020-11-10.  [n.d.]. SYCL. https:\/\/www.khronos.org\/sycl\/. Accessed: 2020-11-10."},{"key":"e_1_3_2_1_3_1","unstructured":"Mart\u00edn Abadi Ashish Agarwal Paul Barham Eugene Brevdo Zhifeng Chen Craig Citro Greg S. Corrado Andy Davis Jeffrey Dean Matthieu Devin Sanjay Ghemawat Ian Goodfellow Andrew Harp Geoffrey Irving Michael Isard Yangqing Jia Rafal Jozefowicz Lukasz Kaiser Manjunath Kudlur Josh Levenberg Dandelion Man\u00e9 Rajat Monga Sherry Moore Derek Murray Chris Olah Mike Schuster Jonathon Shlens Benoit Steiner Ilya Sutskever Kunal Talwar Paul Tucker Vincent Vanhoucke Vijay Vasudevan Fernanda Vi\u00e9gas Oriol Vinyals Pete Warden Martin Wattenberg Martin Wicke Yuan Yu and Xiaoqiang Zheng. 2015. TensorFlow: Large-Scale Machine Learning on Heterogeneous Systems. https:\/\/www.tensorflow.org\/  Mart\u00edn Abadi Ashish Agarwal Paul Barham Eugene Brevdo Zhifeng Chen Craig Citro Greg S. Corrado Andy Davis Jeffrey Dean Matthieu Devin Sanjay Ghemawat Ian Goodfellow Andrew Harp Geoffrey Irving Michael Isard Yangqing Jia Rafal Jozefowicz Lukasz Kaiser Manjunath Kudlur Josh Levenberg Dandelion Man\u00e9 Rajat Monga Sherry Moore Derek Murray Chris Olah Mike Schuster Jonathon Shlens Benoit Steiner Ilya Sutskever Kunal Talwar Paul Tucker Vincent Vanhoucke Vijay Vasudevan Fernanda Vi\u00e9gas Oriol Vinyals Pete Warden Martin Wattenberg Martin Wicke Yuan Yu and Xiaoqiang Zheng. 2015. TensorFlow: Large-Scale Machine Learning on Heterogeneous Systems. https:\/\/www.tensorflow.org\/"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2015.17"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2012.71"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429078"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3295500.3356173"},{"key":"e_1_3_2_1_9_1","unstructured":"A. P. W. Boehm D. H. Grit and J. T. Feo. 1990. SISAL reference manual. Language version 2.0. https:\/\/www.osti.gov\/biblio\/10104282 Lawrence Livermore National Lab. CA USA.  A. P. W. Boehm D. H. Grit and J. T. Feo. 1990. SISAL reference manual. Language version 2.0. https:\/\/www.osti.gov\/biblio\/10104282 Lawrence Livermore National Lab. CA USA."},{"volume-title":"Proceedings of the Joint European Conferences on Theory and Practice of Software 17th International Conference on Compiler Construction","author":"Bondhugula Uday","key":"e_1_3_2_1_10_1","unstructured":"Uday Bondhugula , Muthu Baskaran , Sriram Krishnamoorthy , J. Ramanujam , Atanas Rountev , and P. Sadayappan . 2008. Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model . In Proceedings of the Joint European Conferences on Theory and Practice of Software 17th International Conference on Compiler Construction ( Budapest, Hungary) (CC'08\/ETAPS'08). Springer-Verlag, Berlin, Heidelberg, 132--146. Uday Bondhugula, Muthu Baskaran, Sriram Krishnamoorthy, J. Ramanujam, Atanas Rountev, and P. Sadayappan. 2008. Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model. In Proceedings of the Joint European Conferences on Theory and Practice of Software 17th International Conference on Compiler Construction (Budapest, Hungary) (CC'08\/ETAPS'08). Springer-Verlag, Berlin, Heidelberg, 132--146."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78791-4_9"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1177\/1094342007078442"},{"volume-title":"Fast Dominance Algorithm. TR-06-33870. Department of Computer Science","author":"Cooper Keith D.","key":"e_1_3_2_1_13_1","unstructured":"Keith D. Cooper , Timothy J. Harvey , and Ken Kennedy . 2001. A Simple , Fast Dominance Algorithm. TR-06-33870. Department of Computer Science , Rice University . Keith D. Cooper, Timothy J. Harvey, and Ken Kennedy. 2001. A Simple, Fast Dominance Algorithm. TR-06-33870. Department of Computer Science, Rice University."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/99.660313"},{"key":"e_1_3_2_1_16_1","volume-title":"CGO '21: 19th ACM\/IEEE International Symposium on Code Generation and Optimization.","author":"de Fine Licht Johannes","year":"2020","unstructured":"Johannes de Fine Licht , Andreas Kuster , Tiziano De Matteis , Tal BenNun , Dominic Hofer , and Torsten Hoefler . 2020 . StencilFlow: Mapping Large Stencil Programs to Distributed Spatial Computing Systems . In CGO '21: 19th ACM\/IEEE International Symposium on Code Generation and Optimization. Johannes de Fine Licht, Andreas Kuster, Tiziano De Matteis, Tal BenNun, Dominic Hofer, and Torsten Hoefler. 2020. StencilFlow: Mapping Large Stencil Programs to Distributed Spatial Computing Systems. In CGO '21: 19th ACM\/IEEE International Symposium on Code Generation and Optimization."},{"key":"e_1_3_2_1_17_1","volume-title":"Annual Report","author":"M De Lorenzi","year":"2019","unstructured":"M De Lorenzi et al. [n.d.]. CSCS Annual Report 2019 . Swiss National Supercomputing Centre ( [n.d.]). M De Lorenzi et al. [n.d.]. CSCS Annual Report 2019. Swiss National Supercomputing Centre ([n.d.])."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2014.07.003"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the IEEE, special issue on \"From High Level Specification to High Performance Code\" 106","author":"Franchetti Franz","year":"2018","unstructured":"Franz Franchetti , Tze-Meng Low , Thom Popovici , Richard Veras , Daniele G. Spampinato , Jeremy Johnson , Markus P\u00fcschel , James C. Hoe , and Jos\u00e9 M. F. Moura . 2018. SPIRAL: Extreme Performance Portability . Proceedings of the IEEE, special issue on \"From High Level Specification to High Performance Code\" 106 , 11 ( 2018 ). Franz Franchetti, Tze-Meng Low, Thom Popovici, Richard Veras, Daniele G. Spampinato, Jeremy Johnson, Markus P\u00fcschel, James C. Hoe, and Jos\u00e9 M. F. Moura. 2018. SPIRAL: Extreme Performance Portability. Proceedings of the IEEE, special issue on \"From High Level Specification to High Performance Code\" 106, 11 (2018)."},{"volume-title":"2012 21st International Conference on Parallel Architectures and Compilation Techniques (PACT). 435--436","author":"Gajinov V.","key":"e_1_3_2_1_21_1","unstructured":"V. Gajinov , S. Stipic , O. S. Unsal , T. Harris , E. Ayguad\u00e9 , and A. Cristal . 2012. Supporting stateful tasks in a dataflow graph . In 2012 21st International Conference on Parallel Architectures and Compilation Techniques (PACT). 435--436 . V. Gajinov, S. Stipic, O. S. Unsal, T. Harris, E. Ayguad\u00e9, and A. Cristal. 2012. Supporting stateful tasks in a dataflow graph. In 2012 21st International Conference on Parallel Architectures and Compilation Techniques (PACT). 435--436."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Tobias Grosser Armin Gr\u00f6\u00dflinger and C. Lengauer. 2012. Polly - Performing Polyhedral Optimizations on a Low-Level Intermediate Representation. Parallel Process. Lett. 22 (2012).  Tobias Grosser Armin Gr\u00f6\u00dflinger and C. Lengauer. 2012. Polly - Performing Polyhedral Optimizations on a Low-Level Intermediate Representation. Parallel Process. Lett. 22 (2012).","DOI":"10.1142\/S0129626412500107"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737979"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/WACCPD.2014.10"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273005"},{"key":"e_1_3_2_1_26_1","unstructured":"Andrei Ivanov Nikoli Dryden Tal Ben-Nun Shigang Li and Torsten Hoefler. 2020. Data Movement Is All You Need: A Case Study on Optimizing Transformers. arXiv:2007.00072 [cs.LG]  Andrei Ivanov Nikoli Dryden Tal Ben-Nun Shigang Li and Torsten Hoefler. 2020. Data Movement Is All You Need: A Case Study on Optimizing Transformers. arXiv:2007.00072 [cs.LG]"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.Companion.2012.234"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192379"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2016.38"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178487.3178493"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_32_1","volume-title":"MLIR: A Compiler Infrastructure for the End of Moore's Law. arXiv:2002.11054 [cs.PL]","author":"Lattner Chris","year":"2020","unstructured":"Chris Lattner , Mehdi Amini , Uday Bondhugula , Albert Cohen , Andy Davis , Jacques Pienaar , River Riddle , Tatiana Shpeisman , Nicolas Vasilache , and Oleksandr Zinenko . 2020 . MLIR: A Compiler Infrastructure for the End of Moore's Law. arXiv:2002.11054 [cs.PL] Chris Lattner, Mehdi Amini, Uday Bondhugula, Albert Cohen, Andy Davis, Jacques Pienaar, River Riddle, Tatiana Shpeisman, Nicolas Vasilache, and Oleksandr Zinenko. 2020. MLIR: A Compiler Infrastructure for the End of Moore's Law. arXiv:2002.11054 [cs.PL]"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPPW.2010.62"},{"key":"e_1_3_2_1_34_1","volume-title":"Tools for High Performance Computing","author":"Li Zhen","year":"2014","unstructured":"Zhen Li , Rohit Atre , Zia Ul-Huda , Ali Jannesari , and Felix Wolf . 2015. DiscoPoP: A Profiling Tool to Identify Parallelization Opportunities . In Tools for High Performance Computing 2014 , Christoph Niethammer, Jos\u00e9 Gracia , Andreas Kn\u00fcpfer, Michael M. Resch, and Wolfgang E. Nagel (Eds.). Springer International Publishing , Cham, 37--54. Zhen Li, Rohit Atre, Zia Ul-Huda, Ali Jannesari, and Felix Wolf. 2015. DiscoPoP: A Profiling Tool to Identify Parallelization Opportunities. In Tools for High Performance Computing 2014, Christoph Niethammer, Jos\u00e9 Gracia, Andreas Kn\u00fcpfer, Michael M. Resch, and Wolfgang E. Nagel (Eds.). Springer International Publishing, Cham, 37--54."},{"key":"e_1_3_2_1_35_1","unstructured":"LLNL. 2019. RAJA Performance Portability Layer. https:\/\/github.com\/LLNL\/RAJA  LLNL. 2019. RAJA Performance Portability Layer. https:\/\/github.com\/LLNL\/RAJA"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/357153.357157"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522738"},{"key":"e_1_3_2_1_38_1","unstructured":"L. N. Pouchet. 2016. PolyBench: The Polyhedral Benchmark suite. https:\/\/sourceforge.net\/projects\/polybench  L. N. Pouchet. 2016. PolyBench: The Polyhedral Benchmark suite. https:\/\/sourceforge.net\/projects\/polybench"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2435264.2435273"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462176"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73562"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2680544"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29778-1_4"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2017.7863730"},{"key":"e_1_3_2_1_45_1","volume-title":"TIOBE Index for","author":"TIOBE.","year":"2020","unstructured":"TIOBE. [n.d.]. TIOBE Index for November 2020 . Mode of access http:\/\/www.tiobe.com\/tiobe_index ([n. d.]). TIOBE. [n.d.]. TIOBE Index for November 2020. Mode of access http:\/\/www.tiobe.com\/tiobe_index ([n. d.])."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2017.2703149"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15582-6_49"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2851141.2851145"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806640"},{"key":"e_1_3_2_1_50_1","unstructured":"Oleksandr Zinenko Sven Verdoolaege Chandan Reddy Jun Shirako Tobias Grosser Vivek Sarkar and Albert Cohen. 2017. Unified polyhedral modeling of temporal and spatial locality. (2017).  Oleksandr Zinenko Sven Verdoolaege Chandan Reddy Jun Shirako Tobias Grosser Vivek Sarkar and Albert Cohen. 2017. Unified polyhedral modeling of temporal and spatial locality. (2017)."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3295500.3357156"}],"event":{"name":"ICS '22: 2022 International Conference on Supercomputing","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"Virtual Event","acronym":"ICS '22"},"container-title":["Proceedings of the 36th ACM International Conference on Supercomputing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3524059.3532389","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3524059.3532389","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:38Z","timestamp":1750188638000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3524059.3532389"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,28]]},"references-count":50,"alternative-id":["10.1145\/3524059.3532389","10.1145\/3524059"],"URL":"https:\/\/doi.org\/10.1145\/3524059.3532389","relation":{},"subject":[],"published":{"date-parts":[[2022,6,28]]},"assertion":[{"value":"2022-06-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}