GRace: a low-overhead mechanism for detecting data races in GPU programs
In recent years, GPUs have emerged as an extremely cost-effective means for achieving
high performance. Many application developers, including those with no prior parallel …
high performance. Many application developers, including those with no prior parallel …
Symbolic analysis of concurrency errors in OpenMP programs
In this paper we present the OpenMP Analysis Toolkit (OAT), which uses Satisfiability
Modulo Theories (SMT) solver based symbolic analysis to detect data races and deadlocks …
Modulo Theories (SMT) solver based symbolic analysis to detect data races and deadlocks …
Gmrace: Detecting data races in gpu programs via a low-overhead scheme
In recent years, GPUs have emerged as an extremely cost-effective means for achieving
high performance. While languages like CUDA and OpenCL have eased GPU programming …
high performance. While languages like CUDA and OpenCL have eased GPU programming …
Enhancing dataracebench for evaluating data race detection tools
DataRaceBench is a dedicated benchmark suite to evaluate tools aimed to find data race
bugs in OpenMP programs. Since its initial release in 2017, DataRaceBench has been …
bugs in OpenMP programs. Since its initial release in 2017, DataRaceBench has been …
[PDF][PDF] Software testing techniques for parallel systems: A survey
Summary High-Performance Computing (HPC) recently has become important in several
sectors, including the scientific and manufacturing fields. The continuous growth in building …
sectors, including the scientific and manufacturing fields. The continuous growth in building …
Detecting thread-safety violations in hybrid OpenMP/MPI programs
H Ma, L Wang, K Krishnamoorthy - 2015 IEEE International …, 2015 - ieeexplore.ieee.org
We propose an approach by integrating static and dynamic program analyses to detect
thread-safety violations in hybrid MPI/OpenMP programs. We innovatively transform the …
thread-safety violations in hybrid MPI/OpenMP programs. We innovatively transform the …
Symbolic consistency checking of OpenMP parallel programs
F Yu, SC Yang, F Wang, GC Chen… - Proceedings of the 13th …, 2012 - dl.acm.org
We present a symbolic approach for checking consistency of OpenMP parallel programs. A
parallel program is consistent if it yields the same result as its sequential version despite the …
parallel program is consistent if it yields the same result as its sequential version despite the …
Fifth generation (5G) cellular wireless: Vision, goals, and challenges
E Ayanoglu - 2016 IEEE 35th International Performance …, 2016 - ieeexplore.ieee.org
Cellular wireless or mobile communications have seen four generations of technological
developments. Starting with analog voice with the first, and then moving on to digital voice …
developments. Starting with analog voice with the first, and then moving on to digital voice …
Towards incremental static race detection in OpenMP programs
B Swain, J Huang - … IEEE/ACM 2nd International Workshop on …, 2018 - ieeexplore.ieee.org
OpenMP is a high level API that allows programmers to write concurrent programs on multi-
core systems. OpenMP provides an interface for easily managing teams of threads and …
core systems. OpenMP provides an interface for easily managing teams of threads and …
Analyzing Concurrent Programs Title for Potential Programming Errors
Abstract Today, multi-core/multi-processor hardware has become ubiquitous, leading to a
fundamental turning point on software development. However, develo** concurrent …
fundamental turning point on software development. However, develo** concurrent …