S. Abstract, 140 5.7 Cost algebra definitions 145 5.8 Computation of the size of data 145 5.9 Generic evaluation rules with costs 146 5.10 bsp evaluation rules with costs 147 5.11 Local evaluation rules with costs 148 5.12 multi-bsp evaluation rules with costs 148 5.13 The multi-ml compilation toolchain A multi-ml toplevel configuration file, p.159

M. Alaniz, S. Nesmachnow, B. Goglin, S. Iturriaga, V. G. Gosta et al., MBSPDiscover: An Automatic Benchmark for MultiBSP Performance Analysis, High Performance Computing, pp.158-172, 2014.
DOI : 10.1007/978-3-662-45483-1_12
URL : https://hal.archives-ouvertes.fr/hal-01062528

A. Alexandrov, M. F. Ionescu, K. E. Schauser, and C. Scheiman, LogGP, Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures , SPAA '95, pp.95-105, 1995.
DOI : 10.1145/215399.215427

M. Helmut and A. , Using Algorithmic Skeletons for Efficient Grid Computing with Predictable Performance, p.18, 2007.

J. Anvik, S. Macdonald, D. Szafron, J. Schaeffer, S. Bromling et al., Generating parallel programs from the wavefront design pattern, Proceedings 16th International Parallel and Distributed Processing Symposium, p.43, 2002.
DOI : 10.1109/IPDPS.2002.1016487

M. Armbrust, A. Fox, R. Griffith, A. D. Joseph, R. Katz et al., A view of cloud computing, Communications of the ACM, vol.53, issue.4, pp.50-58, 2010.
DOI : 10.1145/1721654.1721672

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-540-30218-6_28

J. Berthold, M. Dieterle, O. Lobachev, and R. Loogen, Parallel FFT with Eden Skeletons, Parallel Computing Technologies. Ed. by Victor Malyshkin. Lecture Notes in Computer Science, vol.15, issue.2, pp.73-83, 2009.
DOI : 10.1145/321450.321457
URL : http://www.mathematik.uni-marburg.de/~lobachev/spica/papers/lobachev-pact09-ext.pdf

Y. Bertot and P. Castéran, Interactive Theorem Proving and Program Development -Coq'Art: The Calculus of Inductive Constructions, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00344237

R. H. Bisseling, Parallel Scientific Computation: A Structured Approach Using BSP and MPI, pp.13-15, 2004.
DOI : 10.1093/acprof:oso/9780198529392.001.0001

E. Guy and . Blelloch, NESL: A Nested Data-Parallel Language, p.62, 1992.

E. Guy, . Blelloch, T. Jeremy, P. B. Fineman, J. Gibbons et al., Internally Deterministic Parallel Algorithms Can Be Fast, Conference: Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp.2012-2022

L. Robert, . Bocchino-jr, S. Vikram, S. V. Adve, M. Adve et al., Parallel Programming Must Be Deterministic by Default, Proceedings of the First USENIX Conference on Hot Topics in Parallelism. HotPar'09, pp.4-4, 2009.

O. Bonorden, Versatility of Bulk Synchronous Parallel Computing : From the Heterogeneous Cluster to the System on Chip, p.22, 2008.

O. Bonorden, B. Juurlink, I. Ingo-von-otte, and . Rieping, The Paderborn University BSP (PUB) library, Parallel Computing, vol.29, issue.2, pp.187-207, 2003.
DOI : 10.1016/S0167-8191(02)00218-1
URL : http://ce.et.tudelft.nl/publicationfiles/804_132_pub.ps

G. Hora?iu, B. , and H. Kuchen, Efficient High-Level Parallel Programming, In: Theoretical Computer Science, vol.196, issue.1 3, pp.71-107, 1998.

M. Bourgoin, E. Chailloux, and J. L. Lamotte, SPOC: GPGPU PROGRAMMING THROUGH STREAM PROCESSING WITH OCAML, Parallel Processing Letters 22, pp.1240007-1240014, 2012.
DOI : 10.1142/S0129626408003284
URL : https://hal.archives-ouvertes.fr/hal-01273213

W. Bousdira, F. Gava, L. Gesbert, F. Loulergue, and G. Petiot, Functional Parallel Programming with Revised Bulk Synchronous Parallel ML, 2010 First International Conference on Networking and Computing, pp.191-196, 2010.
DOI : 10.1109/IC-NC.2010.57
URL : https://hal.archives-ouvertes.fr/inria-00515223

