@inproceedings{76bccc537d104f3ba5c31575241f64e9,
title = "PARCOACH Extension for a Full-Interprocedural Collectives Verification",
abstract = "The advent to exascale requires more scalable and efficient techniques to help developers to locate, analyze and correct errors in parallel applications. PARallel COntrol flow Anomaly CHecker (PARCOACH) is a framework that detects the origin of collective errors in applications using MPI and/or OpenMP. In MPI, such errors include collective operations mismatches. In OpenMP, a collective error can be a barrier not called by all tasks in a team. In this paper, we present an extension of PARCOACH which improves its collective errors detection. We show our analysis is more precise and accurate than the previous one on different benchmarks and real applications.",
keywords = "Collectives, MPI, OpenMP, Static-Analysis, Verification",
author = "Pierre Huchant and Emmanuelle Saillard and Denis Barthou and Hugo Brunie and Patrick Carribault",
note = "Publisher Copyright: {\textcopyright} 2018 IEEE.; 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness 2018 ; Conference date: 12-11-2018",
year = "2018",
month = jul,
day = "2",
doi = "10.1109/Correctness.2018.00013",
language = "English",
series = "Proceedings of Correctness 2018: 2nd International Workshop on Software Correctness for HPC Applications, Held in conjunction with SC 2018: The International Conference for High Performance Computing, Networking, Storage and Analysis",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "69--76",
booktitle = "Proceedings of Correctness 2018",
}