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