Functional Abstraction for Programming Multi-Level Architectures: Formalisation and Implementation, 2017. ,
URL : https://hal.archives-ouvertes.fr/tel-01693568
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
, Parallel Scientific Computation: A Structured Approach Using BSP and MPI, 2004.
H-BSP: A Hierarchical BSP Computation Model, The Journal of Supercomputing, vol.18, issue.2, pp.179-200, 2001. ,
LogP: Towards a Realistic Model of Parallel Computation, Principles and Practice of Parallel Programming, pp.1-12, 1993. ,
MapReduce: Simplified Data Processing on Large Clusters, Commun. ACM, vol.51, issue.1, pp.107-113, 2008. ,
BSP Functional Programming: Examples of a Cost Based Methodology, Computational Science-ICCS 2008, pp.375-385, 2008. ,
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
Static Performance Prediction of Skeletal Parallel Programs, Parallel Algorithms and Applications, vol.17, issue.1, pp.59-84, 2002. ,
Towards Automatic Resource Bound Analysis for OCaml, Principles of Programming Languages, 2017. ,
Automatic Cost Analysis for Imperative BSP Programs, International Journal of Parallel Programming, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01818140
Costing parallel programs as a function of shapes, Science of Computer Programming, vol.37, issue.1, pp.207-224, 2000. ,
, Core_bench: Micro-benchmarking library for OCaml, 2014.
Submachine locality in the bulk synchronous setting, Euro-Par'96 Parallel Processing, 1996. ,
, wcet analysis methods: Pitfalls and challenges on their trustworthiness. In: IEEE Symposium on Industrial Embedded Systems, pp.39-48, 2015.
A Bridging Model for Parallel Computation, Commun. ACM, vol.33, issue.8, pp.103-111, 1990. ,
A Bridging Model for Multi-core Computing, J. Comput. Syst. Sci, vol.77, issue.1, pp.154-166, 2011. ,