Path: utzoo!dptcdc!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!cs.utexas.edu!uunet!ncrlnk!ncrcae!hubcap!Nicholas
From: carriero@YALE.EDU (Nicholas Carriero)
Newsgroups: comp.parallel
Subject: Re: Embedding Linda and other joys of concurrent logic programming
Message-ID: <5132@hubcap.clemson.edu>
Date: 17 Apr 89 12:35:15 GMT
Sender: fpst@hubcap.clemson.edu
Lines: 245
Approved: parallel@hubcap.clemson.edu

We've gotten a few email messages about the CACM article.  I suspect
we will being getting a few more.  So expect a response to Udi's
interesting comments in a forthcoming note that will attempt to
address his and others' remarks.  We will probably send it sometime
towards the end of next week.

Udi, I wouldn't want to keep you in suspense:

  Carriero and Gelernter conclude that "the tools in concurrent logic
  languages are too policy-laden and inflexible to serve as a good basis
  for most parallel programs". ... I wonder if Carriero and Gelernter still
  stand by this statement.

Yes, foursquare.

Sometime ago someone posted a request for a bibliography.  I sent
something (probably to the wrong address) which hasn't appeared, so
I've appended it below.

-Nick Carriero


In response to a request for a bibliography on Linda, I've cut and
pasted from four sources to produce this somewhat strange collection
of citations.  Sorry about the variety of formats, but I haven't time
to clean this up.  While I believe I have eliminated duplicate
citations, I have not tried to rationalize the citation labels used,
so there might be some duplicates or inconsistencies in those.

Two refs with incomplete data:

1) U Tokyo paper in OOPSLA 88 on Objects and Tuple Space.

2) Lothar Borrmann and Martin Herdieckerhoff, Parallel Processing
   Performance in a Linda System.  Siemens AG, Munich, Germany

Three new Yale TRs:
1) The Implementation and Performance of Hypercube Linda
 Robert Bjornson, Nicholas Carriero and David Gelernter
 March, 1989

2) Multiple tuple spaces in Linda
 David Gelernter
 March, 1989

3) Information Management in Linda
 David Gelernter
 April, 1989

Now for TeX-like citations:

\bibitem{BoHeKl88} Borrmann, Herdieckerhoff, Klien,
{\it Implementation of the Linda Concept on a Hierarchical
Multiprocessor}\/, Conpar Proceedings, 1988.

% To appear in CACM:
\bibitem{CaGele88} Carriero and Gelernter,
{\it Linda in Context}\/, Yale, April 1988

% To appear in Computing Surveys
\bibitem{CaGe88} Carriero and Gelernter,
{\it How to write parallel Programs}\/, Yale, May 1988.

\bibitem{Gel88} David Gelernter,
{\it Parallelism to the People}\/, BYTE, Jan. 1989.

\bibitem{KrAhCaGe88} Krishnaswarmy, Ahuja, Carriero, Gelernter,
{\it The Architecture of a Linda Coprocessor}\/, Proceeding Int.
Architecture conference, 1988.

\bibitem{Xu88} Xu, {\it A fault-tolerant network kernel for Linda}\/,
MIT/LCS/TR-424, MIT Lab. for Comp. Sci., Aug. 1988.


% BIBTEX file for the Linda publications.
%
% Entries are alphabetical with respect to the first author's
% last name.  An author's works are ordered chronologically
% with the most recent article first.  The key for an entry
% is the author's last name concatenated with the last two
% digits of the publication year.  A lower case character is
% added if an author has more than one publication in a single year.
%
% DJ Berndt

@article{Ahuja88,
author = {Ahuja, Sudhir and Carriero, Nicholas J. and
Gelernter, David H. and Krishnaswamy, Venkatesh},
title = {Matching Language and Hardware for Parallel Computation
in the {L}inda Machine},
journal = {IEEE Transactions on Computers},
volume = {37},
number = {8},
pages = {921--929},
month = {August},
year = {1988}
}

