| Bulk synchronous parallel ML: Modular implementation and performance prediction F Loulergue, F Gava, D Billiet International Conference on Computational Science, 1046-1054, 2005 | 92 | 2005 |
| A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting F Gava, F Loulergue Future Generation Computer Systems 21 (5), 665-671, 2005 | 64* | 2005 |
| Functional parallel programming with revised bulk synchronous parallel ML W Bousdira, F Gava, L Gesbert, F Loulergue, G Petiot 2010 First International Conference on Networking and Computing, 191-196, 2010 | 58* | 2010 |
| Formal proofs of functional BSP programs F Gava Parallel Processing Letters 13 (03), 365-376, 2003 | 50* | 2003 |
| BSP-Why: A tool for deductive verification of BSP algorithms with subgroup synchronisation J Fortin, F Gava International Journal of Parallel Programming 44 (3), 574-597, 2016 | 38* | 2016 |
| Bulk synchronous parallel ML with exceptions L Gesbert, F Gava, F Loulergue, F Dabrowski Future Generation Computer Systems 26 (3), 486-490, 2010 | 32 | 2010 |
| A BSP algorithm for on-the-fly checking CTL* formulas on security protocols F Gava, F Pommereau, M Guedj The Journal of Supercomputing 69 (2), 629-672, 2014 | 27* | 2014 |
| Towards mechanised semantics of hpc: The bsp with subgroup synchronisation case J Fortin, F Gava International Conference on Algorithms and Architectures for Parallel …, 2015 | 22* | 2015 |
| CPS implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons I Garnier, F Gava International Journal of Parallel, Emergent and Distributed Systems 26 (4 …, 2011 | 20* | 2011 |
| Multi-ML: programming multi-BSP algorithms in ML V Allombert, F Gava, J Tesson International Journal of Parallel Programming 45 (2), 340-361, 2017 | 18* | 2017 |
| Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs. Sémantiques, implantations et certification. F Gava Université Paris XII Val de Marne, 2005 | 18 | 2005 |
| Semantics and implementation of minimally synchronous parallel ML F Loulergue, F Gava, M Arapinis, F Dabrowski International Journal of Computer and Information Science 5 (3), 182-199, 2004 | 14* | 2004 |
| A functional language for departmental metacomputing F Gava, F Loulergue Parallel processing letters 15 (03), 289-304, 2005 | 13 | 2005 |
| Deductive verification of state-space algorithms F Gava, J Fortin, M Guedj International Conference on Integrated Formal Methods, 124-138, 2013 | 12* | 2013 |
| Implementation of data-parallel skeletons: A case study using a coarse-grained hierarchical model C Li, F Gava, G Hains 2012 11th International Symposium on Parallel and Distributed Computing, 26-33, 2012 | 12* | 2012 |
| External memory in bulk-synchronous parallel ML F Gava Scalable Computing: Practice and Experience 6 (4), 2005 | 12* | 2005 |
| A parallel virtual machine for bulk synchronous parallel ML F Gava, F Loulergue International Conference on Computational Science, 155-164, 2003 | 11* | 2003 |
| Axiomatization and characterization of BSP algorithms Y Marquer, F Gava Journal of Logical and Algebraic Methods in Programming 109, 100479, 2019 | 9* | 2019 |
| Bsp functional programming: Examples of a cost based methodology F Gava International Conference on Computational Science, 375-385, 2008 | 9 | 2008 |
| A modular implementation of data structures in bulk-synchronous parallel ML F Gava Parallel Processing Letters 18 (01), 39-53, 2008 | 9 | 2008 |
Frédéric LoulergueUniversité d'Orléans, FranceZweryfikowany adres z univ-orleans.fr
