M. A. Alabduljalil, X. Tang, and T. Yang, Optimizing Parallel Algorithms for All Pairs Similarity Search, Proceedings of the Sixth ACM International Conference on Web Search and Data Mining, WSDM '13, pp.203-212, 2013.

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, International Journal of Parallel Programming, vol.45, issue.2, p.20, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01160164

M. H. Alt, Using Algorithmic Skeletons for Efficient Grid Computing with Predictable Performance, 2007.

R. J. Bayardo, Y. Ma, and R. Srikant, Scaling Up All Pairs Similarity Search, Proceedings of the 16th International Conference on World Wide Web, WWW '07, pp.131-140, 2017.

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

F. Cappello and D. Etiemble, MPI Versus MPI+OpenMP on IBM SP for the NAS Benchmarks, Proceedings of the 2000 ACM/IEEE Conference on Supercomputing, SC '00, 2000.

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

E. M. Clarke, T. A. Henzinger, H. Veith, and R. Bloem, Handbook of Model Checking, 2012.

M. Cole, Bringing Skeletons out of the Closet: A Pragmatic Manifesto for Skeletal Parallel Programming, Parallel Comput, vol.30, issue.3, pp.389-406, 2004.

H. Garavel, R. Mateescu, and I. Smarandache, Parallel State Space Construction for Model-Checking, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00072247

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.
DOI : 10.1016/j.future.2009.05.021
URL : https://hal.archives-ouvertes.fr/inria-00452527

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, pp.48-55, 2011.

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

C. Li and G. Hains, SGL: Towards a Bridging Model for Heterogeneous Hierarchical Platforms, International Journal of Parallel Programming, vol.7, issue.2, pp.139-151, 2012.

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

G. Malewicz, M. H. Austern, A. J. Bik, J. C. Dehnert, I. Horn et al., Pregel: A System for Large-scale Graph Processing, Proceedings of the 2010

, ACM SIGMOD International Conference on Management of Data, pp.135-146, 2010.

R. T. Saad, S. Dal-zilio, and B. Berthomieu, Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction, International Symposium on Parallel and Distributed Computing, p.8, 2011.
DOI : 10.1109/ispdc.2011.12
URL : https://hal.archives-ouvertes.fr/hal-00523188

S. Seo, E. Yoon, J. Kim, S. Jin, J. Kim et al., HAMA: An Efficient Matrix Computation with the MapReduce Framework, 2010 IEEE Second International Conference on Cloud Computing Technology and Science (CloudCom), pp.721-726, 2010.

K. C. Sivaramakrishnan, L. Ziarek, and S. Jagannathan, MultiMLton: A multicoreaware runtime for standard ML, Journal of Functional Programming, vol.24, issue.06, pp.613-674, 2014.

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.

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