@. Sp-mz-, even-size zones within a problem class, increased number of zones as problem class grows ? LU-MZ -even-size zones within a problem class, a fixed number of zones for all problem classes The extension of the benchmark suite includes unstructured computation, parallel I/O, and data move- ment

@. Ua-unstructured, Adaptive mesh, dynamic and irregular memory access ? BT-IO -test of different parallel I/O techniques ? DC -Data Cube ? DT -Data Traffic

L. , Q. Hacc, N. , U. , A. Mcb et al., data-centric benchmarks (Graph500, Integer Sort, Hash and SPECint2006), skeleton benchmarks XSBench and MiniMADNESS) and microkernel benchmarks, this thesis we tested the following five Coral benchmarks: ? HACC: Compute intensity, random memory access, all-to-all communication

@. Amg2013, Algebraic Multi-Grid linear system solver for unstructured mesh physics packages

@. Lulesh, Shock hydrodynamics for unstructured meshes. Fine-grained loop level threading

B. Wilkinson and M. Allen, Parallel Programming: Techniques and Applications Using Networked Workstations and Parallel Computers, pp.13-22, 1999.

. Openmpi, Open source high performance computing, p.15

M. Intel and . Library, http://software.intel.com/en-us/intel-mpi-library, p.15

M. Pérache, H. Jourdren, and R. Namyst, MPC: A Unified Parallel Runtime for Clusters of NUMA Machines, Proceedings of the 14th international Euro-Par conference on Parallel Processing of Euro-Par '08, pp.78-88, 2008.
DOI : 10.1007/978-3-540-85451-7_9

M. Pérache, P. Carribault, and H. Jourdren, MPC-MPI: An MPI Implementation Reducing the Overall Memory Consumption, Recent Advances in Parallel Virtual Machine and Message Passing Interface, pp.94-103, 2009.
DOI : 10.1007/978-3-642-03770-2_16

P. Carribault, M. Pérache, and H. Jourdren, Enabling Low-Overhead Hybrid MPI/OpenMP Parallelism with MPC, pp.1-14
DOI : 10.1007/978-3-642-13217-9_1

P. Carribault, M. Pérache, and H. Jourdren, Thread-Local Storage Extension to Support Thread-Based MPI/OpenMP Applications, pp.80-93
DOI : 10.1145/563647.563656

D. William and . Gropp, Learning from the Success of MPI, Burkhard Monien, ViktorK. Prasanna, and Sriram Vajapeyam High Performance Computing ? HiPC, pp.81-92, 2001.

P. Charles, C. Grothoff, V. Saraswat, C. Donawa, A. Kielstra et al., X10, ACM SIGPLAN Notices, vol.40, issue.10, pp.519-538, 2005.
DOI : 10.1145/1103845.1094852

URL : https://hal.archives-ouvertes.fr/in2p3-00166974

L. Bradford, D. Chamberlain, . Callahan, P. Hans, and . Zima, Parallel programmability and the Chapel language, International Journal of High Performance Computing Applications, vol.21, issue.3, pp.291-312, 2007.

R. Chandra, L. Dagum, D. Kohr, D. Maydan, J. Mcdonald et al., Parallel programming in OpenMP, p.17, 2001.

K. G. Wilson, Grand challenges to computational science, Future Generation Computer Systems, vol.5, issue.2-3, pp.171-189, 1989.
DOI : 10.1016/0167-739X(89)90038-1

J. Dongarra and P. Beckman, The International Exascale Software Project roadmap, International Journal of High Performance Computing Applications, vol.25, issue.1, pp.3-60, 2011.
DOI : 10.1177/1094342010391989

S. Stephen and . Pawlowski, Exascale science: the next frontier in high performance computing, Proceedings of the 24th ACM International Conference on Supercomputing, ICS '10, pp.1-1, 2010.

E. Lusk and A. Chan, Early Experiments with the OpenMP/MPI Hybrid Programming Model, Intl. Conf. on OpenMP in a New Era of Parallelism, pp.36-47, 2008.
DOI : 10.1007/978-3-540-79561-2_4

