Add to ORKGInternational audienceDetermining 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
International audienceCollective MPI communications have to be executed in the same order by all pro...
National audienceAfter a short presentation of static analysis by Abstract Interpretation, we summar...
An MPI profiling library is a standard mechanism for intercepting MPI calls by applications. Profili...
International audienceDetermining if a parallel program behaves as expected on any execution is chal...
International audienceThe advent to exascale requires more scalable and efficient techniques to help...
International audienceNowadays most scientific applications are parallelized based on MPI communicat...
International audienceScientific applications mainly rely on the MPI parallel programming model to r...
A fundamental problem in the analysis of parallel programs is to determine when two statements in a ...
This paper describes a general technique to identify control flow errors in parallel programs, which...
International audienceMPI is the most widely used parallel programming model. But the reducing amoun...
International audienceSupercomputers are rapidly evolving with now millions of processing units, pos...
AbstractThis paper deals with a technique that can support the re-engineering of parallel programs b...
International audienceThe Message Passing Interface (MPI) is a parallel programming model used to ex...
Algorithms are presented for detecting errors and anomalies in programs which use synchronization co...
The design of concurrent programs is error-prone due to the interaction between concurrently executi...
International audienceCollective MPI communications have to be executed in the same order by all pro...
National audienceAfter a short presentation of static analysis by Abstract Interpretation, we summar...
An MPI profiling library is a standard mechanism for intercepting MPI calls by applications. Profili...
International audienceDetermining if a parallel program behaves as expected on any execution is chal...
International audienceThe advent to exascale requires more scalable and efficient techniques to help...
International audienceNowadays most scientific applications are parallelized based on MPI communicat...
International audienceScientific applications mainly rely on the MPI parallel programming model to r...
A fundamental problem in the analysis of parallel programs is to determine when two statements in a ...
This paper describes a general technique to identify control flow errors in parallel programs, which...
International audienceMPI is the most widely used parallel programming model. But the reducing amoun...
International audienceSupercomputers are rapidly evolving with now millions of processing units, pos...
AbstractThis paper deals with a technique that can support the re-engineering of parallel programs b...
International audienceThe Message Passing Interface (MPI) is a parallel programming model used to ex...
Algorithms are presented for detecting errors and anomalies in programs which use synchronization co...
The design of concurrent programs is error-prone due to the interaction between concurrently executi...
International audienceCollective MPI communications have to be executed in the same order by all pro...
National audienceAfter a short presentation of static analysis by Abstract Interpretation, we summar...
An MPI profiling library is a standard mechanism for intercepting MPI calls by applications. Profili...