Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH, Proceedings of the 22nd European MPI Users' Group Meeting on ZZZ - EuroMPI '15, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01252321
Proceedings of the 22nd European MPI Users' Group Meeting on ZZZ - EuroMPI '15, Group Meeting, 2015. ,
PARCOACH Extension for a Full-Interprocedural Collectives Verification, 2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness), pp.69-76, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01937316
Multi-valued Expression Analysis for Collective Checking, Lecture Notes in Computer Science, pp.29-43, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02390025
MPI, Proceedings of the 1993 ACM/IEEE conference on Supercomputing - Supercomputing '93, 1993. ,
MPI Runtime Error Detection with MUST: Advances in Deadlock Detection, Scientific Programming, vol.21, issue.3-4, pp.109-121, 2013. ,
Detecting MPI Usage Anomalies via Partial Program Symbolic Execution, SC18: International Conference for High Performance Computing, Networking, Storage and Analysis, 2018. ,
A Scalable and Distributed Dynamic Formal Verifier for MPI Programs, 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis, pp.1-10, 2010. ,
Verifying MPI Applications with SimGridMC, Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17, pp.28-33, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01632421
MPI-checker, Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC - LLVM '15, pp.1-10, 2015. ,
Verification of MPI programs using CIVL, Proceedings of the 24th European MPI Users' Group Meeting on - EuroMPI '17, 2017. ,
Combining symbolic execution and model checking to verify MPI programs, Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, pp.527-530, 2018. ,
Symbolic verification of message passing interface programs, Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, 2020. ,
An efficient method of computing static single assignment form, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89, pp.25-35, 1989. ,
Generalized dominators and post-dominators, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92, pp.246-257, 1992. ,
A new framework for exhaustive and incremental data flow analysis using DJ graphs, ACM SIGPLAN Notices, vol.31, issue.5, pp.278-290, 1996. ,
Improving Performance via Mini-Applications, Sandia National Laboratories, Tech. Rep. SAND2009-5574, vol.3, 2009. ,
LLNL line-item construction projects Master Site Plan, Lawrence Livermore National Lab.(LLNL), 1996. ,
Fast Parallel Algorithms for Short-Range Molecular Dynamics, Journal of Computational Physics, vol.117, issue.1, pp.1-19, 1995. ,
Automatic Code Motion to Extend MPI Nonblocking Overlap Window, Lecture Notes in Computer Science, pp.43-54, 2020. ,
URL : https://hal.archives-ouvertes.fr/cea-03010533