F. Cappello, P. Fraigniaud, B. Mans, and A. L. Rosenberg, HiHCoHP-Toward a realistic communication model for hierarchical hyperclusters of heterogeneous processors, Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001, p.37, 2001.
DOI : 10.1109/IPDPS.2001.924978

F. Cappello, A. Guermouche, and M. Snir, On Communication Determinism in Parallel HPC Applications, 2010 Proceedings of 19th International Conference on Computer Communications and Networks, pp.1-8, 2010.
DOI : 10.1109/ICCCN.2010.5560143

F. Cappello, P. Fraigniaud, B. Mans, and A. L. Rosenberg, AN ALGORITHMIC MODEL FOR HETEROGENEOUS HYPER-CLUSTERS: RATIONALE AND EXPERIENCE, International Journal of Foundations of Computer Science, vol.16, issue.02, pp.195-215, 2005.
DOI : 10.1145/79173.79181

L. Cardelli and A. D. Gordon, Mobile ambients, Theoretical Computer Science, vol.240, issue.1, pp.177-213, 2000.
DOI : 10.1016/S0304-3975(99)00231-5
URL : https://doi.org/10.1016/s1571-0661(05)80699-1

J. Nicholas, D. Carriero, . Gelernter, G. Timothy, . Mattson et al., The Linda Alternative to Message-Passing Systems, Parallel Computing. Message Passing Interfaces, pp.633-655, 1994.

H. Cha and D. Lee, H-BSP: A Hierarchical BSP Computation Model, The Journal of Supercomputing, vol.18, issue.2, pp.179-200, 2001.
DOI : 10.1023/A:1008113017444

M. T. Manuel, G. Chakravarty, R. Keller, W. Lechtchinsky, and . Pfannenstiel, Nepal -Nested Data Parallelism in Haskell, Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing. Euro-Par '01, pp.524-534, 2001.

M. T. Manuel, R. Chakravarty, S. P. Leshchinskiy, G. Jones, S. Keller et al., Data Parallel Haskell: A Status Report, In: Declarative Aspects of Multicore Programming, p.63, 2007.

A. Chan, F. Dehne, and R. Taylor, CGMGRAPH/CGMLIB: Implementing and Testing CGM Graph Algorithms on PC Clusters and Shared Memory Machines, The International Journal of High Performance Computing Applications, vol.19, issue.1, pp.81-97, 2005.
DOI : 10.1145/79173.79181
URL : http://www.scs.carleton.ca/~achan/papers/EuroPVMMPI.pdf

B. Chapman, Using OpenMP: Portable Shared Memory Parallel Programming, p.5, 2008.

A. Charguéraud, Improving Type Error Messages in OCaml, Electronic Proceedings in Theoretical Computer Science 198, pp.80-97, 2015.
DOI : 10.1145/2535838.2535870

P. Ciechanowicz and H. Kuchen, Enhancing Muesli's Data Parallel Skeletons for Multi-core Computer Architectures, 2010 IEEE 12th International Conference on High Performance Computing and Communications (HPCC)
DOI : 10.1109/HPCC.2010.23

P. Ciechanowicz, M. Poldner, and H. Kuchen, The Münster Skeleton Library Muesli ? A Comprehensive Overview, Tech. Rep, p.45, 2009.

M. Cole, Algorithmic Skeletons, p.3, 1989.
DOI : 10.1007/978-1-4471-0841-2_13

M. Cole, Bringing skeletons out of the closet: a pragmatic manifesto for skeletal parallel programming, Parallel Computing, vol.30, issue.3, pp.389-406, 2004.
DOI : 10.1016/j.parco.2003.12.002

