Software engineers develop, fine-tune, and deploy deep learning (DL) models using a
variety of development frameworks and runtime environments. DL model converters move …

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 ty** procedures in compilers. Our
core component is a program generator suitably crafted for producing programs that are …

Modern applications have become increasingly complex and their manual installation and
configuration is no longer practical. Instead, IT organizations heavily rely on Infrastructure as …

Software engineers develop, fine-tune, and deploy deep learning (DL) models using a
variety of development frameworks and runtime environments. DL model converters move …

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 …

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 …