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 …

Compiler correctness is crucial, as miscompilation can falsify program behaviors, leading to
serious consequences over the software supply chain. In the literature, fuzzing has been …

There are increasing uses of deep learning (DL) compilers to generate optimized code,
boosting the runtime performance of DL models on specific hardware. Like their traditional …

Validating optimizing compilers is challenging because it is hard to generate valid test
programs (ie, those that do not expose any undefined behavior). Equivalence Modulo Inputs …

DL frameworks are the basis of constructing all DL programs and models, and thus their
bugs could lead to the unexpected behaviors of any DL program or model relying on them …

The interest in quantum computing is growing, and with it, the importance of software
platforms to develop quantum programs. Ensuring the correctness of such platforms is …

Given a program P that exhibits a certain property Ψ (eg, a C program that crashes GCC
when it is being compiled), the goal of program reduction is to minimize P to a smaller …

Program reduction is a widely used technique to facilitate debugging compilers by
automatically minimizing programs that trigger compiler bugs. Existing program reduction …

Compilers are among the most fundamental programming tools for building software.
However, production compilers remain buggy. Fuzz testing is often leveraged with …

A program can be viewed as a syntactic structure P (syntactic skeleton) parameterized by a
collection of identifiers V (variable names). This paper introduces the skeletal program …