Visual Program Manipulation in the Polyhedral Model
Citation
Oleksandr Zinenko, Stéphane Huot, Cédric Bastoul. Visual Program Manipulation in the Polyhedral Model. ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2018, 15(1), pp. 16:1–25.
Abstract
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 dependences 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 non-experts alike, and that it may favor an exploratory approach.