Frédéric Loulergue
Frédéric Loulergue
Northern Arizona University, NAU
Verified email at univ-orleans.fr - Homepage
TitleCited byYear
A calculus of functional BSP programs
F Loulergue, G Hains, C Foisy
Science of Computer Programming 37 (1-3), 253-277, 2000
862000
Bulk synchronous parallel ML: modular implementation and performance prediction
F Loulergue, F Gava, D Billiet
International Conference on Computational Science, 1046-1054, 2005
752005
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
392010
Implementation of a Functional Bulk Synchronous Parallel Programming Library.
F Loulergue
IASTED PDCS, 447-452, 2002
362002
Distributed evaluation of functional BSP programs
F Loulergue
Parallel Processing Letters 11 (04), 423-437, 2001
332001
Bulk synchronous parallel ML with exceptions
L Gesbert, F Gava, F Loulergue, F Dabrowski
Future Generation Computer Systems 26 (3), 486-490, 2010
302010
Parallel juxtaposition for bulk synchronous parallel ml
F Loulergue
European Conference on Parallel Processing, 781-788, 2003
292003
Parallel superposition for bulk synchronous parallel ML
F Loulergue
International Conference on Computational Science, 223-232, 2003
292003
High level BSP programming: BSML and BSlambda
O Ballereau, F Loulergue, G Hains
Heriot-Watt University, 2000
292000
Functional bulk synchronous parallel programming using the bsmllib library
G Hains, F Loulergue
272000
A verified bulk synchronous parallel ML heat diffusion simulation
J Tesson, F Loulergue
Procedia Computer Science 4, 36-45, 2011
262011
Program calculation in Coq
J Tesson, H Hashimoto, Z Hu, F Loulergue, M Takeichi
International Conference on Algebraic Methodology and Software Technology …, 2010
262010
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
262005
Handling data-skew effects in join operations using mapreduce
MAH Hassan, M Bamha, F Loulergue
Procedia Computer Science 29, 145-158, 2014
252014
Osl: Optimized bulk synchronous parallel skeletons on distributed arrays
N Javed, F Loulergue
International Workshop on Advanced Parallel Processing Technologies, 436-451, 2009
252009
BSλppp: Functional BSP Programs on Enumerated Vectors
F Loulergue
International Symposium on High Performance Computing, 355-363, 2000
242000
Parallel composition and bulk synchronous parallel functional programming.
F Loulergue
Scottish Functional Programming Workshop 2, 77-88, 2000
232000
A polymorphic type system for Bulk Synchronous Parallel ML
F Gava, F Loulergue
International Conference on Parallel Computing Technologies, 215-229, 2003
222003
A SPMD Environment Machine for Functional BSP Programs
A Merlin, G Hains, F Loulergue
Proceedings of the Third Scottish Functional Programming Workshop, 2001
202001
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
19*2015
The system can't perform the operation now. Try again later.
Articles 1–20