Parallel Symbolic Computing 1992: Cambridge, MA, USA

Robert H. Halstead Jr., Takayasu Ito (Eds.): Parallel Symbolic Computing: Languages, Systems, and Applications, US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992, Proceedings. Lecture Notes in Computer Science 748 Springer 1993, ISBN 3-540-57396-8 BibTeX

@proceedings{DBLP:conf/psc/1992,
  editor    = {Robert H. Halstead Jr. and
               Takayasu Ito},
  title     = {Parallel Symbolic Computing: Languages, Systems, and Applications,
               US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992, Proceedings},
  booktitle = {Parallel Symbolic Computing},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {748},
  year      = {1993},
  isbn      = {3-540-57396-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Robert H. Halstead Jr., Takayasu Ito: Overview of Papers from U.S./Japan Workshop on Parallel Symbolic Computing. 1-10 BibTeX

Speculative Computation

Laxmikant V. Kalé, Balkrishna Ramkumar, Vikram A. Saletore, Amitabh Sinha: Prioritization in Parallel Symbolic Computing. 12-41 BibTeX
Yukio Kaneda, Hideo Matsuda, Shigeo Suzuka: A Priority Control System for OR-Parallel Prolog and Its Performance Evaluation. 42-53 BibTeX
Randy B. Osborne: Extending the Multilisp Sponsor Model to Deal with Intertask Synchronization Side Effects. 54-86 BibTeX

Implementation Techniques

Eric Mohr: Distillations of Dynamic Partitioning Experience. 88-93 BibTeX
Marc Feeley: A Message Passing Implementation of Lazy Task Creation. 94-107 BibTeX
Takayasu Ito, Tomohiro Seino: P-Continuation Based Implementation of PaiLisp Interpreter. 108-154 BibTeX
Masami Hagiya: Running Higher-Order Unification in PaiLisp. 155-160 BibTeX

Program Development Tools

Hidehiko Tanaka, Jun'ichi Tatemura: HyperDEBU: A Multiwindow Debugger for Parallel Logic Programs. 162-182 BibTeX
Robert H. Halstead Jr., David A. Kranz, Patrick Sobalvarro: MulTVision: A Tool for Visualizing Parallel Program Executions. 183-204 BibTeX
Kinson Ho, Paul N. Hilfinger: Managing Side Effects on Shared Data. 205-232 BibTeX

Languages and Conceptual Models

Christian Queinnec, David De Roure: Design of a Concurrent and Distributed Language. 234-259 BibTeX
Suresh Jagannathan: TS/Scheme: Distributed Data Structures in Lisp. 260-267 BibTeX
Taiichi Yuasa: A SIMD Environment TUPLE for Parallel List Processing. 268-286 BibTeX
Julian A. Padget, Duncan J. Batey, Simon C. Merrall: Architecture Independence and Coordination. 287-299 BibTeX
Benny Yih, Mark R. Swanson, Robert R. Kessler: Persistent Immutable Shared Abstractions. 300-317 BibTeX
Mario Tokoro, Ichiro Satoh: Asynchrony and Real-Time in Distributed Systems. 318-330 BibTeX
Naoki Kobayashi, Akinori Yonezawa: Asynchronous Communication Model Based on Linear Logic. 331-336 BibTeX

Systems

Takashi Chikayama, Ryozo Kiyohara: Parallel Inference System Research in the Japanese FGCS Project. 338-351 BibTeX
David L. Waltz: Massively Parallel Symbolic Computing. 352-358 BibTeX
Anant Agarwal, Jonathan Babb, David Chaiken, Godfrey D'Souza, Kirk L. Johnson, David A. Kranz, John Kubiatowicz, Beng-Hong Lim, Gino Maa, Kenneth Mackenzie, Daniel Nussbaum, Mike Parkin, Donald Yeung: Sparcle: A Multithreaded VLSI Processor for Parallel Computing. 359-361 BibTeX
Carl Bruggeman, R. Kent Dybvig: A New Architecture Design Paradigm for Parallel Computing in Scheme. 362-379 BibTeX
James Philbin: Customizable Policy Management in the Sting Operating System. 380-401 BibTeX
Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa: An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers. 402-405 BibTeX

Panel Discussions

Takayasu Ito, Rishiyur S. Nikhil, Julian A. Padget, Norihisa Suzuki, Taiichi Yuasa: Massively Parallel Architectures and Symbolic Computation (panel). 408-416 BibTeX
Robert H. Halstead Jr., Takashi Chikayama, Richard P. Gabriel, David L. Waltz, Akinori Yonezawa: Applications for Parallel Symbolic Computation (panel). 417 BibTeX