A. Zendler, Advanced Concepts, Life Cycle Models and Tools for Object-oriented Software Development, p.20, 1997.

W. W. Royce, Managing the Development of Large Software Systems: Concepts and Techniques, Proceedings of the 9th International Conference on Software Engineering, ICSE '87, pp.328-338, 1987.

W. Barry and . Boehm, Spiral Development: Experience, Principles, and Refinements, Spiral Development Workshop, p.21, 2000.

R. W. Selby, Software Engineering: Barry W. Boehm's Lifetime Contributions to Software Development, Management, and Research (Practitioners), p.21, 2007.
DOI : 10.1109/9780470187562

M. Stitt, Debugging: Creative Techniques and Tools for Software Repair, pp.22-25, 1992.

A. Zeller, Why Programs Fail: A Guide to Systematic Debugging, pp.23-24, 2009.

D. Kranzlmüller, Event Graph Analysis for Debugging Massively Parallel Programs, pp.24-117, 2000.

E. Charles, D. P. Mcdowell, and . Helmbold, Debugging Concurrent Programs, ACM Comput. Surv, vol.21, issue.4, pp.593-622, 1989.

B. Krammer, M. S. Müller, and M. M. Resch, Runtime Checking of MPI Applications with MARMOT. ParCo, pp.25-60, 2005.

F. Stephen, G. Siegel, and . Gopalakrishnan, Formal analysis of message passing, Model Checking, and Abstract Interpretation, pp.2-18, 2011.

. Totalview-debugger, http://www.roguewave.com/products-services/totalview, pp.26-27

D. Allinea and . Debugger, http://www.allinea.com/products/ddt/features, pp.26-27

S. Siegel and T. Zirkel, Automatic Formal Verification of MPI Based Parallel Programs, PPoPP, pp.309-310, 2011.

F. Stephen and . Siegel, Verifying Parallel Programs with MPI-Spin, PVM/MPI, pp.13-14, 2007.

G. Bronevetsky, Communication-Sensitive Static Dataflow for Parallel Message Passing Applications, 2009 International Symposium on Code Generation and Optimization, pp.1-12, 2009.
DOI : 10.1109/CGO.2009.32

A. Vo, S. Aananthakrishnan, G. Gopalakrishnan, R. Bronis, M. De-de-supinski et al., 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.
DOI : 10.1109/SC.2010.7

B. Krammer, K. Bidmon, M. S. Müller, and M. M. Resch, MARMOT: An MPI analysis and checking tool, PARCO, volume 13 of Advances in Parallel Computing, pp.493-500, 2003.
DOI : 10.1016/S0927-5452(04)80063-7

S. Sharma, G. Gopalakrishnan, and R. Kirby, A survey of MPI related debuggers and tools, pp.28-96, 2007.

S. Jeffrey, . Vetter, R. Bronis, and . De-supinski, Dynamic Software Testing of MPI Applications with Umpire, Proceedings of the 2000 ACM/IEEE Conference on Supercomputing, SC '00, p.28, 2000.

G. Luecke, H. Chen, J. Coyle, J. Hoekstra, M. Kraeva et al., MPI-CHECK: a Tool for Checking Fortran 90 MPI Programs. Concurrency and Computation: Practice and Experience, pp.93-100, 2003.

T. Hilbrich, M. Schulz, B. R. De-supinski, and M. Müller, MUST: A Scalable Approach to Runtime Error Detection in MPI Programs, Parallel Tools Workshop, pp.53-66, 2009.
DOI : 10.1007/978-3-642-11261-4_5

T. Hilbrich, J. Protze, M. Schulz, R. Bronis, M. S. De-supinski et al., MPI runtime error detection with MUST: advances in deadlock detection, Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis, SC '12, pp.1-30

T. Hilbrich, F. Hänsel, M. Schulz, R. Bronis, M. S. De-supinski et al., Runtime MPI collective checking with tree-based overlay networks, Proceedings of the 20th European MPI Users' Group Meeting on, EuroMPI '13, pp.129-134, 2013.
DOI : 10.1145/2488551.2488570

