Compilers are part of the foundation upon which software systems are built; they need to be
as correct as possible. This paper is about stress-testing loop optimizers; it presents a major …

We propose a testing framework for validating static ty** procedures in compilers. Our
core component is a program generator suitably crafted for producing programs that are …

To ensure compilers' quality, compiler testing has received more and more attention, and
test-program generation is the core task. In recent years, some approaches have been …

We introduce program reconditioning, a method for allowing program generation and
differential testing to be used to find miscompilation bugs, and test-case reduction to be used …

We introduce a novel approach for testing optimizing compilers with code from real-world
applications. The main idea is to construct well-formed programs by fusing multiple code …

To optimize a program, a compiler needs precise information about it. Significant effort is
dedicated to improving the ability of compilers to analyze programs, with the expectation that …

Compiler fuzzing techniques require a means of generating programs that are free from
undefined behaviour (UB) to reliably reveal miscompilation bugs. Existing program …

High-level synthesis (HLS) is becoming an increasingly important part of the computing
landscape, even in safety-critical domains where correctness is key. As such, HLS tools are …

We introduce a novel approach for testing static ty** implementations based on the
concept of API-driven program synthesis. The idea is to synthesize type-intensive but small …

This paper introduces the concept of optimization interaction, which refers to the practice in
modern compilers where multiple optimization phases, such as inlining, loop unrolling, and …