We designed, implemented, and deployed Alive2: a bounded translation validation tool for
the LLVM compiler's intermediate representation (IR). It limits resource consumption by, for …

For ensuring the reliability of Android apps, there has been tremendous, continuous
progress on improving automated GUI testing in the past decade. Specifically, dozens of …

Deep-learning (DL) compilers such as TVM and TensorRT are increasingly being used to
optimize deep neural network (DNN) models to meet performance, resource utilization and …

Logic bugs in Database Management Systems (DBMSs) are bugs that cause an incorrect
result for a given query, for example, by omitting a row that should be fetched. These bugs …

Fuzzing of compilers and code analysers has led to a large number of bugs being found and
fixed in widely-used frameworks such as LLVM, GCC and Frama-C. Most such fuzzing …

Context: Compilers are the fundamental tools for software development. Thus, compiler
defects can disrupt development productivity and propagate errors into developer-written …

Optimizations are the fundamental component of compilers. Bugs in optimizations have
significant impacts, and can cause unintended application behavior and disasters …

Modern optimizing compilers are among the most complex software systems humans build.
One way to identify subtle compiler bugs is fuzzing. Both the quantity and the quality of …

Compilers are a kind of important software, and similar to the quality assurance of other
software, compiler testing is one of the most widely-used ways of guaranteeing their quality …

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 …