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