Virtually any software running on a computer has been processed by a compiler or a
compiler-like tool. Because compilers are such a crucial piece of infrastructure for building …

Random program generation—fuzzing—is an effective technique for discovering bugs in
compilers but successful fuzzers require extensive development effort for every language …

We present an automated technique for finding defects in compilers for graphics shading
languages. key challenge in compiler testing is the lack of an oracle that classifies an output …

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

Compiler testing is a crucial way of guaranteeing the reliability of compilers (and software
systems in general). Many techniques have been proposed to facilitate automated compiler …

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 …

Compilers are widely-used infrastructures in accelerating the software development, and
expected to be trustworthy. In the literature, various testing technologies have been …

Compilers are one of the most fundamental software systems. Compiler testing is important
for assuring the quality of compilers. Due to the crucial role of compilers, they have to be well …

Compiler diagnostic warnings help developers identify potential programming mistakes
during program compilation. However, these warnings could be erroneous due to the …

We describe our experience over the last 18 months on a compiler testing technology
transfer project: taking the GraphicsFuzz research project on randomized metamorphic …