T. Hilbrich, J. Protze, R. Bronis, M. De-de-supinski, M. S. Schulz et al., Intralayer Communication for Tree-Based Overlay Networks, 2013 42nd International Conference on Parallel Processing, pp.995-1003, 2013.
DOI : 10.1109/ICPP.2013.118

C. Falzone, A. Chan, E. Lusk, and W. Gropp, Collective Error Detection for MPI Collective Operations, Proceedings of the 12th European PVM/MPI Users' Group Conference on Recent Advances in Parallel Virtual Machine and Message Passing Interface, PVM/MPI'05, pp.138-147, 2005.
DOI : 10.1007/11557265_21

C. Falzone, A. Chan, E. L. Lusk, and W. Gropp, A Portable Method for Finding User Errors in the Usage of MPI Collective Operations, International Journal of High Performance Computing Applications, vol.21, issue.2, pp.155-165, 2007.
DOI : 10.1177/1094342007077860

J. Larsson, T. , and J. Worringen, Verifying Collective MPI Calls, Recent Advances in Parallel Virtual Machine and Message Passing Interface, pp.18-27, 2004.

C. Falzone, A. Chan, E. Lusk, and W. Gropp, A Portable Method for Finding User Errors in the Usage of MPI Collective Operations, International Journal of High Performance Computing Applications, vol.21, issue.2, pp.155-165, 2007.
DOI : 10.1177/1094342007077860

J. Desouza, B. Kuhn, R. Bronis, V. De-supinski, S. Samofalov et al., Automated, scalable debugging of MPI programs with Intel?? Message Checker, Proceedings of the second international workshop on Software engineering for high performance computing system applications , SE-HPCS '05, pp.78-82, 2005.
DOI : 10.1145/1145319.1145342

M. Süss and C. Leopold, Common Mistakes in OpenMP and How To Avoid Them A Collection of Best Practices

T. Cramer, C. Terboven, M. Müller, F. Münchhalfen, J. Protze et al., Classification of Common Errors in OpenMP Applications, Using and Improving OpenMP for Devices, Tasks, and More, pp.58-72, 2014.

H. Ma, S. Diersen, L. Wang, C. Liao, D. J. Quinlan et al., Symbolic Analysis of Concurrency Errors in OpenMP Programs, 2013 42nd International Conference on Parallel Processing, pp.510-516, 2013.
DOI : 10.1109/ICPP.2013.63

V. Basupalli, T. Yuki, S. Rajopadhye, A. Morvan, S. Derrien et al., ompVerify: Polyhedral Analysis for the OpenMP Programmer, Proceedings of the 7th International Conference on OpenMP in the Petascale Era, pp.37-53, 2011.
DOI : 10.1007/978-3-642-13217-9_2

URL : https://hal.archives-ouvertes.fr/hal-00752626

Y. Lin, Static Nonconcurrency Analysis of OpenMP Programs, LNCS, vol.4315, issue.64, pp.36-50, 2005.
DOI : 10.1007/978-3-540-68555-5_4

Y. Zhang, E. Duesterwald, and G. R. Gao, Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers, LNCS, vol.5234, issue.66, pp.95-109, 2007.
DOI : 10.1007/978-3-540-85261-2_7

Y. Kim, S. Song, and Y. Jun, ADAT: An Adaptable Dynamic Analysis Tool for Race Detection in OpenMP Programs, 2011 IEEE Ninth International Symposium on Parallel and Distributed Processing with Applications, pp.304-310, 2011.
DOI : 10.1109/ISPA.2011.49

Y. Kim, M. Park, S. Park, and Y. Jun, A Practical Tool for Detecting Races in OpenMP Programs, LNCS, vol.3606, pp.321-330, 2005.
DOI : 10.1007/11535294_28

Y. Meng, O. Ha, and Y. Jun, Dynamic Instrumentation for Nested Fork-join Parallelism in OpenMP Programs, Proceedings of the 4th International Conference on Future Generation Information Technology, FGIT'12, pp.154-158, 2012.
DOI : 10.1007/978-3-642-35585-1_21

P. Petersen and S. Shah, OpenMP Support in the Intel?? Thread Checker, LNCS, vol.2716, pp.1-12, 2003.
DOI : 10.1007/3-540-45009-2_1

