ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Massive parallelism, and energy efficiency of GPUs, along with advances in their programmability with OpenCL and CUDA programming models have made them attractive for general-purpose computations across many application domains. Techniques for testing GPU kernels have emerged recently to aid the construction of correct GPU software. However, there exists no means of measuring quality and effectiveness of tests developed for GPU kernels. Traditional coverage criteria over CPU programs is not adequate over GPU kernels as it uses a completely different programming model and the faults encountered may be specific to the GPU architecture. We address this need in this paper and present a framework, CLTestCheck, for assessing quality of test suites developed for OpenCL kernels. The framework has the following capabilities, 1. Measures kernel code coverage using three different coverage metrics that are inspired by faults found in real kernel code, 2. Seeds different types of faults in kernel code and measures fault finding capability of test suite, 3. Simulates different work-group schedules to check for potential deadlocks and data races with a given test suite. We conducted empirical evaluation of CLTestCheck on a collection of 82 publicly available GPU kernels and test suites. We found that CLTestCheck is capable of automatically measuring effectiveness of test suites, in terms of kernel code coverage, fault finding and revealing data races in real OpenCL kernels.

Thu 11 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 16:00
Specification, Design, and Implementation of Particular Classes of SystemsFASE at JUPITER
Chair(s): Reiner HähnleTechnical University of Darmstadt
14:00
30m
Talk
CLTestCheck: Measuring Test Effectiveness for GPU Kernels
FASE
Chao PengUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh
Link to publication
14:30
30m
Talk
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
FASE
Nikolaos Bezirgiannis, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University, Einar Broch JohnsenUniversity of Oslo, Violet Ka I Pun, Silvia Lizeth Tapia TarifaUniversity of Oslo
Link to publication
15:00
30m
Talk
Optimal and Automated Deployment for Microservices
FASE
Mario BravettiUniversità di Bologna, Saverio GiallorenzoAlma Mater Studiorum - Università di Bologna, Jacopo MauroUniversity of Southern Denmark, Iacopo Talevi, Gianluigi Zavattaro
Link to publication
15:30
30m
Talk
A Data Flow Model with Frequency Arithmetic
FASE
Link to publication