Y. Zhang and E. Duesterwald, Barrier matching for programs with textually unaligned barriers, PPoPP, pp.194-204, 2007.

A. Jakobsson, F. Dabrowski, W. Bousdira, F. Loulergue, and G. Hains, Replicated synchronization for imperative bsp programs, International Conference on Computational Science, vol.108, pp.12-14, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01494832

A. Aiken and D. Gay, Barrier inference, Proc. ACM SIGPLAN-SIGACT Symp. on Principles of Prog. Lang. POPL, ACM, pp.342-354, 1998.

E. Saillard, P. Carribault, and D. Barthou, PARCOACH: combining static and dynamic validation of MPI collective communications, IJHPCA, vol.28, issue.4, pp.425-434, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01078762

P. Huchant, E. Saillard, D. Barthou, H. Brunie, and P. Carribault, PARCOACH Extension for a Full-Interprocedural Collectives Verification, Second International Workshop on Software Correctness for HPC Applications, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01937316

B. Scholz, C. Zhang, and C. Cifuentes, User-input dependence analysis via graph reachability, 2008.

Y. Sui and J. Xue, SVF: Interprocedural Static Value-flow Analysis in LLVM. CC, pp.265-266, 2016.

B. Hardekopf and C. Lin, Flow-sensitive Pointer Analysis for Millions of Lines of Code, CGO, pp.289-298, 2011.

Y. Sui, D. Ye, and J. Xue, Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis, IEEE Trans. Softw. Eng, vol.40, issue.2, pp.107-122, 2014.

S. Arzt, S. Rasthofer, C. Fritz, E. Bodden, A. Bartel et al., FlowDroid: Precise Context, Flow, Field, Objectsensitive and Lifecycle-aware Taint Analysis for Android Apps, SIGPLAN Not, vol.49, issue.6, pp.259-269, 2014.

O. Tripp, M. Pistoia, S. J. Fink, M. Sridharan, and O. Weisman, TAJ: Effective Taint Analysis of Web Applications, PLDI, pp.87-97, 2009.

U. Shankar, K. Talwar, J. S. Foster, and D. Wagner, Detecting Format String Vulnerabilities with Type Qualifiers, 2001.

D. E. Denning and P. J. Denning, Certification of Programs for Secure Information Flow, Commun. ACM, vol.20, issue.7, pp.504-513, 1977.

N. Heintze and J. G. Riecke, The SLam Calculus: Programming with Secrecy and Integrity, POPL, pp.365-377, 1998.

H. Yin, D. Song, M. Egele, C. Kruegel, and E. Kirda, Panorama: Capturing Systemwide Information Flow for Malware Detection and Analysis. CCS, pp.116-127, 2007.

A. Sabelfeld and A. C. Myers, Language-based Information-flow Security, IEEE J.Sel. A. Commun, vol.21, issue.1, pp.5-19, 2006.

I. Laguna and M. Schulz, Pinpointing Scale-dependent Integer Overflow Bugs in Large-scale Parallel Applications, SC, vol.19, p.12, 2016.

D. Ye, Y. Sui, and J. Xue, Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis, CGO, vol.154, p.164, 2014.

P. Feautrier, Dataflow Analysis of Array and Scalar References, International Journal of Parallel Programming, vol.20, issue.1, pp.23-53, 1991.

A. Slowinska and H. Bos, Pointless Tainting?: Evaluating the Practicality of Pointer Tainting, pp.61-74, 2009.

T. Bao, Y. Zheng, Z. Lin, X. Zhang, and D. Xu, Strict Control Dependence and Its Effect on Dynamic Information Flow Analyses. ISSTA, pp.13-24, 2010.

C. Cifuentes and B. Scholz, Parfait: Designing a Scalable Bug Checker, Proceedings of the 2008 Workshop on Static Analysis, pp.4-11, 2008.

S. F. Siegel and T. K. Zirkel, Automatic formal verification of mpi-based parallel programs, SIGPLAN Not, vol.46, issue.8, pp.309-310, 2011.

S. F. Siegel, M. Zheng, Z. Luo, T. K. Zirkel, A. V. Marianiello et al., Civl: the concurrency intermediate verification language, pp.1-12, 2015.

H. Ma, S. R. Diersen, L. Wang, C. Liao, D. Quinlan et al., Symbolic Analysis of Concurrency Errors in OpenMP Programs, ICPP, vol.00, pp.510-516, 2013.

T. A. Pham, T. Jeron, and M. Quinson, Verifying MPI Applications with Sim-GridMC, Correctness, 2017.

E. Ali, UPC-SPIN: a framework for the model checking of UPC programs, 2011.

A. Betts, N. Chong, A. Donaldson, S. Qadeer, and P. Thomson, GPUVerify: A Verifier for GPU Kernels, OOPSLA, pp.113-132, 2012.

T. Hilbrich, B. R. De-supinski, F. Hänsel, M. S. Müller, M. Schulz et al., Runtime MPI Collective Checking with Tree-based Overlay Networks, EuroMPI, pp.129-134, 2013.

J. Coyle, I. Roy, M. Kraeva, and G. R. Luecke, UPC-CHECK: a scalable tool for detecting run-time errors in Unified Parallel C, Computer Science -Research and Development, vol.28, issue.2, pp.203-209, 2013.

A. J. Ropelewski, . Nicholas, H. B. Jr, and R. R. Gonzalez-mendez, MPI-PHYLIP: Parallelizing Computationally Intensive Phylogenetic Analysis Routines for the Analysis of Large Protein Families, PLOS ONE, vol.5, issue.11, pp.1-8, 2010.

M. A. Heroux, D. W. Doerfler, P. S. Crozier, J. M. Willenbring, H. C. Edwards et al., Improving Performance via Mini-applications, 2009.