Skip to Main content Skip to Navigation
Conference papers

Multi-Valued Expression Analysis for Collective Checking

Abstract : Determining if a parallel program behaves as expected on any execution is challenging due to non-deterministic executions. Static analyses help to detect all execution paths that can be executed concurrently by identifying multi-valued expressions, i.e. expressions evaluated differently among processes. This can be used to find collective errors in parallel programs. In this paper, we propose a new method that combines a control-flow analysis with a multi-valued expressions detection to find such errors. We implemented our method in the PARCOACH framework and successfully analyzed parallel applications using MPI, OpenMP, UPC and CUDA.
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download
Contributor : Emmanuelle Saillard Connect in order to contact the contributor
Submitted on : Monday, December 2, 2019 - 6:07:06 PM
Last modification on : Friday, December 13, 2019 - 4:53:55 PM
Long-term archiving on: : Tuesday, March 3, 2020 - 9:09:21 PM


Files produced by the author(s)


  • HAL Id : hal-02390025, version 1



Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Patrick Carribault. Multi-Valued Expression Analysis for Collective Checking. EuroPar, Aug 2019, Göttingen, Germany. ⟨hal-02390025⟩



Record views


Files downloads