Compiler error messages considered unhelpful: The landscape of text-based programming error message research
Diagnostic messages generated by compilers and interpreters such as syntax error
messages have been researched for over half of a century. Unfortunately, these messages …
messages have been researched for over half of a century. Unfortunately, these messages …
The MPI bugs initiative: a framework for MPI verification tools evaluation
M Laurent, E Saillard, M Quinson - 2021 IEEE/ACM 5th …, 2021 - ieeexplore.ieee.org
Ensuring the correctness of MPI programs becomes as challenging and important as
achieving the best performance. Many tools have been proposed in the literature to detect …
achieving the best performance. Many tools have been proposed in the literature to detect …
An Architecture for a Tri-Programming Model-Based Parallel Hybrid Testing Tool
As the development of high-performance computing (HPC) is growing, exascale computing
is on the horizon. Therefore, it is imperative to develop parallel systems, such as graphics …
is on the horizon. Therefore, it is imperative to develop parallel systems, such as graphics …
[PDF][PDF] Comparing model checking and static program analysis: A case study in error detection approaches
K Vorobyov, P Krishnan - Proc. SSV, 2010 - usenix.org
Static program analysis and model checking are two different techniques in bug detection
that perform error checking statically, without running the program. In general, static program …
that perform error checking statically, without running the program. In general, static program …
[PDF][PDF] Software testing techniques for parallel systems: A survey
AM Alghamdi, FE Eassa - Int. J. Comput. Sci. Netw. Secur., 2019 - researchgate.net
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 …
High-precision evaluation of both static and dynamic tools using dataracebench
DataRaceBench (DRB) is a dedicated benchmark suite to evaluate tools aimed to find data
race bugs in OpenMP programs. Using microbenchmarks with or without data races, DRB is …
race bugs in OpenMP programs. Using microbenchmarks with or without data races, DRB is …
Rmaracebench: A microbenchmark suite to evaluate race detection tools for rma programs
S Schwitanski, J Jenke, S Klotz, MS Müller - … of the SC'23 Workshops of …, 2023 - dl.acm.org
Parallel programming models with Remote Memory Access (RMA), such as MPI RMA,
OpenSHMEM, and GASPI, allow processes to modify the memory of other processes …
OpenSHMEM, and GASPI, allow processes to modify the memory of other processes …
Runtime checking c programs
The C Programming Language is known for being an efficient language that can be
compiled on almost any architecture and operating system. However the absence of …
compiled on almost any architecture and operating system. However the absence of …
UPC-CHECK: a scalable tool for detecting run-time errors in Unified Parallel C
Abstract Unified Parallel C (UPC) is a language used to write parallel programs for
distributed memory parallel computers. UPC-CHECK (http://hpcgroup. public. iastate …
distributed memory parallel computers. UPC-CHECK (http://hpcgroup. public. iastate …
Teaching Programming Error Message Understanding
About a decade ago there was a sharp increase in the number of research publications
focusing on programming error messages. The majority of this work focused on improving …
focusing on programming error messages. The majority of this work focused on improving …