2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness) 2018
DOI: 10.1109/correctness.2018.00013
|View full text |Cite
|
Sign up to set email alerts
|

PARCOACH Extension for a Full-Interprocedural Collectives Verification

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
6
0

Year Published

2019
2019
2024
2024

Publication Types

Select...
4
1

Relationship

3
2

Authors

Journals

citations
Cited by 5 publications
(6 citation statements)
references
References 14 publications
0
6
0
Order By: Relevance
“…Our analysis is implemented as a pass in the LLVM framework 3.9 integrated into the open source software PARCOACH 5 .…”
Section: Resultsmentioning
confidence: 99%
See 3 more Smart Citations
“…Our analysis is implemented as a pass in the LLVM framework 3.9 integrated into the open source software PARCOACH 5 .…”
Section: Resultsmentioning
confidence: 99%
“…Also, our analysis returns a false positive for some correct but structurally incorrect codes like the example Figure 1e. In addition to our analysis, we use PARCOACH instrumentation of programs explained in [5] to handle such situations.…”
Section: Motivationmentioning
confidence: 99%
See 2 more Smart Citations
“…This trade-off allows the best of both approches. PARCOACH [2], [3] uses this method to find collectives mismatch. It raises warnings for potential errors with debugging information like the conditionals responsible for them.…”
Section: Related Workmentioning
confidence: 99%