Abstract:Static compiler optimizations can hardly cope with the complex run-time behavior and hardware components interplay of modern processor architectures. Multiple architectural phenomena occur and interact simultaneously, which requires the optimizer to combine multiple program transformations. Whether these transformations are selected through static analysis and models, runtime feedback, or both, the underlying infrastructure must have the ability to perform long and complex compositions of program transformations in a flexible manner. Existing compilers are ill-equipped to perform that task because of rigid phase ordering, fragile selection rules using pattern matching, and cumbersome expression of loop transformations on syntax trees. Moreover, iterative optimization emerges as a pragmatic and general means to select an optimization strategy via machine learning and operations research. Searching for the composition of dozens of complex, dependent, parameterized transformations is a challenge for iterative approaches.The purpose of this article is threefold: (1) to facilitate the automatic search for compositions of program transformations, introducing a richer framework which improves on classical polyhedral representations, suitable for iterative optimization on a simpler, structured search space, (2) to illustrate, using several examples, that syntactic code representations close to the operational semantics hamper the composition of transformations, and (3) that complex compositions of transformations can be necessary to achieve significant performance benefits. The proposed framework relies on a unified polyhedral representation of loops and statements. The key is to clearly separate four types of actions associated with program transformations: iteration domain, schedule, data layout and memory access functions modifications. The framework is implemented within the Open64/ORC compiler, aiming for native IA64, AMD64 and IA32 code generation, along with source-to-source optimization of Fortran90, C and C++.

Identifying composite refactorings with a scripting language

Towards a Catalog of Composite Refactorings

A new architecture reconciling refactorings and transformations

Software refactoring and rewriting: from the perspective of code transformations

Facilitating the search for compositions of program transformations

An Automated Approach to Extracting Local Variables

Transformations between Composite and Visitor implementations in Java

Learning Syntactic Program Transformations from Examples

A Middleware-based Approach to Model Refactoring at Runtime.

Context-Enhanced LLM-Based Framework for Automatic Test Refactoring

Towards Instant Automatic Model Refinement Based on OCL

Analyzing Refactorings' Impact on Regression Test Cases

Analysing refactoring dependencies using graph transformation

External Behavior of a Logic Program and Verification of Refactoring

B-Refactoring: Automatic test code refactoring to improve dynamic analysis.

Together We Go Further: LLMs and IDE Static Analysis for Extract Method Refactoring

Novel Refactoring Semantic Analysis Model and its Application

Abstract Logic Tree Based Framework For Component Based Solution Composition Design And Execution

RefactoringMiner 2.0

Tailorfix. An Automated Repair Framework For Assignment Statements

Automated Split Lock Refactoring for Java Programs