Publications

BibTex format

@inproceedings{Lidbury:2015:10.1145/2737924.2737986,
author = {Lidbury, C and Lascu, A and Chong, N and Donaldson, AF},
doi = {10.1145/2737924.2737986},
pages = {65--76},
publisher = {Association for Computing Machinery (ACM)},
title = {Many-core compiler fuzzing},
url = {http://dx.doi.org/10.1145/2737924.2737986},
year = {2015}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - 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 differential testing and testing via equivalence modulo inputs (EMI), we present several strategies for random generation of deterministic, communicating OpenCL kernels, and an injection mechanism that allows EMI testing to be applied to kernels that otherwise exhibit little or no dynamically-dead code. We use these methods to conduct a large, controlled testing campaign with respect to 21 OpenCL (device, compiler) configurations, covering a range of CPU, GPU, accelerator, FPGA and emulator implementations. Our study provides independent validation of claims in prior work related to the effectiveness of random differential testing and EMI testing, proposes novel methods for lifting these techniques to the many-core setting and reveals a significant number of OpenCL compiler bugs in commercial implementations.
AU  - Lidbury,C
AU  - Lascu,A
AU  - Chong,N
AU  - Donaldson,AF
DO  - 10.1145/2737924.2737986
EP  - 76
PB  - Association for Computing Machinery (ACM)
PY  - 2015///
SN  - 1523-2867
SP  - 65
TI  - Many-core compiler fuzzing
UR  - http://dx.doi.org/10.1145/2737924.2737986
UR  - http://hdl.handle.net/10044/1/32071
ER  -

Download

ProfessorAlastairDonaldson

Contact

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)