85 citations · 113 across the 14 of their papers we have counts for
16 papers
Transfer-Learning-Based Autotuning Using Gaussian Copula
Thomas Randall, Jaehoon Koo, Brice Videau +6
As diverse high-performance computing (HPC) systems are built, many opportunities arise for applications to solve larger problems than ever before. Given the significantly increase…
Generalizing Hierarchical Parallelism
Michael Kruse
Since the days of OpenMP 1.0 computer hardware has become more complex, typically by specializing compute units for coarse- and fine-grained parallelism in incrementally deeper hie…
ytopt: Autotuning Scientific Applications for Energy Efficiency at Large Scales
Xingfu Wu, Prasanna Balaprakash, Michael Kruse +7
As we enter the exascale computing era, efficiently utilizing power and optimizing the performance of scientific applications under power and energy constraints has become critical…
Loop Transformations using Clang's Abstract Syntax Tree
Michael Kruse
OpenMP 5.1 introduced the first loop nest transformation directives unroll and tile, and more are expected to be included in OpenMP 6.0. We discuss the two Abstract Syntax Tree (AS…
Customized Monte Carlo Tree Search for LLVM/Polly's Composable Loop Optimization Transformations
Jaehoon Koo, Prasanna Balaprakash, Michael Kruse +3
Polly is the LLVM project's polyhedral loop nest optimizer. Recently, user-directed loop transformation pragmas were proposed based on LLVM/Clang and Polly. The search space expose…
Autotuning PolyBench Benchmarks with LLVM Clang/Polly Loop Optimization Pragmas Using Bayesian Optimization (extended version)
Xingfu Wu, Michael Kruse, Prasanna Balaprakash +4
In this paper, we develop a ytopt autotuning framework that leverages Bayesian optimization to explore the parameter space search and compare four different supervised learning met…
Autotuning PolyBench Benchmarks with LLVM Clang/Polly Loop Optimization Pragmas Using Bayesian Optimization
Xingfu Wu, Michael Kruse, Prasanna Balaprakash +4
An autotuning is an approach that explores a search space of possible implementations/configurations of a kernel or an application by selecting and evaluating a subset of implement…
Autotuning Search Space for Loop Transformations
Michael Kruse, Hal Finkel, Xingfu Wu
One of the challenges for optimizing compilers is to predict whether applying an optimization will improve its execution speed. Programmers may override the compiler's profitabilit…
Design and Use of Loop-Transformation Pragmas
Michael Kruse, Hal Finkel
Adding a pragma directive into the source code is arguably easier than rewriting it, for instance for loop unrolling. Moreover, if the application is maintained for multiple platfo…
Loop Optimization Framework
Michael Kruse, Hal Finkel
The LLVM compiler framework supports a selection of loop transformations such as vectorization, distribution and unrolling. Each transformation is carried-out by specialized passes…
User-Directed Loop-Transformations in Clang
Michael Kruse, Hal Finkel
Directives for the compiler such as pragmas can help programmers to separate an algorithm's semantics from its optimization. This keeps the code understandable and easier to optimi…
A Proposal for Loop-Transformation Pragmas
Michael Kruse, Hal Finkel
Pragmas for loop transformations, such as unrolling, are implemented in most mainstream compilers. They are used by application programmers because of their ease of use compared to…
Perfrewrite -- Program Complexity Analysis via Source Code Instrumentation
Michael Kruse
Most program profiling methods output the execution time of one specific program execution, but not its computational complexity class in terms of the big-O notation. Perfrewrite i…
Introducing Molly: Distributed Memory Parallelization with LLVM
Michael Kruse
Programming for distributed memory machines has always been a tedious task, but necessary because compilers have not been sufficiently able to optimize for such machines themselves…
Automated Code Generation for Lattice Quantum Chromodynamics and beyond
Denis Barthou, Olivier Brand-Foissac, Romain Dolbeau +6
We present here our ongoing work on a Domain Specific Language which aims to simplify Monte-Carlo simulations and measurements in the domain of Lattice Quantum Chromodynamics. The…
QIRAL: A High Level Language for Lattice QCD Code Generation
Denis Barthou, Gilbert Grosdidier, Michael Kruse +2
Quantum chromodynamics (QCD) is the theory of subnuclear physics, aiming at mod- eling the strong nuclear force, which is responsible for the interactions of nuclear particles. Lat…