 | 2011 |
|---|
| 45 |       | Noman Javed,
Frédéric Loulergue:
A Formal Programming Model of Orléans Skeleton Library.
PaCT 2011: 40-52 |
| 44 | | Julien Tesson,
Frédéric Loulergue:
AVerified Bulk Synchronous ParallelMLHeat Diffusion Simulation.
Procedia CS 4: 36-45 (2011) |
| 2010 |
|---|
| 43 | | Julien Tesson,
Hideki Hashimoto,
Zhenjiang Hu,
Frédéric Loulergue,
Masato Takeichi:
Program Calculation in Coq.
AMAST 2010: 163-179 |
| 42 | | Wadoud Bousdira,
Frédéric Gava,
Louis Gesbert,
Frédéric Loulergue,
Guillaume Petiot:
Functional Parallel Programming with Revised Bulk Synchronous Parallel ML.
ICNC 2010: 191-196 |
| 41 | | Louis Gesbert,
Zhenjiang Hu,
Frédéric Loulergue,
Kiminori Matsuzaki,
Julien Tesson:
Systematic Development of Correct Bulk Synchronous Parallel Programs.
PDCAT 2010: 334-340 |
| 40 | | Louis Gesbert,
Frédéric Gava,
Frédéric Loulergue,
Frédéric Dabrowski:
Bulk synchronous parallel ML with exceptions.
Future Generation Comp. Syst. 26(3): 486-490 (2010) |
| 2009 |
|---|
| 39 | | Noman Javed,
Frédéric Loulergue:
OSL: Optimized Bulk Synchronous Parallel Skeletons on Distributed Arrays.
APPT 2009: 436-451 |
| 2007 |
|---|
| 38 | | Louis Gesbert,
Frédéric Loulergue:
Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML.
PDCAT 2007: 201-208 |
| 37 | | Radia Benheddi,
Frédéric Loulergue:
Divide-and-Conquer Parallel Programming with Minimally Synchronous Parallel ML.
PPAM 2007: 1078-1085 |
| 36 | | Julien Tesson,
Frédéric Loulergue:
Formal Semantics of DRMA-Style Programming in BSPlib.
PPAM 2007: 1122-1129 |
| 35 | | Frédéric Loulergue:
Introduction to the special issue on semantics and costs models for high-level parallel programming.
Computer Languages, Systems & Structures 33(3-4): 79-81 (2007) |
| 34 | | Anne Benoit,
Frédéric Loulergue:
Practical Aspects of High-Level Parallel Programming.
Scalable Computing: Practice and Experience 8(4): (2007) |
| 2006 |
|---|
| 33 | | Frédéric Loulergue,
Radia Benheddi,
Frédéric Gava,
D. Louis-Régis:
Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition.
CSR 2006: 475-486 |
| 32 | | Frédéric Loulergue:
A calculus of functional BSP programs with projection.
IPDPS 2006 |
| 31 | | Frédéric Loulergue:
Practical Aspects of High-Level Parallel Programming.
Scalable Computing: Practice and Experience 7(3): (2006) |
| 2005 |
|---|
| 30 | | Frédéric Loulergue,
Frédéric Gava,
David Billiet:
Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction.
International Conference on Computational Science (2) 2005: 1046-1054 |
| 29 | | Frédéric Loulergue:
Optimizing Bulk Synchronous Parallel ML.
SNPD 2005: 294-299 |
| 28 | | Frédéric Gava,
Frédéric Loulergue:
A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting.
Future Generation Comp. Syst. 21(4): 665-671 (2005) |
| 27 | | Frédéric Gava,
Frédéric Loulergue:
A Functional Language for Departmental Metacomputing.
Parallel Processing Letters 15(3): 289-304 (2005) |
| 26 | | Frédéric Loulergue:
Review of "Term Rewriting Systems by Terese", Cambridge University Press 2003, 0-521-39115-6.
SIGACT News 36(4): 17-20 (2005) |
| 25 | | Frédéric Loulergue:
Practical Aspects of High-Level Parallel Programming.
Scalable Computing: Practice and Experience 6(4): (2005) |
| 2004 |
|---|
| 24 |  | Frédéric Loulergue:
Management of Communication Environments for Minimally Synchronous Parallel ML.
DAPSYS 2004: 185-192 |
| 23 | | Frédéric Loulergue:
Communication Primitives for Minimally Synchronous Parallel ML.
International Conference on Computational Science 2004: 401-404 |
| 22 | | Frédéric Loulergue:
Développement d'applications avec Objective CAML by E. Chailloux, P. Manoury and B. Pagano, O'Reilley, 2003.
J. Funct. Program. 14(5): 592-594 (2004) |
| 2003 |
|---|
| 21 | | Frédéric Dabrowski,
Frédéric Loulergue:
Functional Bulk Synchronous Parallel Programming in C++.
Applied Informatics 2003: 462-467 |
| 20 | | Frédéric Loulergue:
Parallel Juxtaposition for Bulk Synchronous Parllel ML.
Euro-Par 2003: 781-788 |
| 19 | | Frédéric Gava,
Frédéric Loulergue:
A Parallel Virtual Machine for Bulk Synchronous Parallel ML.
International Conference on Computational Science 2003: 155-164 |
| 18 | | Frédéric Loulergue:
Parallel Superposition for Bulk Synchronous Parallel ML.
International Conference on Computational Science 2003: 223-232 |
| 17 | | Frédéric Gava,
Frédéric Loulergue:
Synthèse de types pour Bulk Synchronous Parallel ML.
JFLA 2003: 153-168 |
| 16 | | Frédéric Loulergue:
A Calculus of Functional BSP Programs with Explicit Substitutions.
PARCO 2003: 127-134 |
| 15 | | Frédéric Loulergue:
A Rewriting Semantics for an Event-Oriented Functional Parallel Language.
PARCO 2003: 79-86 |
| 14 | | Frédéric Gava,
Frédéric Loulergue:
Semantics of a Functional BSP Language with Imperative Features.
PARCO 2003: 95-102 |
| 13 | | Frédéric Gava,
Frédéric Loulergue:
A Polymorphic Type System for Bulk Synchronous Parallel ML.
PaCT 2003: 215-229 |
| 12 | | Myrto Arapinis,
Frédéric Loulergue,
Frédéric Gava,
Frédéric Dabrowski:
Semantics of Minimally Synchronous Parallel ML.
SNPD 2003: 260-267 |
| 11 | | Frédéric Gava,
Frédéric Loulergue,
Frédéric Dabrowski:
A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML.
SNPD 2003: 293-300 |
| 10 | | Frédéric Gava,
Frédéric Loulergue,
Frédéric Dabrowski:
Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML.
SNPD 2003: 301-308 |
| 9 | | Gaétan Hains,
Frédéric Loulergue:
Preface: Special Issue on High-Level Parallel Programming and Applications.
Parallel Processing Letters 13(3): 313-316 (2003) |
| 2002 |
|---|
| 8 | | Frédéric Loulergue:
Implementation of a Functional Bulk Synchronous Parallel Programming Library.
IASTED PDCS 2002: 447-452 |
| 2001 |
|---|
| 7 | | Frédéric Loulergue:
Distributed Evaluation of Functional BSP Programs.
Parallel Processing Letters 11(4): 423-437 (2001) |
| 6 | | Gaétan Hains,
Frédéric Loulergue,
John Mullins:
Concrete data structures and functional parallel programming.
Theor. Comput. Sci. 258(1-2): 233-267 (2001) |
| 2000 |
|---|
| 5 | | Frédéric Loulergue:
BSlambdap: Functional BSP Programs on Enumerated Vectors.
ISHPC 2000: 355-363 |
| 4 | | Frédéric Loulergue:
Parallel composition and bulk synchronous parallel functional programming.
Scottish Functional Programming Workshop 2000: 77-88 |
| 3 | | Frédéric Loulergue,
Gaétan Hains,
Christian Foisy:
A calculus of functional BSP programs.
Sci. Comput. Program. 37(1-3): 253-277 (2000) |
| 1999 |
|---|
| 2 | | Olivier Ballereau,
Frédéric Loulergue,
Gaétan Hains:
High Level BSP Programming: BSML and BSlambda.
Scottish Functional Programming Workshop 1999: 29-40 |
| 1997 |
|---|
| 1 | | Frédéric Loulergue,
Gaétan Hains:
Functional Parallel Programming with Explicit Processes: Beyond SPMD.
Euro-Par 1997: 530-537 |
Data released under the ODC-BY 1.0 license — See also our legal information page