, message Passing Interface Forum. MPI: A Message-Passing Interface Standard, 2012.
Parcoach: Combining static and dynamic validation of mpi collective communications, The International Journal of High Performance Computing Applications, vol.28, pp.425-434, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01078762
, Static Validation of Barriers and Worksharing Constructs in OpenMP Applications, International Workshop on OpenMP, pp.73-86, 2014.
PARCOACH Extension for Hybrid Applications with Interprocedural Analysis, 9th International Workshop on Parallel Tools for High Performance Computing, pp.135-146, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01420655
Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH, EuroMPI, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01252321
Static Nonconcurrency Analysis of OpenMP Programs, pp.36-50, 2008. ,
, The LLVM Compiler Infrastructure
, MILC, 2016.
The cosmological simulation code gadget-2, Monthly Notices of the Royal Astronomical Society, vol.364, pp.1105-1134, 2005. ,
MPIPHYLIP: Parallelizing Computationally Intensive Phylogenetic Analysis Routines for the Analysis of Large Protein Families, PLOS ONE, vol.5, issue.11, pp.1-8, 2010. ,
High-Performance Linpack benchmark, 2013. ,
Improving Performance via Mini-applications, Sandia National Laboratories, 2009. ,
, , 2016.
, , 2017.
, , 2017.
Automatic Formal Verification of MPIbased Parallel Programs, Proceedings of the 16th ACM Symposium on Principles and Practice of Parallel Programming, ser. PPoPP '11, pp.309-310, 2011. ,
Automated MPI Correctness Checking: What if there was a magic option, Proceedings of the 8th LCI International Conference on High-Performance Clustered Computing, 2007. ,
A Scalable and Distributed Dynamic Formal Verifier for MPI Programs, Proceedings of the 2010 ,
, ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis, ser. SC '10, pp.1-10, 2010.
Runtime MPI Collective Checking with Tree-based Overlay Networks, Proceedings of the 20th European MPI Users' Group Meeting, ser. EuroMPI '13, pp.129-134, 2013. ,
A Graph Based Approach for MPI Deadlock Detection, Proceedings of the 23rd International Conference on Supercomputing, ser. ICS '09, pp.296-305, 2009. ,
Stack Trace Analysis for Large Scale Debugging, 2007 IEEE International Parallel and Distributed Processing Symposium, pp.1-10, 2007. ,
Verifying collective MPI calls, PVM/MPI, pp.18-27, 2004. ,
Symbolic Analysis of Concurrency Errors in OpenMP Programs, PARCO, ser. ICPP, vol.00, pp.510-516, 2013. ,
Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers, pp.95-109, 2008. ,
, The GNU Compiler Collection
, The Intel Compiler
Unraveling data race detection in the intel thread checker, Int'l. Symp. on Computer Architecture, ser. ISCA, 2008. ,
Comparing Intel Thread Checker and Sun Thread Analyzer, PARCO, ser. Advances in Parallel Computing, vol.15, pp.669-676, 2007. ,
, Intel Inspector XE, 2017.
, Thread Analyzer user guide, 2010.