research
∙
04/27/2021
Autotuning PolyBench Benchmarks with LLVM Clang/Polly Loop Optimization Pragmas Using Bayesian Optimization (extended version)
In this paper, we develop a ytopt autotuning framework that leverages Ba...
share
research
∙
02/02/2021
Report of the Workshop on Program Synthesis for Scientific Computing
Program synthesis is an active research field in academia, national labs...
research
∙
10/16/2020
Really Embedding Domain-Specific Languages into C++
Domain-specific languages (DSLs) are both pervasive and powerful, but re...
research
∙
10/15/2020
Autotuning PolyBench Benchmarks with LLVM Clang/Polly Loop Optimization Pragmas Using Bayesian Optimization
An autotuning is an approach that explores a search space of possible im...
research
∙
10/13/2020
Autotuning Search Space for Loop Transformations
One of the challenges for optimizing compilers is to predict whether app...
research
∙
10/08/2020
Extending C++ for Heterogeneous Quantum-Classical Computing
We present qcor - a language extension to C++ and compiler implementatio...
research
∙
10/06/2019
Design and Use of Loop-Transformation Pragmas
Adding a pragma directive into the source code is arguably easier than r...
research
∙
04/18/2019
ClangJIT: Enhancing C++ with Just-in-Time Compilation
The C++ programming language is not only a keystone of the high-performa...
research
∙
11/14/2018
Memory-Efficient Quantum Circuit Simulation by Using Lossy Data Compression
In order to evaluate, validate, and refine the design of new quantum alg...
research
∙
11/01/2018
Loop Optimization Framework
The LLVM compiler framework supports a selection of loop transformations...
research
∙
11/01/2018
User-Directed Loop-Transformations in Clang
Directives for the compiler such as pragmas can help programmers to sepa...
research
∙
05/09/2018
A Proposal for Loop-Transformation Pragmas
Pragmas for loop transformations, such as unrolling, are implemented in ...
research
∙
10/09/2016