@article{Ahuja86a,
author = {Ahuja, Sudhir and Carriero, Nicholas J. and Gelernter, David H.},
title = {{L}inda and Friends},
journal = {IEEE Computer},
volume = {19},
number = {8},
pages = {26--34},
month = {August},
year = {1986},
annote = {A good presentation of Linda stressing its support
for an uncoupled programming style.  MA}
}

@inproceedings{Ahuja86b,
author = {Ahuja, Sudhir and Carriero, Nicholas J. and Gelernter, David H.},
title = {Progress Towards a {L}inda Machine},
booktitle = {Proceedings of the International Conference on
Computer Design},
month = {October},
year = {1986},
pages = {97--101}
}

@manual{Berndt89,
author = {Berndt, Donald J.},
title = {{C}-{L}inda Reference Manual},
organization = {Scientific Computing Associates},
month = {January},
year = {1989}
}

@techreport{Bjornson88,
author = {Bjornson, Robert and Carriero, Nicholas J. and
Gelernter, David H. and Leichter, Jerrold S.},
title = {{L}inda, the Portable Parallel},
institution = {Yale University Department of Computer Science},
month = {January},
year = {1988},
type = {Research Report},
number = {520}
}

@inproceedings{Carriero88,
author = {Carriero, Nicholas J. and Gelernter, David H.},
title = {Applications Experience with {L}inda},
booktitle = {Proceedings of the ACM Symposium on
Parallel Programming},
month = {July},
year = {1988}
}

@phdthesis{Carriero87,
author = {Carriero, Nicholas J.},
title = {Implementing Tuple Space Machines},
school = {Yale University},
address = {New Haven, Connecticut},
year = {1987},
note = {Department of Computer Science}
}

@inproceedings{Carriero86a,
author = {Carriero, Nicholas J. and Gelernter, David H. and
Leichter, Jerrold S.},
title = {Distributed Data Structures in {L}inda},
booktitle = {Proceedings of the ACM Symposium on
Principles of Programming Languages},
month = {January},
year = {1986},
address = {St. Petersburg, Florida}
}

@article{Carriero86b,
author = {Carriero, Nicholas J. and Gelernter, David H.},
title = {The {S}/{N}et's {L}inda Kernel},
journal = {ACM Transactions on Computer Systems},
pages = {110--129},
month = {May},
year = {1986}
}

@inproceedings{Gelernter87,
author = {Gelernter, David H. and Jagganathan, S. and London, T.},
title = {Environments as First Class Objects},
booktitle = {Proceedings of the ACM Symposium on
Principles of Programming Languages},
month = {January},
year = {1987}
}

@article{Gelernter86,
author = {Gelernter, David H.},
title = {Domesticating Parallelism},
journal = {IEEE Computer},
volume = {19},
number = {8},
month = {August},
year = {1986},
pages = {12--16},
note = {Guest editor's introduction.}
}

@article{Gelernter85a,
author = {Gelernter, David H.},
title = {Generative Communication in {L}inda},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {7},
number = {1},
month = {January},
year = {1985},
pages = {80--112}
}

@inproceedings{Gelernter85b,
author = {Gelernter, David H. and Carriero, Nicholas J. and Chandran, S. and
Chang, S.},
title = {Parallel Programming in {L}inda},
booktitle = {Proceedings of the International Conference on
Parallel Processing},
month = {August},
year = {1985}
}

@phdthesis{Gelernter82,
author = {Gelernter, David H.},
title = {An Integrated Microcomputer Network for Experiments in
Distributed Processing},
school = {State University of New York at Stony Brook},
address = {Stony Brook, New York},
year = {1982},
note = {Department of Computer Science}
}

@inproceedings{Lucco86,
author = {Lucco, S.},
title = {A Heuristic {L}inda Kernel for Hypercube Multiprocessors},
booktitle = {Proceedings of SIAM Conference on
Hypercube Multiprocessors},
month = {September},
year = {1986}
}

@inproceedings{Whiteside88,
author = {Whiteside, Robert A. and Leichter, Jerrold S.},
title = {Using {L}inda for Supercomputing on a Local Area Network},
booktitle = {Proceedings of Supercomputing 88},
year = {1988}
}