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

@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

Speculative Computation

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

Implementation Techniques

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

Program Development Tools

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

Languages and Conceptual Models

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

Systems

Takashi Chikayama, Ryozo Kiyohara: Parallel Inference System Research in the Japanese FGCS Project. 338-351
David L. Waltz: Massively Parallel Symbolic Computing. 352-358
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
Carl Bruggeman, R. Kent Dybvig: A New Architecture Design Paradigm for Parallel Computing in Scheme. 362-379
James Philbin: Customizable Policy Management in the Sting Operating System. 380-401
Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa: An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers. 402-405

Panel Discussions

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