3 citations · 3 across the 2 of their papers we have counts for
4 papers · 1 filter
Automated Dynamic Concurrency Analysis for Go
Saeed Taheri, Ganesh Gopalakrishnan
The concurrency features of the Go language have proven versatile in the development of a number of concurrency systems. However, correctness methods to address challenges in Go co…
FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation
Arnab Das, Sriram Krishnamoorthy, Ian Briggs +2
We present FPDetect, a low overhead approach for detecting logical errors and soft errors affecting stencil computations without generating false positives. We develop an offline a…
An Operational Semantic Basis for OpenMP Race Analysis
Simone Atzeni, Ganesh Gopalakrishnan
OpenMP is the de facto standard to exploit the on-node parallelism in new generation supercomputers.Despite its overall ease of use, even expert users are known to create OpenMP pr…
Report of the HPC Correctness Summit, Jan 25--26, 2017, Washington, DC
Ganesh Gopalakrishnan, Paul D. Hovland, Costin Iancu +6
Maintaining leadership in HPC requires the ability to support simulations at large scales and fidelity. In this study, we detail one of the most significant productivity challenges…