gava.bib
@ARTICLE{GGLD2008:FGCS,
author = {L. Gesbert and F. Gava and
F. Loulergue and F. Dabrowski},
title = {{Bulk Synchronous Parallel ML with Exceptions}},
journal = {Future Generation Computer Systems},
year = {2008},
note = {to appear},
pdf = {./papers/gesbert_gava_loulergue_dabrowski_fgcs_2008.pdf}
}
@ARTICLE{GAVA2008:PPL,
author = {F. Gava},
title = {{A Modular Implementation of Parallel Data Structures in BSML}},
journal = {Parallel Processing Letters},
year = 2008,
volume = 18,
number = 1,
pages = {39--53},
pdf = {./papers/gava_ppl_2008.pdf},
ppt = {./slides/gava_hlpp_2005.ppt}
}
@ARTICLE{GAVA2006:TSI,
author = {F. Gava},
title = {{Une bibliothèque certifiée de programmes fonctionnels BSP}},
journal = {Technique et Science Informatiques},
year = 2006,
volume = 25,
number = 10,
pages = {1261--1280},
pdf = {./papers/gava_tsi_2006.pdf}
}
@ARTICLE{GAVA2005:SCPE,
author = {F. Gava},
title = {{External Memory in Bulk Synchronous Parallel ML}},
journal = {Scalable Computing: Practice and Experience},
year = 2005,
volume = 6,
number = 4,
pages = {43--70},
pdf = {./papers/gava_scpe_2005.pdf}
}
@ARTICLE{GL2005:PPL,
author = {F. Gava and F. Loulergue},
title = {{A Functional Language for Departmental Metacomputing}},
year = 2005,
journal = {Parallel Processing Letters},
volume = 15,
number = 3,
pages = {289--304},
pdf = {./papers/gava_loulergue_ppl_2005.pdf},
ppt = {./slides/gava_loulergue_cmpp_2004.ppt}
}
@ARTICLE{GL2004:FGCS,
author = {F. Gava and F. Loulergue},
title = {{A Static Analysis for Bulk Synchronous Parallel ML to Avoid Parallel Nesting}},
journal = {Future Generation Computer Systems},
year = {2005},
volume = {21},
number = {5},
pages = {665--671},
pdf = {./papers/gava_loulergue_fgcs_2004.pdf}
}
@ARTICLE{LGAD2004:IJCIS,
author = {F. Loulergue and F. Gava and M.
Arapinis and F. Dabrowski},
title = {{Semantics and Implementation of
Minimally Synchronous Parallel ML}},
si = {W. Dosch, editor, special issue on Software Engineering,
Artificial Intelligence, Networking, and
Parallel/Distributed Computing},
journal = {International Journal of Computer and Information Science},
year = 2004,
volume = 5,
number = 3,
pages = {182--199},
pdf = {./papers/loulergue_gava_arapinis_dabrowski_ijcis_2004.pdf}
}
@ARTICLE{GAVA2003:PPL,
author = {F. Gava},
title = {{Formal Proofs of Functional BSP Programs}},
journal = {Parallel Processing Letters},
year = 2003,
volume = 13,
number = 3,
pages = {365--376},
pdf = {./papers/gava_ppl_2003.pdf}
}
@INPROCEEDINGS{GF2009:PDP,
author = {F. Gava and J.Fortin},
title = {{Two Formal Semantics of a Subset of the Paderborn University BSPlib}},
booktitle = {PDP 2009},
year = 2009,
publisher = {IEEE Press},
note = {to appear},
pdf = {./papers/gava_fortin_pdp_2009.pdf}
}
@INPROCEEDINGS{GF2008:PDCAT,
author = {F. Gava and J. Fortin},
title = {{Formal Semantics of a Subset of the Paderborn's BSPlib}},
booktitle = {PDCAT 2008},
year = 2008,
note = {to appear},
publisher = {IEEE Press},
pdf = {./papers/gava_fortin_pdcat_2008.pdf}
}
@INPROCEEDINGS{GAVA2008:ICCS,
author = {F. Gava},
title = {{BSP Functional Programming; Examples of a cost based methodology}},
booktitle = {The International Conference on Computational Science (ICCS), Part I},
pages = {375--385},
year = 2008,
editor = {M. Bubak and G. D. van Albada and J. Dongarra and P. M. A. Sloot},
volume = 5101,
series = {LNCS},
publisher = {Springer-Verlag},
pdf = {./papers/gava_iccs_2008.pdf},
ppt = {./slides/gava_iccs_2008.ppt}
}
@INPROCEEDINGS{GAVA2007:ICCS,
author = {F. Gava},
title = {{Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML}},
booktitle = {The International Conference on Computational Science (ICCS), Part I},
pages = {611--619},
year = 2007,
editor = {Y. Shi and G.D.v. Albada and J. Dongarra and P.M.A. Sloot},
volume = 4487,
series = {LNCS},
publisher = {Springer-Verlag},
pdf = {./papers/gava_iccs_2007.pdf},
ppt = {./slides/gava_iccs_2007.ppt}
}
@INPROCEEDINGS{GGLD2006:DAPSYS,
author = {L. Gesbert and F. Gava and F. Loulergue and F. Dabrowski},
title = {{Bulk Synchronous Parallel ML with Exceptions}},
booktitle = {Distributed and Parallel Systems (DAPSYS 2006)},
pages = {33--42},
year = 2006,
editor = {P. Kacsuk and T. Fahringer and Z. Nemeth},
publisher = {Springer-Verlag},
pdf = {./papers/gesbert_gava_loulergue_dabrowski_dapsys_2006.pdf}
}
@INPROCEEDINGS{LBGL2006:CSR,
author = {F. Loulergue and R. Benheddi and F. Gava and D. Louis-Regis},
title = {{Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition}},
booktitle = {International Computer Science Symposium in Russia (CSR 2006)},
pages = {475--486},
year = 2006,
volume = 3967,
series = {LNCS},
editor = {D. Grigoriev and
J. Harrison and
E.A. Hirsch},
publisher = {Springer-Verlag},
pdf = {./papers/loulergue_benheddi_gava_csr_2006.pdf},
ppt = {./slides/gava_csr_2006.ppt}
}
@INPROCEEDINGS{LGB2005:ICCS,
author = {F. Loulergue and F. Gava and D. Billiet},
title = {{Bulk Synchronous Parallel ML: Modular Implementation
and Performance Prediction}},
year = 2005,
booktitle = {International Conference on Computational Science (ICCS 2005), Part II},
series = {LNCS},
volume = {3515},
publisher = {Springer-Verlag},
pages = {1046--1054},
editor = {V. S. Sunderam and
G. Dick van Albada and
P. M. A. Sloot and
J. Dongarra},
pdf = {./papers/loulergue_gava_billiet_iccs_2005.pdf},
ppt = {./slides/loulergue_iccs_2005.ppt}
}
@INPROCEEDINGS{GAVA2004:ICCSa,
author = {F. Gava},
title = {{Parallel I/O in Bulk Synchronous Parallel ML}},
booktitle = {The International Conference on Computational Science (ICCS 2004), Part III},
year = 2004,
editor = {M. Bubak and D. van Albada and P. Sloot and J. Dongarra},
series = {LNCS},
volume = {3038},
publisher = {Springer-Verlag},
pages = {339--346},
pdf = {./papers/gava_iccs_a_2004.pdf},
ppt = {./slides/gava_iccs_a_2004.ppt}
}
@INPROCEEDINGS{GAVA2004:ICCSb,
author = {F. Gava},
title = {{Design of Deparmental Metacomputing ML}},
booktitle = {The International Conference on Computational Science (ICCS 2004), Part III},
year = 2004,
editor = {M. Bubak and D. van Albada and P. M. A. Sloot and J. Dongarra},
series = {LNCS},
volume = {3038},
publisher = {Springer-Verlag},
pages = {50--53},
pdf = {./papers/gava_iccs_b_2004.pdf},
ppt = {./slides/gava_iccs_b_2004.ppt}
}
@INPROCEEDINGS{GL2003:PARCO,
author = {F. Gava and F. Loulergue},
title = {{Semantics of a Functional Bulk Synchronous Parallel
Language with Imperative Features}},
editor = {G. Joubert and W. Nagel and F. Peters and W. Walter},
booktitle = {Parallel Computing: Software Technology, Algorithms, Architectures and Applications, Proceeding of the 10th ParCo Conference},
publisher = {Elsevier},
pages = {95--102},
year = 2004,
series = {Advances in Parallel Computing},
volume = {13},
pdf = {./papers/gava_loulergue_parco_2003.pdf}
}
@INPROCEEDINGS{GLD2003:SNPD,
author = {F. Gava and F. Loulergue and F. Dabrowski},
title = {{A Parallel Categorical Abstract Machine for
Bulk Synchronous Parallel ML}},
booktitle = {{4th International Conference on Software Engineering,
Artificial Intelligence, Networking, and
Parallel/Distributed Computing (SNPD'03)}},
year = 2003,
editor = {W. Dosch and R. Y. Lee},
publisher = {ACIS},
pages = {293--300},
pdf = {./papers/gava_loulergue_dabrowski_snpd_2003.pdf}
}
@INPROCEEDINGS{DLG2003:SNPD,
author = {F. Dabrowski and F. Loulergue and F. Gava},
title = {{Pattern Matching of Parallel Values in
Bulk Synchronous Parallel ML}},
booktitle = {{4th International Conference on Software Engineering,
Artificial Intelligence, Networking, and
Parallel/Distributed Computing (SNPD'03)}},
year = 2003,
editor = {W. Dosch and R. Y. Lee},
publisher = {ACIS},
pages = {301--308},
pdf = {./papers/dabrowski_loulergue_gava_snpd_2003.pdf}
}
@INPROCEEDINGS{ALGD2003:SNPD,
author = {M. Arapinis and F. Loulergue and F. Gava and F. Dabrowski},
title = {{Semantics of Minimally Synchronous Parallel ML}},
booktitle = {{4th International Conference on Software Engineering,
Artificial Intelligence, Networking, and
Parallel/Distributed Computing (SNPD'03)}},
year = 2003,
editor = {W. Dosch and R. Y. Lee},
publisher = {ACIS},
pages = {260--267},
pdf = {./papers/arapinis_loulergue_gava_dabrowski_snpd_2003.pdf},
ppt = {./slides/arapinis_loulergue_gava_dabrowski_snpd_2003.ppt}
}
@INPROCEEDINGS{GL2003:PACT,
author = {F. Gava and F. Loulergue},
title = {{A Polymorphic Type System for Bulk Synchronous Parallel ML}},
year = 2003,
editor = {V. Malyshkin},
booktitle = {Seventh International Conference on Parallel Computing Technologies (PaCT 2003)},
series = {LNCS},
volume = 2763,
publisher = {Springer-Verlag},
pages = {215--229},
pdf = {./papers/gava_loulergue_pact_2003.pdf},
ppt = {./slides/gava_loulergue_pact_2003.ppt}
}
@INPROCEEDINGS{GL2003:ICCS,
author = {F. Gava and F. Loulergue},
title = {{A Parallel Virtual Machine for
Bulk Synchronous Parallel ML}},
booktitle = {International Conference on
Computational Science (ICCS 2003), Part I},
year = 2003,
publisher = {Springer-Verlag},
series = {LNCS},
editor = {P. M. A. Sloot and al.},
volume = {2657},
pages = {155--164},
pdf = {./papers/gava_loulergue_iccs_2003.pdf}
}
@INPROCEEDINGS{GGLD2006:RENPAR,
author = {L. Gesbert and F. Gava and F. Loulergue
and F. Dabrowski},
title = {{Bulk Synchronous Parallel ML avec exceptions}},
booktitle = {Rencontres Francophones du Parallélisme (Renpar'17)},
year = 2006,
pdf = {./papers/gesbert_gava_loulergue_dabrowski_renpar_2006.pdf}
}
@INPROCEEDINGS{GAVA2006:JFLA,
author = {F. Gava},
title = {{Une implantation de la juxtaposition parallèle}},
booktitle = {Journées Francophones des Langages Applicatifs (JFLA)},
year = 2006,
editor = {P.-E. Moreau and T. Hardin},
publisher = {INRIA},
series = {Collection Didactique},
pages = {87--100},
pdf = {./papers/gava_jfla_2006.pdf},
ppt = {./slides/gava_jfla_2006.ppt}
}
@INPROCEEDINGS{GAVA2004:JFLA,
author = {F. Gava},
title = {{Une bibliothèque certifiée de programmes fonctionnels BSP}},
booktitle = {Journées Francophones des Langages Applicatif (JFLA)},
year = 2004,
editor = {{V. Ménissier-Morain}},
series = {Collection Didactique},
publisher = {INRIA},
pages = {55--68},
pdf = {./papers/gava_jfla_2004.pdf}
}
@INPROCEEDINGS{GL2003:JFLA,
author = {F. Gava and F. Loulergue},
title = {{Synth\`ese de types pour Bulk Synchronous Parallel ML}},
editor = {J.C. Filliatre},
booktitle = {Journ\'ees Francophones des Langages Applicatifs (JFLA)},
publisher = {INRIA},
series = {Collection Didactique},
year = 2003,
pages = {153--168},
pdf = {./papers/gava_loulergue_jfla_2003.pdf}
}
@PHDTHESIS{GAVA2005:THESIS,
author = {F. Gava},
title = {{Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs. Sémantiques, implantations et certification.}},
school = {University Paris XII-Val de Marne, LACL},
year = 2005,
pdf = {./papers/these_gava.pdf},
ppt = {./slides/these_gava.ppt}
}
@MASTERSTHESIS{GAVA2002:MASTER,
author = {F. Gava},
title = {{A Polymorphic Type System for BSML}},
school = {University Paris XII-Val de Marne},
year = {2002},
pdf = {./papers/masterthese_gava.pdf},
ps = {./slides/masterthese_gava.ps}
}