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

This paper introduces the novel concept of compilation space, which facilitates the thorough
validation of just-in-time (JIT) compilers in modern language virtual machines (LVMs). The …

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 …

Deep Learning (DL) compilers are widely adopted to optimize advanced DL models for
efficient deployment on diverse hardware. Their quality has a profound effect on the quality …

Zero-knowledge proofs (ZKPs) have evolved from being a theoretical concept providing
privacy and verifiability to having practical, real-world implementations, with SNARKs …

WebAssembly runtime is the infrastructure for executing WebAssembly, which is widely used
as an execution engine by web browsers or blockchain platforms. Bugs in the WebAssembly …

In infrastructure as code (IaC), state reconciliation is the process of querying and comparing
the infrastructure state prior to changing the infrastructure. As state reconciliation is pivotal to …

Modern programming languages promote software reuse via package managers that
facilitate the integration of inter-dependent software libraries. Software reuse comes with the …

Most software that runs on computers undergoes processing by compilers. Since compilers
constitute the fundamental infrastructure of software development, their correctness is …

Deep Learning (DL) compilers typically load a DL model and optimize it with intermediate
representation. Existing DL compiler testing techniques mainly focus on model optimization …