Many-core compiler fuzzing
… We address the compiler correctness problem for many-core systems through novel applications
of fuzz testing to OpenCL compilers. Focusing on two methods from prior work, random …
of fuzz testing to OpenCL compilers. Focusing on two methods from prior work, random …
Compiler fuzzing: How much does it matter?
… The manual analysis of a selection of the binary-level differences caused by some of our
compiler bugs, both fuzzer-found and non fuzzer-found, shows that either these binary …
compiler bugs, both fuzzer-found and non fuzzer-found, shows that either these binary …
Cudasmith: A fuzzer for cuda compilers
… 4) Atomic mode: The atomic functions are important instruments for threads to synchronize
with one another for manycore computing. Hence, the atomic mode of CUDAsmith aims at …
with one another for manycore computing. Hence, the atomic mode of CUDAsmith aims at …
Compiler fuzzing through deep learning
… We present a novel framework for compiler fuzzing. By posing the generation of random …
We demonstrated our approach by targeting the challenging many-core domain of OpenCL. Our …
We demonstrated our approach by targeting the challenging many-core domain of OpenCL. Our …
A survey of modern compiler fuzzing
H Ma - arXiv preprint arXiv:2306.06884, 2023 - arxiv.org
… bug", "compiler vulnerabilit(y/ies)", "compiler fault". … compiler fuzzing", we remove all
compiler fuzzing work for old-fashioned compilers, such as the Fortran compiler, the Ada compiler…
compiler fuzzing work for old-fashioned compilers, such as the Fortran compiler, the Ada compiler…
GrayC: Greybox fuzzing of compilers and analysers for C
… Lacking feedback, the fuzzers have no way of adapting their generation strategy to find …
compiler fuzzing techniques that yield valid programs capable of detecting deep compiler bugs, …
compiler fuzzing techniques that yield valid programs capable of detecting deep compiler bugs, …
Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis
… a novel fuzzing technique for the MLIR compiler infrastructure, called MLIRod (MLIR fuzzing
… We propose a novel fuzzing technique for the MLIR compiler infrastructure, called MLIRod, …
… We propose a novel fuzzing technique for the MLIR compiler infrastructure, called MLIRod, …
A Generative and Mutational Approach for Synthesizing Bug-Exposing Test Cases to Guide Compiler Fuzzing
… e ective strategy for compiler fuzzing should direct fuzzing e orts toward … compiler fuzzing
framework that combines generative and mutational techniques while improving the compiler …
framework that combines generative and mutational techniques while improving the compiler …
Fuzzing loop optimizations in compilers for C++ and data-parallel languages
… Compilers are part of the foundation upon which software systems are built; they need to be
… generative compiler fuzzer. This new version has found 122 bugs, both in compilers for data-…
… generative compiler fuzzer. This new version has found 122 bugs, both in compilers for data-…
Fuzzing deep learning compilers with hirgen
… To bridge the gap, we propose the rst DL compiler fuzzing technique that focuses on high-level
optimization, HirGen. HirGen is designed to satisfy the following four objectives: 1) the …
optimization, HirGen. HirGen is designed to satisfy the following four objectives: 1) the …