V. G. Costa, A. M. Printista, and M. Marin, A Parallel Search Engine with BSP, Third Latin American Web Congress (LA-WEB'2005), pp.10-22, 2005.
DOI : 10.1109/LAWEB.2005.7
URL : http://www.dcc.uchile.cl/~mmarin/papers/laweb05.pdf

D. Culler, R. Karp, D. Patterson, A. Sahay, K. E. Schauser et al., LogP: Towards a Realistic Model of Parallel Computation, Proceedings of the Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. PPOPP '93, pp.1-12, 1993.

R. Da, R. Righi, L. Lima-pilla, and N. Maillard, Alexandre Carissimi, and Philippe Olivier Alexandre Navaux, Observing the Impact of Multiple Metrics and Runtime Adaptations on Bsp Process Rescheduling " . In: Parallel Processing Letters

L. Damas and R. Milner, Principal type-schemes for functional programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '82, pp.207-212, 1982.
DOI : 10.1145/582153.582176
URL : http://web.cs.wpi.edu/~cs4536/c12/milner-damas_principal_types.pdf

M. Danelutto and M. Torquati, Structured Parallel Programming with ???core??? FastFlow, In: Central European Functional Programming School. Lecture Notes in Computer Science, vol.8606, pp.29-75, 2015.
DOI : 10.1007/978-3-319-15940-9_2

O. Danvy and J. Midtgaard, Abstracting abstract machines, Communications of the ACM, vol.54, issue.9, pp.91-131, 2011.
DOI : 10.1145/1995376.1995399

J. Darlington, A. J. Field, P. G. Harrison, P. H. Kelly, D. W. Sharp et al., Parallel programming using skeleton functions, Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe. PARLE '93, pp.146-160, 1993.
DOI : 10.1007/3-540-56891-3_12
URL : http://www-ala.doc.ic.ac.uk/~phjk/Publications/PllProgUsingSkeletonFunctions..Parle93.ps.gz

J. Dean and S. Ghemawat, MapReduce, Communications of the ACM, vol.51, issue.1, pp.107-113, 2008.
DOI : 10.14293/S2199-1006.1.SOR-UNCAT.AUNHT8.v1.RBZFIB

N. Deo and P. Micikevicius, Coarse-Grained Parallelization of Distance-Bound Smoothing for the Molecular Conformation Problem, Lecture Notes in Computer Science, pp.55-66, 2002.
DOI : 10.1007/3-540-36385-8_6

W. Edsger and . Dijkstra, Letters to the Editor: Go to Statement Considered Harmful, Commun. ACM, vol.11, issue.3 2, pp.147-148, 1968.

D. Doligez and G. Gonthier, Portable, unobtrusive garbage collection for multiprocessor systems, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '94, pp.70-83, 1994.
DOI : 10.1145/174675.174673

N. Drosinos and N. Koziris, Performance comparison of pure MPI vs hybrid MPI-OpenMP parallelization models on SMP clusters, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings., pp.15-22, 2004.
DOI : 10.1109/IPDPS.2004.1302919

R. Duncan, A survey of parallel computer architectures, Computer, vol.23, issue.2, pp.5-16, 1990.
DOI : 10.1109/2.44900

J. Eisenbiegler, W. Löwe, and W. Zimmermann, BSP, LogP, and oblivious programs, Lecture Notes in Computer Science, pp.865-874, 1998.
DOI : 10.1007/BFb0057942

J. Enmyren and C. W. Kessler, SkePU, Proceedings of the fourth international workshop on High-level parallel programming and applications, HLPP '10, pp.5-14, 2010.
DOI : 10.1145/1863482.1863487

J. Falcou, J. Sérot, T. Chateau, and J. T. Lapresté, Quaff: efficient C++ design for parallel skeletons, Parallel Computing, vol.32, issue.7-8, pp.604-615, 2006.
DOI : 10.1016/j.parco.2006.06.001
URL : https://hal.archives-ouvertes.fr/hal-00167412

J. T. Feo, D. C. Cann, and R. R. Oldehoeft, A report on the sisal language project, Journal of Parallel and Distributed Computing, vol.10, issue.4, pp.349-366, 1990.
DOI : 10.1016/0743-7315(90)90035-N

M. Fluet, M. Rainey, J. Reppy, and A. Shaw, Implicitly threaded parallelism in Manticore, Journal of Functional Programming, vol.24, issue.5-6, pp.537-576, 2010.
DOI : 10.1145/349214.349230
URL : http://cs.uchicago.edu/~mrainey/papers/icfp08-datapar.pdf

M. Fluet, M. Rainey, J. Reppy, A. Shaw, and Y. Xiao, Manticore, Proceedings of the 2007 workshop on Declarative aspects of multicore architectures , DAMP '07, pp.37-44, 2007.
DOI : 10.1145/1248648.1248656

J. Michael and . Flynn, Some Computer Organizations and Their Effectiveness, IEEE Trans. Comput, vol.21, issue.9, pp.948-960, 1972.

J. Fortin, BSP-WHY, Proceedings of the fourth international workshop on High-level parallel programming and applications, HLPP '10, pp.2013-55
DOI : 10.1145/1863482.1863491
URL : https://hal.archives-ouvertes.fr/tel-00974977

J. Fortin and F. Gava, BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation, International Journal of Parallel Programming, vol.24, issue.5, pp.1-24, 2015.
DOI : 10.1007/11560647_13

J. Fortin and F. Gava, Towards Mechanised Semantics of HPC: The BSP with Subgroup Synchronisation Case, Algorithms and Architectures for Parallel Processing . International Conference on Algorithms and Architectures for Parallel Processing, pp.222-237, 2015.
DOI : 10.1007/978-3-540-68111-3_119

S. Fortune and J. Wyllie, Parallelism in random access machines, Proceedings of the tenth annual ACM symposium on Theory of computing , STOC '78, pp.114-118, 1978.
DOI : 10.1145/800133.804339
URL : http://ecommons.cornell.edu/bitstream/1813/7454/1/78-334.pdf

I. Foster, R. Olson, and S. Tuecke, Productive Parallel Programming: The PCN Approach, Scientific Programming, vol.1, issue.1, pp.51-66, 1992.
DOI : 10.1155/1992/519840

M. I. Frank, A. Agarwal, and M. K. Vernon, LoPC: Modeling Contention in Parallel Algorithms, Proceedings of the Sixth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. PPOPP '97, pp.276-287, 1997.

P. Fritzson, Principles of Object-Oriented Modeling and Simulation with Modelica 2.1, p.61, 2003.
DOI : 10.1109/9780470545669

J. Garrigue, Relaxing the Value Restriction, pp.196-213, 2004.
DOI : 10.1007/978-3-540-24754-8_15
URL : http://www.math.nagoya-u.ac.jp/~garrigue/papers/morepoly-long.pdf

F. Gava, FORMAL PROOFS OF FUNCTIONAL BSP PROGRAMS, Parallel Processing Letters, vol.6, issue.03, pp.365-376, 2003.
DOI : 10.1145/79173.79181
URL : https://hal.archives-ouvertes.fr/hal-00005601

F. Gava, Parallel I/O in Bulk-Synchronous Parallel ML, Computational Science -ICCS 2004. International Conference on Computational Science, pp.331-338, 2004.
DOI : 10.1007/978-3-540-24688-6_45

F. Gava and F. Loulergue, A FUNCTIONAL LANGUAGE FOR DEPARTMENTAL METACOMPUTING, Parallel Processing Letters 15 (03 Sept. 1, 2005), pp.289-304
DOI : 10.1145/79173.79181
URL : https://hal.archives-ouvertes.fr/hal-00110829

D. Gelernter and N. Carriero, Coordination languages and their significance, Communications of the ACM, vol.35, issue.2, pp.97-107, 1992.
DOI : 10.1145/129630.129635

A. V. Gerbessiotis, Extending the BSP model for multi-core and out-of-core computing: MBSP, Parallel Computing, vol.41, issue.40, pp.90-102, 2015.
DOI : 10.1016/j.parco.2014.12.002

L. Gesbert, Développement Systématique et Sûreté d'exécution En Programmation Parallèle Structurée, p.118, 2009.

L. Gesbert, F. Gava, F. Loulergue, and F. Dabrowski, Bulk Synchronous Parallel ML with Exceptions, Future Generation Computer Systems, vol.263, issue.121, pp.486-490, 2010.
DOI : 10.1007/978-0-387-69858-8_4
URL : https://hal.archives-ouvertes.fr/inria-00452527

L. Gesbert, Z. Hu, F. Loulergue, K. Matsuzaki, and J. Tesson, Systematic Development of Correct Bulk Synchronous Parallel Programs, 2010 International Conference on Parallel and Distributed Computing, Applications and Technologies, pp.334-340, 2010.
DOI : 10.1109/PDCAT.2010.86
URL : https://hal.archives-ouvertes.fr/hal-00512867

P. B. Gibbons, A more practical PRAM model, Proceedings of the first annual ACM symposium on Parallel algorithms and architectures , SPAA '89, pp.158-168, 1989.
DOI : 10.1145/72935.72953
URL : http://www.csd.uwo.ca/~moreno/CS433-CS9624/Resources/p158-gibbons.pdf

S. Gorlatch, Send-receive considered harmful, ACM Transactions on Programming Languages and Systems, vol.26, issue.1, pp.47-56, 2004.
DOI : 10.1145/963778.963780

C. Grelck and S. Scholz, Classes and Objects as Basis for I/O in SAC, Proceedings of the 7th International Workshop on Implementation of Functional Languages (IFL'95), pp.30-44, 1995.

G. Hains, Subset Synchronization in BSP Computing, PDPTA'98 International Conference on Parallel and Distributed Processing Techniques and Applications, pp.242-246, 1998.

H. Mattsson and C. Kessler, Towards a Bulk-Synchronous Distributed Shared Memory Programming Environment for Grids, Applied Parallel Computing. State of the Art in Scientific Computing. International Workshop on Applied Parallel Computing, pp.519-526, 2004.
DOI : 10.1007/11558958_61

K. Hamidouche, F. M. Mendonca, J. Falcou, and D. Etiemble, Parallel Biological Sequence Comparison on Heterogeneous High Performance Computing Platforms with BSP++, 2011 23rd International Symposium on Computer Architecture and High Performance Computing, pp.136-143, 2011.
DOI : 10.1109/SBAC-PAD.2011.16

K. Hamidouche, A. Borghi, P. Esterie, J. Falcou, and S. Peyronnet, Three High Performance Architectures in the Parallel APMC Boat, 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology, pp.20-27, 2010.
DOI : 10.1109/PDMC-HiBi.2010.12

K. Hamidouche, J. Falcou, and D. Etiemble, A Framework for an Automatic Hybrid MPI+OpenMP Code Generation, Proceedings of the 19th High Performance Computing Symposia. HPC '11, pp.48-55, 2011.

K. Hamidouche, F. M. Mendonca, J. Falcou, A. C. , M. Alves-de-melo et al., Parallel Smith-Waterman Comparison on Multicore and Manycore Computing Platforms with BSP++, International Journal of Parallel Programming, vol.17, issue.2, pp.111-136, 2013.
DOI : 10.1145/79173.79181

K. Hammond, Glasgow Parallel Haskell (GpH) . In: Encyclopedia of Parallel Computing, pp.768-779, 2011.

K. Hammond, Parallel Functional Programming: An Introduction, International Symposium on Parallel Symbolic Computation, pp.46-62, 1994.

K. Hammond, The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour In: Implementation of Functional Languages, Lecture Notes in Computer Science, pp.122-139, 2000.

B. Hendrickson, Computational science: Emerging opportunities and challenges, Journal of Physics: Conference Series, vol.180, issue.22, pp.12013-12014, 2009.
DOI : 10.1088/1742-6596/180/1/012013
URL : http://iopscience.iop.org/article/10.1088/1742-6596/180/1/012013/pdf

D. S. Henty, Performance of Hybrid Message-Passing and Shared-Memory Parallelism for Discrete Element Modeling, ACM/IEEE SC 2000 Conference (SC'00), p.7, 2000.
DOI : 10.1109/SC.2000.10005

T. Heywood and S. Ranka, A practical hierarchical model of parallel computation I. The model, Journal of Parallel and Distributed Computing, vol.16, issue.3, pp.212-232, 1992.
DOI : 10.1016/0743-7315(92)90034-K

J. M. Hill and D. B. Skillicorn, Practical barrier synchronisation, Proceedings of the Sixth Euromicro Workshop on Parallel and Distributed Processing, PDP '98 -, pp.438-444, 1998.
DOI : 10.1109/EMPDP.1998.647231
URL : http://www.qucis.queensu.ca/Department/home/skill/./barriers.ps

M. D. Jonathan, . Hill, D. C. Mccoll, M. W. Stefanescu, K. Goudreau et al., BSPlib: The BSP Programming Library, Parallel Computing, vol.2414, issue.52, pp.1947-1980, 1998.

K. Hinsen, H. Petter-langtangen, and O. Skavhaug, Using B SP and Python to simplify parallel programming, Future Generation Computer Systems, vol.22, issue.1-2, pp.123-157, 2006.
DOI : 10.1016/j.future.2003.09.003

C. A. Hoare, J. Misra, G. T. Leavens, and N. Shankar, The verified software initiative, ACM Computing Surveys, vol.41, issue.4, pp.1-22, 2009.
DOI : 10.1145/1592434.1592439

J. Hoffman, D. Ankush, and W. Shu-chun, Towards Automatic Resource Bound Analysis for OCaml, Proceedings of the 44th Symposium on Principles of Programming Languages, 2017.

Q. Hou, K. Zhou, and B. Guo, BSGP: Bulk-Synchronous GPU Programming, ACM SIGGRAPH 2008 Papers. SIGGRAPH '08, pp.1-19, 2008.

G. Huet, Résolution d'équations Dans Des Langages d'ordre 1, p.123, 1976.

V. Janjic, C. M. Brown, M. Neunhoeffer, K. Hammond, S. A. Linton et al., Space Exploration Using Parallel Orbits: A Study in Parallel Symbolic Computing, In: Accelerating Computational Science and EngineeringCSE), vol.25, pp.225-232, 2014.

Y. Jiang, W. Tong, and W. Zhao, Resource Load Balancing Based on Multi-agent in ServiceBSP Model, Proceedings of the 7th International Conference on Computational Science, pp.42-49, 2007.
DOI : 10.1007/978-3-540-72588-6_6

D. Johansson, M. Eriksson, and C. W. Kessler, Bulk-Synchronous Parallel Computing on the CELL Processor, In: PARS, p.61, 2007.

H. H. Ben, H. A. Juurlink, and . Wijshoff, The E-BSP Model: Incorporating General Locality and Unbalanced Communication into the BSP Model, Euro-Par'96 Parallel Processing, pp.339-347, 1996.

Y. Karasawa and H. Iwasaki, A Parallel Skeleton Library for Multi-core Clusters, 2009 International Conference on Parallel Processing, pp.84-91, 2009.
DOI : 10.1109/ICPP.2009.18

H. J. Paul and . Kelly, Functional Programming for Loosely-Coupled Multiprocessors In: Functional Programming for Loosely-Coupled Multiprocessors. Research Monographs in Parallel and Distributed Computing, pp.44-63, 1989.

C. W. Kessler, Managing distributed shared arrays in a bulk-synchronous parallel programming environment, Concurrency and Computation: Practice and Experience, pp.133-153, 2004.
DOI : 10.1002/cpe.768

C. W. Kessler, NestStep: Nested Parallelism and Virtual Shared Memory for the BSP Model, The Journal of Supercomputing, vol.173, pp.245-262, 2000.

T. Kielmann and S. Gorlatch, Bandwidth-Latency Models (BSP, LogP), pp.107-112, 2011.
DOI : 10.1007/978-0-387-09766-4_189
URL : http://www.cs.vu.nl/%7Ekielmann/papers/encyclopedia-bsp-logp.pdf

P. Krusche and A. Tiskin, New algorithms for efficient parallel string comparison, Proceedings of the 22nd ACM symposium on Parallelism in algorithms and architectures, SPAA '10, pp.209-216, 2010.
DOI : 10.1145/1810479.1810521

A. Kukanov, The Foundations for Scalable Multi-Core Software in Intel Threading Building Blocks, In: Intel Technology Journal, vol.11, issue.4 5, pp.309-322, 2007.

E. A. Lee, The Problem with Threads, Computer, vol.39, issue.5, pp.33-42, 2006.
DOI : 10.1109/MC.2006.180

C. Li and G. Hains, SGL: towards a bridging model for heterogeneous hierarchical platforms, International Journal of High Performance Computing and Networking, vol.7, issue.2, pp.139-151, 2012.
DOI : 10.1504/IJHPCN.2012.046371

X. Li, P. Lu, J. Schaeffer, J. Shillington, P. S. Wong et al., On the versatility of parallel sorting by regular sampling, Parallel Computing, vol.19, issue.10, pp.1079-1103, 1993.
DOI : 10.1016/0167-8191(93)90019-H

H. Loidl, F. Rubio, N. Scaife, K. Hammond, S. Horiguchi et al., Comparing Parallel Functional Languages: Programming and Performance, Higher Order Symbolic Computing, pp.203-251, 2003.

R. Loogen, Y. Ortega-mallén, and R. Peña-marí, Parallel functional programming in Eden, Journal of Functional Programming, vol.15, issue.3, pp.431-475, 2005.
DOI : 10.1017/S0956796805005526

B. M. Maggs, L. R. Matheson, and R. E. Tarjan, Models of parallel computation: a survey and synthesis, Proceedings of the Twenty-Eighth Hawaii International Conference on System Sciences, pp.61-70, 1995.
DOI : 10.1109/HICSS.1995.375476

G. Malewicz, M. H. Austern, J. Aart, J. C. Bik, I. Dehnert et al., Pregel: A System for Large-Scale Graph Processing, Proceedings of the 2010 ACM SIGMOD International Conference on Management of Data. SIGMOD '10, pp.135-146, 2010.

L. Mandel and L. Maranget, Programming in JoCaml (Tool Demonstration), 17th European Symposium on Programming, pp.108-111, 2008.
DOI : 10.1007/978-3-540-78739-6_8

C. Martel and A. Raghunathan, Asynchronous PRAMS with Memory Latency, Journal of Parallel and Distributed Computing, vol.23, issue.1, pp.10-26, 1994.
DOI : 10.1006/jpdc.1994.1115

M. R. Jeremy, A. Martin, and . Tiskin, BSP Modelling of Two Tiered Architectures, Proceedings of {W}o{TUG}-22: Architectures, Languages and Techniques for Concurrent Systems, pp.47-56, 1999.

M. R. Jeremy, A. Martin, and . Tiskin, Dynamic BSP: Towards a Flexible Approach to Parallel Computing over the Grid, Communicating Process Architectures, pp.219-226, 2004.

E. Meijer, M. Fokkinga, and R. Paterson, Functional programming with bananas, lenses, envelopes and barbed wire, pp.124-144, 1991.
DOI : 10.1007/3540543961_7
URL : http://doc.utwente.nl/56289/1/meijer91functional.pdf

R. Milner, A theory of type polymorphism in programming, Journal of Computer and System Sciences, vol.17, issue.3, pp.348-375, 1978.
DOI : 10.1016/0022-0000(78)90014-4

R. Milner, Communicating and Mobile Systems: The Pi-Calculus, p.6, 1999.

J. Nickolls, I. Buck, M. Garland, and K. Skadron, Scalable Parallel Programming with CUDA, pp.40-53, 2008.
DOI : 10.1145/1401132.1401152

M. Odersky, M. Sulzmann, and M. Wehr, Type inference with constrained types, Theory and Practice of Object Systems, vol.X, issue.1, pp.35-55, 1999.
DOI : 10.1007/3-540-61739-6_52
URL : http://www.cs.yale.edu/homes/sulzmann-martin/publications/tapos.ps

C. Ouwehand, P. Hijma, and W. J. Fokkink, GPU Programming in Functional Languages A Comparison of Haskell GPU Embedded Domain Specific Languages, 2013.

F. Peschanski, Parallel computing with the Pi-calculus, Proceedings of the sixth workshop on Declarative aspects of multicore programming, DAMP '11, pp.45-54, 2011.
DOI : 10.1145/1926354.1926363
URL : https://hal.archives-ouvertes.fr/hal-00628492

C. Benjamin and . Pierce, Advanced Topics in Types and Programming Languages, p.122, 2002.

F. Pottier and D. Rémy, The Essence of ML Type Inference Advanced Topics in Types and Programming Languages, pp.10-101, 2003.

R. , R. Righi, L. L. Pilla, A. Carissimi, P. Navaux et al., MigBSP: A Novel Migration Model for Bulk-Synchronous Parallel Processes Rescheduling, 11th IEEE International Conference on High Performance Computing and Communications 11th IEEE International Conference on High Performance Computing and Communications, pp.585-590, 2009.

C. Rochange, A. Bonenfant, P. Sainrat, M. Gerdes, J. Wolf et al., WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core " . In: 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010) The printed version of the WCET'10 proceedings are published by OCG (www.ocg.at), OpenAccess Series in Informatics (OASIcs): Schloss Dagstuhl?Leibniz-Zentrum fuer Informatik, pp.90-100, 2010.

A. Rossberg, Typed Open Programming : A Higher-Order, Typed Approach to Dynamic Modularity and Distribution, p.64, 2007.

K. A. Fatima, L. T. Salem, and . Yang, Parallel Methods for Absolute Irreducibility Testing, In: The Journal of Supercomputing, vol.463, pp.181-212, 2008.

A. Savadi and H. Deldari, A Bridging Model for Branch-and-Bound Algorithms on Multi-core Architectures, 2012 Fifth International Symposium on Parallel Architectures, Algorithms and Programming, pp.235-241, 2012.
DOI : 10.1109/PAAP.2012.41

A. Savadi and H. Deldari, Measurement of the latency parameters of the Multi-BSP model: a multicore benchmarking approach, The Journal of Supercomputing, vol.77, issue.1, pp.565-584, 2014.
DOI : 10.1145/1248377.1248394

A. Savadi, M. Moradi, and H. Deldari, Multi-DaC programming model, Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming, DAMP '12, pp.41-46, 2012.
DOI : 10.1145/2103736.2103743

N. Scaife, G. Michaelson, and S. Horiguchi, Empirical Parallel Performance Prediction from Semantics-Based Profiling, Lecture Notes in Computer Science, vol.3515, pp.781-789, 2005.
DOI : 10.1007/11428848_100
URL : http://www.pdcp.pl/vols/vol07/no3/SCPE_7_3_01.pdf

H. Senger, V. Gil-costa, L. Arantes, C. A. Marcondes, J. M. et al., BSP cost and scalability analysis for MapReduce operations, Concurrency and Computation: Practice and Experience, vol.74, issue.10, p.44, 2015.
DOI : 10.1016/j.jpdc.2014.06.008
URL : https://hal.archives-ouvertes.fr/hal-01254275

P. Sewell, F. Z. Nardelli, S. Owens, G. Peskine, T. Ridge et al., Ott: Effective Tool Support for the Working Semanticist, Journal of Functional Programming, pp.71-122, 2010.

H. Shi and J. Schaeffer, Parallel sorting by regular sampling, Journal of Parallel and Distributed Computing, vol.14, issue.4, pp.361-372, 1992.
DOI : 10.1016/0743-7315(92)90075-X
URL : http://www.cs.ualberta.ca/~jonathan/Grad/Papers/psrs1.ps

V. Simonet, Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver, Proceedings of the Asian Symposium on Programming Languages and Systems (APLAS'03, pp.283-302, 2003.
DOI : 10.1007/978-3-540-40018-9_19

V. Simonet and I. Rocquencourt, Flow Caml in a Nutshell, Proceedings of the First APPSEM-II Workshop, pp.152-165, 2003.

K. C. Sivaramakrishnan, L. Ziarek, and S. Jagannathan, MultiMLton: A multicore-aware runtime for standard ML, Journal of Functional Programming, vol.2000, issue.06, pp.613-674, 2014.
DOI : 10.1145/324133.324234

D. B. Skillicorn, M. Danelutto, S. Pelagatti, and A. Zavanella, Optimising data-parallel programs using the BSP cost model, Euro-Par'98 Parallel Processing. European Conference on Parallel Processing, pp.698-703, 1998.
DOI : 10.1007/BFb0057918
URL : http://www.qucis.queensu.ca/home/skill/././p3l.ps

D. B. Skillicorn, J. M. Hill, and W. F. Mccoll, Questions and Answers about BSP, Scientific Programming, vol.6, issue.3, pp.249-274, 1997.
DOI : 10.1155/1997/532130
URL : http://downloads.hindawi.com/journals/sp/1997/532130.pdf

G. Smolka, The Oz Programming Model Mathematical Methods in Program Development, NATO ASI Series, vol.158, pp.409-432, 1997.

M. Snir, S. Otto, S. Huss-lederman, D. Walker, and J. Dongarra, MPI- The Complete Reference. 2nd. (Revised), pp.5-15, 1998.

J. Sohl, A Scalable Run-Time System for NestStep on Cluster Supercomputers, p.61, 2006.

A. Sunu, Evaluating Threading Building Blocks Pipelines, 2007.

J. Talpin and P. Jouvelot, The Type and Effect Discipline, Information and Compution 111, pp.245-296, 1994.

A. Tiskin, The Design and Analysis of Bulk-Synchronous Parallel Algorithms, p.19, 1998.

L. Pilar-de, C. P. Torre, and . Kruskal, Submachine Locality in the Bulk Synchronous Setting, Euro-Par'96 Parallel Processing. Lecture Notes in Computer Science 1124, pp.352-358, 1996.

T. Ungerer, Parallelizing Industrial Hard Real-Time Applications for the parMERASA Multicore, ACM Transactions on Embedded Computing Systems, vol.15, issue.3, pp.1-5327, 2016.
DOI : 10.1109/TCAD.2009.2013287

G. Leslie and . Valiant, A Bridging Model for Multi-Core Computing, J. Comput. Syst. Sci, vol.77, issue.24, pp.154-166, 2011.

G. Leslie and . Valiant, A Bridging Model for Parallel Computation, Commun. ACM, vol.338, issue.13, pp.103-111, 1990.

P. Vasil and . Vasilev, Bspgrid: Variable Resources Parallel Computation and Multiprogrammed Parallelism, Parallel Processing Letters 13 (03 Sept, pp.329-340, 2003.

J. Wang, C. Hu, J. Zhang, and J. Li, OpenMP compiler for distributed memory architectures, Science China Information Sciences, vol.10, issue.5, pp.932-944, 2010.
DOI : 10.1007/s11432-010-0074-0

T. White, Hadoop: The Definitive Guide. 1st. O'Reilly Media, Inc, p.44, 2009.

A. K. Wright and M. Felleisen, A Syntactic Approach to Type Soundness, Information and Computation, vol.115, issue.1, pp.38-94, 1994.
DOI : 10.1006/inco.1994.1093
URL : https://doi.org/10.1006/inco.1994.1093

K. Andrew and . Wright, Typing References by Effect Inference, ESOP '92, pp.473-491, 1992.

A. N. Yzelman and R. H. Bisseling, An object-oriented bulk synchronous parallel library for multicore programming, Concurrency and Computation: Practice and Experience, pp.533-553, 2012.
DOI : 10.1145/1583991.1584053

L. Ziarek, S. Tiwary, and S. Jagannathan, Isolating Determinism in Multi-threaded Programs, Runtime Verification. International Conference on Runtime Verification, pp.63-77, 2011.
DOI : 10.1007/978-3-642-29860-8_6