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 a mutation 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 19 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, reveals a significant number of OpenCL compiler bugs in commercial implementations, and acts as a call-to-arms for higher quality OpenCL compilers from many-core device vendors.
Mon 15 JunDisplayed time zone: Tijuana, Baja California change
14:00 - 15:40 | CorrectnessResearch Papers at PLDI Main RED (Portland 256) Chair(s): Jens Palsberg University of California, Los Angeles | ||
14:00 25mTalk | Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack Research Papers Media Attached | ||
14:25 25mTalk | Automatic Error Elimination by Multi-Application Code Transfer Research Papers Stelios Sidiroglou-Douskos MIT CSAIL, Eric Lahtinen MIT CSAIL, Fan Long MIT CSAIL, Martin C. Rinard MIT Media Attached | ||
14:50 25mTalk | Light: Replay via Tightly Bounded Recording Research Papers Peng Liu Purdue University, Xiangyu Zhang Purdue University, Omer Tripp IBM Thomas J. Watson Research Center, Yunhui Zheng IBM Research Media Attached | ||
15:15 25mTalk | Many-Core Compiler Fuzzing Research Papers Nathan Chong University College London, Alastair F. Donaldson Imperial College London, Andrei Lascu Imperial College London, Christopher Lidbury Imperial College London Media Attached |