Fuzzing has achieved tremendous success in discovering bugs and vulnerabilities in
various software systems. Systems under test (SUTs) that take in programming or formal …

Fuzzing has achieved tremendous success in discovering bugs and vulnerabilities in
various software systems. Systems under test (SUTs) that take in programming or formal …

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 present JAttack, a framework that enables template-based testing for compilers. Using
JAttack, a developer writes a template program that describes a set of programs to be …

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

Random test case generation, or fuzzing, is a viable means for uncovering compiler bugs.
Unfortunately, compiler fuzzing can be time-consuming and inefficient with purely randomly …

Static analyzers reason about the behaviors of programs without executing them and report
issues when they violate pre-defined desirable properties. One of the key limitations of static …

We present LeJit, a template-based framework for testing Java just-in-time (JIT) compilers.
Like recent template-based frameworks, LeJit executes a template---a program with holes to …

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

Solidity, the language utilized for developing smart contracts, has been gaining increased
importance in blockchain system. Ensuring bug-free of its accompanying language compiler …