Y. Kim, K. Daeyoung, and Y. Jun, An Empirical Analysis of Intel Thread Checker for Detecting Races in OpenMP Programs, Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008), pp.409-414, 2008.
DOI : 10.1109/ICIS.2008.79

C. Terboven, Comparing Intel Thread Checker and Sun Thread Analyzer, PARCO, volume 15 of Advances in Parallel Computing, pp.669-676, 2007.

J. Li, D. Hei, and L. Yan, Correctness Analysis Based on Testing and Checking for OpenMP Programs, 2009 Fourth ChinaGrid Annual Conference, pp.210-215, 2009.
DOI : 10.1109/ChinaGrid.2009.12

C. , E. Wu, A. Bolmarcich, M. Snir, D. Wootton et al., From Trace Generation to Visualization: A Performance Framework for Distributed Parallel Systems, ACM/IEEE Intl. Conf. on SuperComputing, p.32, 2000.

J. Cownie and S. Moore, Portable OpenMP debugging with TotalView, p.32, 2000.

S. Sameer, A. D. Shende, and . Malony, The Tau Parallel Performance System, Intl. J. on High Performance Computing Applications, vol.20, pp.287-331, 2006.

M. Geimer, F. Wolf, B. J. Wylie, D. Becker, D. Böhme et al., Recent Developments in the Scalasca Toolset, Intl. Workshop on Parallel Tools for High Performance Computing, p.32, 2010.
DOI : 10.1007/978-3-642-11261-4_4

H. Brunst and B. Mohr, Performance Analysis of Large-Scale OpenMP and Hybrid MPI/OpenMP Applications with Vampir NG, Lecture Notes in Computer Science, vol.4315, pp.5-14, 2005.
DOI : 10.1007/978-3-540-68555-5_1

D. Lecomber and P. Wohlschlegel, Debugging at Scale with Allinea DDT, Parallel Tools Workshop, pp.3-12, 2012.
DOI : 10.1007/978-3-642-37349-7_1

K. Fürlinger and M. Gerndt, ompP: A Profiling Tool for OpenMP, Intl. Conf. on OpenMP Shared Memory Parallel Programming, IWOMP'05/IWOMP'06, pp.15-23, 2008.
DOI : 10.1007/978-3-540-68555-5_2

W. Chiang, G. Szubzda, G. Gopalakrishnan, and R. Thakur, Dynamic Verification of Hybrid Programs, European MPI Users' Group Meeting Conference on Recent Advances in the Message Passing Interface, EuroMPI'10, pp.298-301, 2010.
DOI : 10.1007/978-3-642-15646-5_33

T. Hilbrich, M. S. Müller, and B. Krammer, Detection of Violations to the MPI Standard in Hybrid OpenMP/MPI Applications, Intl. Conf. on OpenMP in a New Era of Parallelism, pp.26-35, 2008.
DOI : 10.1007/978-3-540-79561-2_3

E. Saillard, P. Carribault, and D. Barthou, Combining static and dynamic validation of MPI collective communications, Proceedings of the 20th European MPI Users' Group Meeting on, EuroMPI '13, pp.117-122, 2013.
DOI : 10.1145/2488551.2488555

URL : https://hal.archives-ouvertes.fr/hal-01078762

E. Saillard, P. Carribault, and D. Barthou, PARCOACH: Combining static and dynamic validation of MPI collective communications, The International Journal of High Performance Computing Applications, vol.5, issue.2, pp.10-1177, 2014.
DOI : 10.1177/1094342014552204

URL : https://hal.archives-ouvertes.fr/hal-01078762

E. Saillard, P. Carribault, and D. Barthou, Static Validation of Barriers and Worksharing Constructs in OpenMP Applications, International Workshop on OpenMP, pp.73-86, 2014.
DOI : 10.1007/978-3-319-11454-5_6

URL : https://hal.archives-ouvertes.fr/hal-01078759

E. Saillard, P. Carribault, and D. Barthou, Static/Dynamic Validation of MPI Collective Communications in Multi-threaded Context, Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp.279-280, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01253204

