Cited By
View all- Nguyen VSaillard EJaeger JBarthou DCarribault P(2020)PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness)10.1109/Correctness51934.2020.00009(31-39)Online publication date: Nov-2020
- Jammer TIwainsky CBischof C(2020)Automatic Detection of MPI AssertionsHigh Performance Computing10.1007/978-3-030-59851-8_3(34-42)Online publication date: 20-Oct-2020
- Huchant PSaillard EBarthou DBrunie HCarribault P(2018)PARCOACH Extension for a Full-Interprocedural Collectives Verification2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness)10.1109/Correctness.2018.00013(69-76)Online publication date: Nov-2018
- Show More Cited By