Presentation
Differential Testing for Sequential to Parallel Transformations
DescriptionMany high-performance programs can benefit from parallelism creating orders of magnitude speedups in their performance. However, translating code into its parallel equivalent is challenging, time-consuming, and error-prone. In recent years there has been a move to automate this process, creating algorithms to perform translations. While automation removes the manual effort, it needs to be accompanied by strong validation. Incorrect translation can lead to data races, poor performance, rounding problems, or unexpected behavior. In this paper, we present a dynamic validation approach called Seq2ParDiff that uses differential testing to check conformance of the parallel program to the original sequential program version. We evaluate Seq2ParDiff on two sets of benchmarks for OpenMP programs. In the first, we find 20 new faults, outperforming state of the art static techniques. In the second, we find many faults that other tools miss, however we are not as effective in finding some types of data races.
Event Type
Workshop
TimeMonday, 17 November 202511:55am - 12:25pm CST
Location261
Debugging & Correctness Tools
HPC Software & Runtime Systems