research
∙
05/05/2023
Descend: A Safe GPU Systems Programming Language
Graphics Processing Units (GPU) offer tremendous computational power by ...
share
research
∙
04/27/2023
Traced Types for Safe Strategic Rewriting
Strategy languages enable programmers to compose rewrite rules into stra...
research
∙
04/17/2023
Structural Subtyping as Parametric Polymorphism
Structural subtyping and parametric polymorphism provide a similar kind ...
research
∙
12/01/2022
BaCO: A Fast and Portable Bayesian Compiler Optimization Framework
We introduce the Bayesian Compiler Optimization framework (BaCO), a gene...
research
∙
05/19/2022
Primrose: Selecting Container Data Types by their Properties
Container data types are ubiquitous in computer programming, enabling de...
research
∙
01/10/2022
RISE Shine: Language-Oriented Compiler Design
The trend towards specialization of software and hardware - fuelled by t...
research
∙
11/25/2021
Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations of Functional Programs
Generating high-performance code for diverse hardware and application do...
research
∙
03/23/2021
Row-Polymorphic Types for Strategic Rewriting
We present a type system for strategy languages that express program tra...
research
∙
02/06/2020
A Language for Describing Optimization Strategies
Optimizing programs to run efficiently on modern parallel hardware is ha...
research
∙
10/23/2017
