| Bulk synchronous parallel ML: modular implementation and performance prediction F Loulergue, F Gava, D Billiet Computational Science–ICCS 2005: 5th International Conference, Atlanta, GA …, 2005 | 100 | 2005 |
| A calculus of functional BSP programs F Loulergue, G Hains, C Foisy Science of Computer Programming 37 (1-3), 253-277, 2000 | 92 | 2000 |
| Systematic development of correct bulk synchronous parallel programs L Gesbert, Z Hu, F Loulergue, K Matsuzaki, J Tesson 2010 International Conference on Parallel and Distributed Computing …, 2010 | 42 | 2010 |
| Implementation of a Functional Bulk Synchronous Parallel Programming Library. F Loulergue IASTED PDCS, 447-452, 2002 | 40 | 2002 |
| Handling data-skew effects in join operations using mapreduce MAH Hassan, M Bamha, F Loulergue Procedia Computer Science 29, 145-158, 2014 | 39 | 2014 |
| High level BSP programming: BSML and BS O Ballereau, F Loulergue, G Hains Trends in Functional Programming, 29-38, 1999 | 36 | 1999 |
| Distributed evaluation of functional BSP programs F Loulergue Parallel Processing Letters 11 (04), 423-437, 2001 | 35 | 2001 |
| Bulk synchronous parallel ML with exceptions L Gesbert, F Gava, F Loulergue, F Dabrowski Future Generation Computer Systems 26 (3), 486-490, 2010 | 34 | 2010 |
| A case study on formal verification of the Anaxagoros hypervisor paging system with Frama-C B Allan, N Kosmatov, M Lemerre, F Loulergue International Workshop on Formal Methods for Industrial Critical Systems (FMICS), 2015 | 33* | 2015 |
| Program calculation in Coq J Tesson, H Hashimoto, Z Hu, F Loulergue, M Takeichi Algebraic Methodology and Software Technology: 13th International Conference …, 2011 | 32 | 2011 |
| A verified bulk synchronous parallel ML heat diffusion simulation J Tesson, F Loulergue Procedia Computer Science 4, 36-45, 2011 | 31 | 2011 |
| 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 | 31 | 2005 |
| Osl: Optimized bulk synchronous parallel skeletons on distributed arrays N Javed, F Loulergue International Workshop on Advanced Parallel Processing Technologies, 436-451, 2009 | 30 | 2009 |
| Parallel juxtaposition for bulk synchronous parallel ml F Loulergue Euro-Par 2003 Parallel Processing: 9th International Euro-Par Conference …, 2003 | 30 | 2003 |
| Parallel superposition for bulk synchronous parallel ML F Loulergue Computational Science—ICCS 2003: International Conference, Melbourne …, 2003 | 30 | 2003 |
| Functional bulk synchronous parallel programming using the bsmllib library G Hains, F Loulergue Second International Workshop on Constructive Methods for Parallel …, 2000 | 29 | 2000 |
| Ghosts for lists: a critical module of Contiki verified in Frama-C A Blanchard, N Kosmatov, F Loulergue NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018 | 27 | 2018 |
| BSλppp: Functional BSP Programs on Enumerated Vectors F Loulergue International Symposium on High Performance Computing, 355-363, 2000 | 27 | 2000 |
| Calculating parallel programs in Coq using list homomorphisms F Loulergue, W Bousdira, J Tesson International Journal of Parallel Programming 45, 300-319, 2017 | 26 | 2017 |
| Towards full proof automation in Frama-C using auto-active verification A Blanchard, F Loulergue, N Kosmatov NASA Formal Methods Symposium, 88-105, 2019 | 23 | 2019 |
Frédéric GavaLACL, University of Paris-EastVerified email at univ-paris-est.fr
