File /users/formel2/dicosmo/ACADEMIC/Paperi/Miei/Parallelism/OcamlP3l/ocamlp3l.bib last modified on Wed Feb 11 15:33:46 1998.
@string{dip = "Department of Computer Science, University of Pisa (Italy)"}
@string{pfi = "Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, C.N.R. (Italy)"}
@string{psc = "Hewlett Packard Laboratories, Pisa Science Center (Italy)"}
@string{hpl = "Hewlett Packard Laboratories"}
@string{hp = "Hewlett Packard"}
@string{toplas= "ACM Transactions on Programming Languages and Systems"}
@string{cacm = "Communications of the ACM"}
@string{sacm = "ACM Computing Surveys"}
@string{lncs = "Lecture Notes in Computer Science"}
@string{springer = "Springer-Verlag"}
@string{spe = "Software Practice and Experience"}
@string{computer = "IEEE Computer"}
@string{IEEEtoc = "IEEE Transactions on Computers"}
@string{IEEEtds = "IEEE Transactions on Parallel and Distributed Systems"}
@string{IEEEtse = "IEEE Transactions on Software Engineering"}
@string{jpdc= "Journal of Parallel and Distributed Computing"}
@string{siam-comp= "SIAM Journal on Computing"}
@string{tcs = "Theoretical Computer Science"}
@string{lispconf = "Proceedings of the ACM Conference on LISP
and Functional Programming"}
@string{aisca = "Proceedings of the Annual International
Symposium on Computer Architecture (ACM--IEEE)"}
@string{jan = "January"}
@string{feb = "February"}
@string{mar = "March"}
@string{apr = "April"}
@string{may = "May"}
@string{jun = "June"}
@string{jul = "July"}
@string{aug = "August"}
@string{sep = "September"}
@string{oct = "October"}
@string{nov = "November"}
@string{dec = "December"}
@book{libro-susi,
author = "S. Pelagatti",
title = "Structured development of parallel programs",
publisher = "Taylor\&Francis",
address = "London",
year = 1998
}
@incollection{bird1,
author="R. S. Bird",
title="An introduction to the {T}heory of {L}ists",
booktitle="Logic of programming and calculi of discrete
design",
year=1987,
editor="M. Broy",
pages = "5--42",
publisher = springer,
address = "Berlin",
series = "NATO ASI",
volume ="F36",
more="International Summer School directed by F. L.
Bauer, M. Broy, E. W. Dijkstra and C. A. R. Hoare"
}
@book{cole-th,
author="M. Cole",
title="{Algorithmic Skeletons: Structured Management of Parallel
Computations}",
publisher="Pitman",
year="1989",
series="Research Monographs in Parallel and
Distributed Computing"
}
@inproceedings{Darlington1996,
author ="P. Au and J. Darlington and M. Ghanem and Y. Guo and
H.W. To and J. Yang",
title ="Co-ordinating Heterogeneous Parallel Computation",
editor ="L. Bouge and P. Fraigniaud and A. Mignotte and Y. Robert",
booktitle ="Europar '96",
year ="1996",
pages="601--614",
publisher =springer,
}
@misc{Objective-Caml,
author = "Xavier Leroy and J\'er\^ome Vouillon and Damien Doligez",
title = "The {Objective} {Caml} system",
year = "1996",
howpublished = "Software and documentation available on the Web,
\texttt{http://pauillac.inria.fr/ocaml/}"
}
@book{Paulson-working-ML,
author = "Lawrence C. Paulson",
title = "{ML} for the working programmer",
publisher = "Cambridge University Press",
year = "1991"}
@inproceedings{bird11,
author="R. S. Bird",
title="An introduction to the {T}heory of {L}ists",
booktitle="Logic of programming and calculi of discrete
design",
year=1987,
editor="Manfred Broy",
organization="{NATO ASI} Series"
}
@phdthesis{bratvold-thesis,
author="T. Bratvold",
title="Skeleton-Based Parallelisation of Functional Programs",
school="Heriot-Watt University",
year="1994" }
@inproceedings{darli-to-1,
author="J. Darlington and Y. Guo and H. W. To and J. Yang",
title="{Parallel Skeletons for Structured Composition}",
booktitle="Fifth ACM SIGPLAN Symposium on Principles and
Practice of Parallel Programming",
year="1995",
publisher="ACM Press",
month="July" }
@inproceedings{darli-to-2,
author="J. Darlington and Y. Guo and H. W. To and Q. Wu and
J. Yang and M. Kohler",
title="{Fortran-S: A Uniform Functional Interface to Parallel
Imperative Languages}",
booktitle="Third Parallel Computing Workshop (PCW'94)",
year="1994",
publisher="Fujitsu Laboratories Ltd.",
month="November" }
@article{fgcs-firenze,
author="M. Danelutto and R. Di Meglio and S. Orlando and
S. Pelagatti and M. Vanneschi",
title="A methodology for the development and support of
massively parallel programs",
journal="Future Generation Computer Systems",
publisher="North Holland",
year=1992,
month=jul,
pages="205--220",
number="1--3",
volume=8
}
@inproceedings{ic-parle-93-1,
author="J. Darlington and A. J. Field and P. G. Harrison and P. H. J. Kelly and D. W. N. Sharp and Q. Wu",
title="{Parallel Programming Using Skeleton Functions}",
booktitle="PARLE'93",
year="1993",
pages="146--160",
publisher="Springer",
note="LNCS No. 694" }
@techreport{mpi,
author="M.P.I.Forum ",
title="{Document for a standard message-passing interface}",
institution="University of Tennessee",
year="1993",
number="CS-93-214",
month=nov }
@article{orlando-grosso,
author="B. Bacci and M. Danelutto and S. Orlando and S.
Pelagatti and M. Vanneschi",
title = "{P$^3$L: A Structured High level programming
language and its structured support}",
volume = 7,
year = 1995,
journal = "Concurrency Practice and Experience",
number = 3,
pages = {225--255},
month = may,
}
@article{skilli-cal-jpds,
author="D. B. Skillicorn and W. Cai ",
title="A Cost Calculus for Parallel Functional Programming",
journal= jpdc,
volume="28",
year="1995",
pages="65--83",
}
@techreport{tesi-susanna,
author = "S. Pelagatti",
title = "{A methodology for the development and the support of
massively parallel programs}",
institution = "Dept. of Computer Science -- Pisa",
number = "TD-11/93",
note = "PhD Thesis",
year = "1993"
}
@inproceedings{serot97,
author = "Jocelyn S\'erot",
title = "{Embodying parallel functional skeletons: an experimental
implementation on top of MPI}",
booktitle = "Proceedings of the EuroPar 97",
note = "Passau, Germany",
year = 1997,
publisher = "Springer Verlag, LNCS No. 1300",
monht = "August"
}
@inproceedings {FournetGonthier96_rcham-join-calculus,
author = {C\'{e}dric Fournet and
Georges Gonthier},
title = {The Reflexive Chemical Abstract Machine
and the Join-Calculus},
booktitle = "Proceedings of the 23rd ACM Symposium on
Principles of Programming Languages",
pages = "372--385",
publisher = "ACM",
address = "St. Petersburg Beach, Florida",
month = jan # " 21-24",
year = "1996"
}
@PhdThesis{KnabePhD,
AUTHOR = {Knabe, F. C.},
TITLE = {Language Support for Mobile Agents},
SCHOOL = {School of Computer Science, Carnegie Mellon University},
YEAR = {1995},
NOTE = {CMU-CS-95-223; also published as Technical Report ECRC-95-36}
}
@MANUAL{FournetMaranget_Join_calculus_language,
TITLE = {The Join-Calculus language},
AUTHOR = {Cedric Fournet and Luc Maranget},
ORGANIZATION = {INRIA},
MONTH = jun,
YEAR = {1997},
NOTE = {Software and documentation available electronically, ({\tt http://pauil\-lac.in\-ria.fr/jo\-in})}
}
@TechReport{clement04,
author = {{Fran\c cois} Cl\'ement and Roberto {Di Cosmo} and Zheng Li and Vincent Martin and Arnaud Vodicka and Pierre Weis},
title = {Parallel Programming with the System Applications to Numerical Code Coupling},
institution = {INRIA Roquencourt},
year = {2004},
OPTkey = {},
OPTtype = {},
number = {RR-5131},
OPTaddress = {},
OPTmonth = {},
OPTnote = {},
OPTannote = {}
}
@TECHREPORT{OcamlP3l,
AUTHOR = {Marco Danelutto and Di Cosmo, Roberto and Xavier Leroy and Susanna Pelagatti},
TITLE = {{\tt OcamlP3l}: a functional parallel programming system},
INSTITUTION = "LIENS - DMI, Ecole Normale Sup\'erieure",
NUMBER = "98-01",
YEAR = 1998,
DMI-CATEGORY = {rapliens},
DMI-WAIS = "YES",
DMI-TIME = {},
DMI-STATUS = {},
DMI-OUTDATES = {},
DMI-EQUIPE = "eq-lambda",
URL = "http://www.dmi.ens.fr/ftp/pub/dmi/users/liens/liens-98-1.A4.ps.Z",
HTMLURL = "\htmladdnormallink{ps}{http://www.dicosmo.org/TR/LIENS-93-11.dvi.Z}",
ABSTRACT-URL="http://www.dmi.ens.fr/EDITION/preprints/Index.liens.98.html"
}
@ARTICLE{Ocamlp3lMlw98,
AUTHOR = {Marco Danelutto and Di Cosmo, Roberto and Xavier Leroy and Susanna Pelagatti},
TITLE = {Parallel Functional Programming with Skeletons: the ocamlp3l experiment},
JOURNAL = "The ML Workshop",
YEAR = {1998},
ADDRESS = "Baltimore",
DMI-CATEGORY = {autc}
}
@InCollection{skbook02,
author = {S. Pelagatti},
title = {Task and Data parallelism in {P3L}},
booktitle = {Patterns and Skeletons for Parallel and Distributed Computing},
OPTcrossref = {},
OPTkey = {},
pages = {155--186},
publisher = {Springer-Verlag, London},
year = {2002},
editor = {Fethi A. Rabhi and Sergei Gorlatch},
OPTvolume = {},
OPTnumber = {},
OPTseries = {},
OPTtype = {},
chapter = {6},
OPTaddress = {},
OPTedition = {},
OPTmonth = {},
OPTnote = {},
OPTannote = {}
}
@article{hlpp03,
author = {Roberto Di~Cosmo and Susanna Pelagatti},
title = {A cost calculus for dense array distributions},
journal = {Parallel Processing Letters},
pages = {377--388},
year = {2003},
OPTeditor = {},
volume = {13},
number = {3},
OPTseries = {},
OPTaddress = {},
OPTmonth = {},
OPTorganization = {},
OPTpublisher = {},
OPTannote = {}
} the special issue
of Computer Languages, Systems and Structures devoted
to Semantics and Cost models for High-Level Parallel Programming.
@unpublished{clss05,
author = {Roberto Di~Cosmo and Zheng Li and Susanna Pelagatti},
title = {A Calculus for Parallel Computations over Multidimensional Dense
Arrays},
note = { to appear on \emph{Computer Languages, Systems and Structures} special issue on ``Semantics and Cost models for High-Level Parallel Programming''},
year = {2005},
OPTeditor = {},
volume = { },
number = { },
OPTseries = {},
OPTaddress = {},
OPTmonth = {},
OPTorganization = {},
OPTpublisher = {},
OPTannote = {}
}
@Misc{Zheng03,
OPTkey = {},
author = {Zheng Li},
title = {Efficient Implementation of {MAP} Skeleton for the {OcamlP3L} System},
howpublished = {DEA Report, Universit\'e PARIS VII},
month = {July},
year = {2003},
OPTnote = {},
OPTannote = {}
}
@ARTICLE{parco02,
AUTHOR = {J. S\'erot and D. Ginhac},
TITLE = {Skeletons for parallel image processing : an overview of the {SKiPPER} project},
JOURNAL = {Parallel Computing},
VOLUME = 28,
NUMBER = 12,
PAGES = {1785-1808},
MONTH = {Dec},
YEAR = 2002
}
