Seguir
Frédéric Loulergue
Frédéric Loulergue
Université d'Orléans, France
Dirección de correo verificada de univ-orleans.fr - Página principal
Título
Citado por
Citado por
Año
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
992005
A calculus of functional BSP programs
F Loulergue, G Hains, C Foisy
Science of Computer Programming 37 (1-3), 253-277, 2000
922000
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
422010
Implementation of a Functional Bulk Synchronous Parallel Programming Library.
F Loulergue
IASTED PDCS, 447-452, 2002
402002
Handling data-skew effects in join operations using mapreduce
MAH Hassan, M Bamha, F Loulergue
Procedia Computer Science 29, 145-158, 2014
392014
High level BSP programming: BSML and BS
O Ballereau, F Loulergue, G Hains
Trends in Functional Programming, 29-38, 1999
361999
Distributed evaluation of functional BSP programs
F Loulergue
Parallel Processing Letters 11 (04), 423-437, 2001
352001
Bulk synchronous parallel ML with exceptions
L Gesbert, F Gava, F Loulergue, F Dabrowski
Future Generation Computer Systems 26 (3), 486-490, 2010
342010
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
322011
A verified bulk synchronous parallel ML heat diffusion simulation
J Tesson, F Loulergue
Procedia Computer Science 4, 36-45, 2011
312011
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
312005
Parallel juxtaposition for bulk synchronous parallel ml
F Loulergue
Euro-Par 2003 Parallel Processing: 9th International Euro-Par Conference …, 2003
302003
Parallel superposition for bulk synchronous parallel ML
F Loulergue
Computational Science—ICCS 2003: International Conference, Melbourne …, 2003
302003
Osl: Optimized bulk synchronous parallel skeletons on distributed arrays
N Javed, F Loulergue
International Workshop on Advanced Parallel Processing Technologies, 436-451, 2009
292009
Functional bulk synchronous parallel programming using the bsmllib library
G Hains, F Loulergue
Second International Workshop on Constructive Methods for Parallel …, 2000
292000
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
272018
BSλppp: Functional BSP Programs on Enumerated Vectors
F Loulergue
International Symposium on High Performance Computing, 355-363, 2000
272000
Calculating parallel programs in Coq using list homomorphisms
F Loulergue, W Bousdira, J Tesson
International Journal of Parallel Programming 45, 300-319, 2017
252017
Towards full proof automation in Frama-C using auto-active verification
A Blanchard, F Loulergue, N Kosmatov
NASA Formal Methods Symposium, 88-105, 2019
232019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20