A. Aiken and D. Gay, Barrier inference, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '98, pp.342-354, 1998.
DOI : 10.1145/268946.268974

F. Larbey and M. Auguin, Opsila: an advanced simd for numerical analysis and signal processing, Microcomputers: developments in industry, business, and education, Ninth EUROMICRO Symposium on Microprocessing and Microprogramming, pp.311-318, 1983.

P. Chatarasi, J. Shirako, M. Kong, and V. Sarkar, An Extended Polyhedral Model for SPMD Programs and Its Use in Static Data Race Detection, pp.106-120, 2017.
DOI : 10.1007/978-3-540-85261-2_7

C. Chen, W. Huo, L. Li, X. Feng, and K. Xing, Can we make it faster? efficient mayhappen-in-parallel analysis revisited, 2012 13th International Conference on Parallel and Distributed Computing, Applications and Technologies, pp.59-64, 2012.
DOI : 10.1109/pdcat.2012.59

F. Darema, SPMD Computational Model, pp.1933-1943, 2011.

F. Darema, Spmd model: past, present and future, recent advances in parallel virtual machine and message passing interface, Proceedings of the 8th European PVM/MPI Users' Group Meeting, 2001.

J. Michael and . Flynn, Some computer organizations and their effectiveness, IEEE Trans. Comput, vol.21, issue.9, pp.948-960, 1972.

F. Gava and F. Loulergue, A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting, Future Generation Computer Systems, vol.21, issue.5, pp.665-671, 2005.
DOI : 10.1016/j.future.2004.05.006
URL : https://hal.archives-ouvertes.fr/hal-00110830

D. Gay, Barrier Inference, 1998.
DOI : 10.21236/ADA637072

M. D. Jonathan, . Hill, D. C. Mccoll, M. W. Stefanescu, K. Goudreau et al., Bsplib: The bsp programming library, Thanasis Tsantilas, and Rob H. Bisseling, pp.1947-1980, 1998.

A. Jakobsson, F. Dabrowski, and W. Bousdira, Replicated Synchronization for Imperative BSP Programs, International Conference on Computational Science, pp.535-544, 2017.
DOI : 10.1016/j.procs.2017.05.123
URL : https://hal.archives-ouvertes.fr/hal-01494832

G. Kahn, Natural semantics, pp.22-39, 1987.
DOI : 10.1007/BFb0039592
URL : https://hal.archives-ouvertes.fr/inria-00075953

A. Kamil and K. Yelick, Concurrency Analysis for Parallel Programs with Textually Aligned Barriers, Proceedings of the 18th International Conference on Languages and Compilers for Parallel Computing, LCPC'05, pp.185-199, 2006.
DOI : 10.1007/978-3-540-69330-7_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.2387

A. Kamil and K. Yelick, Enforcing Textual Alignment of Collectives Using Dynamic Checks, pp.368-382, 2010.
DOI : 10.1007/978-3-642-13374-9_25
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.9980

A. Knüpfer, T. Hilbrich, J. Protze, and J. Schuchart, Dynamic Analysis to Support Program Development with the Textually Aligned Property for OpenSHMEM Collectives, pp.105-118, 2015.
DOI : 10.1007/978-3-319-26428-8_7

F. Loulergue, F. Gava, and D. Billiet, Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction, LNCS, vol.3515, pp.1046-1054, 2005.
DOI : 10.1007/11428848_132
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.3833

F. Loulergue and G. Hains, Functional parallel programming with explicit processes: Beyond SPMD, pp.530-537, 1997.
DOI : 10.1007/BFb0002779

G. D. Plotkin, A structural approach to operational semantics, 1981.

G. Winskel, The Formal Semantics of Programming Languages: An Introduction, 1993.

K. Yelick, L. Semenzato, G. Pike, C. Miyamoto, B. Liblit et al., Titanium: a high-performance Java dialect, Concurrency: Practice and Experience, pp.11-13825, 1998.
DOI : 10.1002/(SICI)1096-9128(199809/11)10:11/13<825::AID-CPE383>3.0.CO;2-H
URL : http://HTTP.CS.Berkeley.EDU/~dmartin/cs267/readings/titanium.ps

A. N. Yzelman, R. H. Bisseling, D. Roose, and K. Meerbergen, MulticoreBSP for C: A High-Performance Library for Shared-Memory Parallel Programming, International Journal of Parallel Programming, vol.24, issue.5, pp.619-642, 2014.
DOI : 10.1002/cpe.1843

Y. Zhang and E. Duesterwald, Barrier matching for programs with textually unaligned barriers, Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming , PPoPP '07, pp.194-204, 2007.
DOI : 10.1145/1229428.1229472