V. Allombert, Functional Abstraction for Programming Multi-Level Architectures: Formalisation and Implementation, 2017.
URL : https://hal.archives-ouvertes.fr/tel-01693568

V. Allombert, F. Gava, and J. Tesson, Multi-ML: Programming Multi-BSP Algorithms in ML, Journal of Parallel Programming, vol.45, issue.2, p.20, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01160164

R. H. Bisseling, Parallel Scientific Computation: A Structured Approach Using BSP and MPI, 2004.

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

D. Culler, LogP: Towards a Realistic Model of Parallel Computation, Principles and Practice of Parallel Programming, pp.1-12, 1993.

J. Dean and S. Ghemawat, MapReduce: Simplified Data Processing on Large Clusters, Commun. ACM, vol.51, issue.1, pp.107-113, 2008.

F. Gava, BSP Functional Programming: Examples of a Cost Based Methodology, Computational Science-ICCS 2008, pp.375-385, 2008.

L. Gesbert, F. Gava, F. Loulergue, and F. Dabrowski, Bulk synchronous parallel ML with exceptions, Future Generation Computer Systems, vol.26, issue.3, pp.486-490, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00452559

Y. Hayashi and M. Cole, Static Performance Prediction of Skeletal Parallel Programs, Parallel Algorithms and Applications, vol.17, issue.1, pp.59-84, 2002.

J. Hoffmann, A. Das, and S. C. Weng, Towards Automatic Resource Bound Analysis for OCaml, Principles of Programming Languages, 2017.

A. Jakobsson, Automatic Cost Analysis for Imperative BSP Programs, International Journal of Parallel Programming, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01818140

C. Jay, Costing parallel programs as a function of shapes, Science of Computer Programming, vol.37, issue.1, pp.207-224, 2000.

J. Roshan, Core_bench: Micro-benchmarking library for OCaml, 2014.

P. De-la-torre and C. P. Kruskal, Submachine locality in the bulk synchronous setting, Euro-Par'96 Parallel Processing, 1996.

J. Abella, wcet analysis methods: Pitfalls and challenges on their trustworthiness. In: IEEE Symposium on Industrial Embedded Systems, pp.39-48, 2015.

L. G. Valiant, A Bridging Model for Parallel Computation, Commun. ACM, vol.33, issue.8, pp.103-111, 1990.

L. G. Valiant, A Bridging Model for Multi-core Computing, J. Comput. Syst. Sci, vol.77, issue.1, pp.154-166, 2011.