Graphics Processing Units (GPU) offer tremendous computational power by
...
Strategy languages enable programmers to compose rewrite rules into
stra...
Structural subtyping and parametric polymorphism provide a similar kind ...
We introduce the Bayesian Compiler Optimization framework (BaCO), a gene...
Container data types are ubiquitous in computer programming, enabling
de...
The trend towards specialization of software and hardware - fuelled by t...
Generating high-performance code for diverse hardware and application do...
We present a type system for strategy languages that express program
tra...
Optimizing programs to run efficiently on modern parallel hardware is ha...
Graphics Processing Units (GPUs) and other parallel devices are widely
a...