E. Saillard, P. Carribault, and D. Barthou, MPI Thread-Level Checking for MPI+OpenMP Applications, EuroPar, pp.33-87, 2015.
DOI : 10.1007/978-3-662-48096-0_3

URL : https://hal.archives-ouvertes.fr/hal-01199718

S. Steven and . Muchnick, Advanced compiler design implementation, p.103, 1997.

J. Merrill and G. Generic, A New Tree Representation for Entire Functions, Proc. GCC Developers Summit, pp.171-180, 2003.

H. Jourden, HERA: A hydrodynamic AMR Platform for Multi-Physics Simulations, Adaptive Mesh Refinement -Theory and Applications, pp.283-294, 2003.

R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM TOPLAS, pp.451-490, 1991.
DOI : 10.1145/115372.115320

M. Wolff, S. Jaouen, and H. Jourdren, High-order dimensionally split lagrange-remap schemes for ideal magnetohydrodynamics, Discrete and Continuous Dynamical Systems Series S. NMCF, p.60, 2009.

P. Balaji, D. Buntinas, D. Goodell, W. Gropp, S. Kumar et al., MPI on a Million Processors, Proceedings of the 16th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface, pp.20-30, 2009.
DOI : 10.1007/978-3-642-03770-2_9

J. M. Bull, J. P. Enright, X. Guo, C. Maynard, and F. Reid, Performance Evaluation of Mixed-Mode OpenMP/MPI Implementations, International Journal of Parallel Programming, vol.9, issue.2???3, pp.5-6396, 2010.
DOI : 10.1007/s10766-010-0137-2

L. Smith and M. Bull, Development of Mixed Mode MPI, OpenMP Applications. Sci. Program, vol.9, issue.23, pp.83-98, 2001.

H. Lieberman, Introduction, Communications of the ACM, vol.40, issue.4, pp.26-29, 1997.
DOI : 10.1145/248448.248455

J. Jaeger, E. Saillard, P. Carribault, and D. Barthou, Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH, Proceedings of the 22nd European MPI Users' Group Meeting on ZZZ, EuroMPI '15, p.87, 2015.
DOI : 10.1145/2802658.2802674

URL : https://hal.archives-ouvertes.fr/hal-01252321

S. Gulwani and A. Tiwari, Computing Procedure Summaries for Interprocedural Analysis, European Symp. on Programming, pp.253-267, 2007.
DOI : 10.1007/978-3-540-71316-6_18

X. Zhang, R. Mangal, M. Naik, and H. Yang, Hybrid Top-down and Bottom-up Interprocedural Analysis, Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, pp.249-258, 2014.

X. Zhang, R. Mangal, M. Naik, and H. Yang, Hybrid top-down and bottom-up interprocedural analysis, ACM SIGPLAN Notices, vol.49, issue.6, pp.249-258, 2014.
DOI : 10.1145/2666356.2594328

I. Roy, G. R. Luecke, J. Coyle, and M. Kraeva, A scalable deadlock detection algorithm for UPC collective operations, Proceedings of the Fifth Conference on Partitioned Global Address Space Programming Models, PGAS'13, pp.2-15, 2013.

A. Ebnenasir, UPC-SPIN: A Framework for the Model Checking of UPC Programs, Proceedings of the Fifth Conference on Partitioned Global Address Space Programming Models, p.95, 2011.

L. Summary, SNAP summary. https://asc.llnl.gov/CORAL-benchmarks, pp.106-106

M. Sato, T. Hanawa, M. S. Müller, B. M. Chapman, and B. R. De-supinski, Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More, Proceedings, p.107, 2010.
DOI : 10.1007/978-3-642-13217-9

B. M. Chapman, W. D. Gropp, K. Kumaran, and M. S. Müller, OpenMP in the Petascale Era -7th International Workshop on OpenMP, Proceedings, p.108, 2011.

C. Instrumented, 4(b) and 4.5(a) (Algorithm 11), p.45

M. Classification and .. Debugging-tools, T: Trace-based, OD: Online dynamic analysis, L: MPI library, p.29