{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T14:43:28Z","timestamp":1790433808694,"version":"4.1.0"},"reference-count":57,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2018,3,22]],"date-time":"2018-03-22T00:00:00Z","timestamp":1521676800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Archit. Code Optim."],"published-print":{"date-parts":[[2018,3,31]]},"abstract":"<jats:p>Parallelism is one of the key performance sources in modern computer systems. When heuristics-based automatic parallelization fails to improve performance, a cumbersome and error-prone manual transformation is often required. As a solution, we propose an interactive visual approach building on the polyhedral model that visualizes exact dependencies and parallelism; decomposes and replays a complex automatically computed transformation step by step; and allows for directly manipulating the visual representation as a means of transforming the program with immediate feedback. User studies suggest that our visualization is understood by experts and nonexperts alike, and that it may favor an exploratory approach.<\/jats:p>","DOI":"10.1145\/3177961","type":"journal-article","created":{"date-parts":[[2018,3,23]],"date-time":"2018-03-23T12:29:49Z","timestamp":1521808189000},"page":"1-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Visual Program Manipulation in the Polyhedral Model"],"prefix":"10.1145","volume":"15","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1978-0222","authenticated-orcid":false,"given":"Oleksandr","family":"Zinenko","sequence":"first","affiliation":[{"name":"Inria and University Paris-Saclay"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"St\u00e9phane","family":"Huot","sequence":"additional","affiliation":[{"name":"Inria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C\u00e9dric","family":"Bastoul","sequence":"additional","affiliation":[{"name":"University of Strasbourg and Inria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,3,22]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/109626.109631"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2854038.2854048"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025127.1025992"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892216"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/989863.989865"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/345513.345267"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11970-5_16"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2896389"},{"key":"e_1_2_1_9_1","volume-title":"Compiler Construction","author":"Bondhugula Uday"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1854273.1854317"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1379022.1375595"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254123"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/365024.365309"},{"key":"e_1_2_1_15_1","volume-title":"The new statistics why and how. Psychol. Sci. 25 (Nov","author":"Cumming Geoff","year":"2013"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1037\/0003-066X.60.2.170"},{"key":"e_1_2_1_17_1","volume-title":"Modern Statistical Methods for HCI","author":"Dragicevic Pierre"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2008.153"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01407931"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01407835"},{"key":"e_1_2_1_21_1","volume-title":"Encyclopedia of Parallel Computing","author":"Feautrier Paul"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-006-0012-3"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/645674.663460"},{"key":"e_1_2_1_24_1","unstructured":"Tobias Grosser. 2016. islplot: Library to Plot Sets and Maps. Retrieved from http:\/\/tobig.github.io\/islplot.  Tobias Grosser. 2016. islplot: Library to Plot Sets and Maps. Retrieved from http:\/\/tobig.github.io\/islplot."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626412500107"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2743016"},{"key":"e_1_2_1_27_1","unstructured":"Tobias Grosser and Oleksandr Zinenko. 2017. PollyLabs Polyhedral Playground. Retrieved from http:\/\/playground.pollylabs.org\/.  Tobias Grosser and Oleksandr Zinenko. 2017. PollyLabs Polyhedral Playground. Retrieved from http:\/\/playground.pollylabs.org\/."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1743546.1743567"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/602770.602890"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73588"},{"key":"e_1_2_1_31_1","volume-title":"Proceedings 1st International Conference on Algorithms and Architectures for Parallel Processing","volume":"1","author":"Kelly W."},{"key":"e_1_2_1_32_1","volume-title":"Allen","author":"Kennedy Ken","year":"2002"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.86108"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2807442.2807446"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/301104.301108"},{"key":"e_1_2_1_36_1","unstructured":"Vincent Loechner. 1999. PolyLib: A library for manipulating parameterized polyhedra. Retrieved from http:\/\/icps.u-strasbg.fr\/polylib\/#visualpolylib.  Vincent Loechner. 1999. PolyLib: A library for manipulating parameterized polyhedra. Retrieved from http:\/\/icps.u-strasbg.fr\/polylib\/#visualpolylib."},{"key":"e_1_2_1_37_1","volume-title":"Allen Leung, and Richard Lethin.","author":"Meister Benoit","year":"2011"},{"key":"e_1_2_1_38_1","volume-title":"Living with Complexity","author":"Norman Donald A."},{"key":"e_1_2_1_39_1","volume-title":"Proceedings of the New York Scientific Data Summit. 1--4.","author":"Papenhausen E."},{"key":"e_1_2_1_40_1","volume-title":"Proceedings of the 2015 IEEE 3rd Working Conference on Software Visualization (VISSOFT\u201915)","author":"Papenhausen E."},{"key":"e_1_2_1_41_1","volume-title":"Proceedings of the GCC Developers Summit. 179--197","author":"Pop Sebastian","year":"2006"},{"key":"e_1_2_1_42_1","unstructured":"Louis-No\u00ebl Pouchet. 2016. PolyBench\/C 4.2. Polyhedral Benchmark Suite. Retrieved from http:\/\/web.cse.ohio-state.edu\/ pouchet.2\/software\/polybench.  Louis-No\u00ebl Pouchet. 2016. PolyBench\/C 4.2. Polyhedral Benchmark Suite. Retrieved from http:\/\/web.cse.ohio-state.edu\/ pouchet.2\/software\/polybench."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125848"},{"key":"e_1_2_1_44_1","volume-title":"NaraView: An interactive 3D visualization system for parallelization of programs. 27, 2 (April","author":"Sasakura Mariko","year":"1999"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2014.29"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/800276.810991"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72586-2_117"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1183401.1183448"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/1888390.1888455"},{"key":"e_1_2_1_50_1","volume-title":"Information Visualization: Perception for Design (3 ed.)","author":"Ware Colin","year":"2012"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/800078.802557"},{"key":"e_1_2_1_52_1","volume-title":"High Performance Compilers for Parallel Computing","author":"Wolfe Michael Joseph"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32820-6_3"},{"key":"e_1_2_1_54_1","volume-title":"Proceedings of the 2007 IEEE International Parallel and Distributed Processing Symposium. 1--8.","author":"Yi Q."},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.2000.0191"},{"key":"e_1_2_1_56_1","volume-title":"Alphaz: A system for design space exploration in the polyhedral model. In Languages and Compilers for Parallel Computing","author":"Yuki Tomofumi","year":"2012"},{"key":"e_1_2_1_57_1","volume-title":"Proceedings of the 5th International Workshop on Polyhedral Compilation Techniques in Conjunction with HiPEAC 2015 (IMPACT\u201915)","author":"Zinenko Oleksandr","year":"2015"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2014.6883031"}],"container-title":["ACM Transactions on Architecture and Code Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3177961","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3177961","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:02:55Z","timestamp":1750215775000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3177961"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,22]]},"references-count":57,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,3,31]]}},"alternative-id":["10.1145\/3177961"],"URL":"https:\/\/doi.org\/10.1145\/3177961","relation":{},"ISSN":["1544-3566","1544-3973"],"issn-type":[{"value":"1544-3566","type":"print"},{"value":"1544-3973","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,22]]},"assertion":[{"value":"2017-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-12-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-03-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}