Proceedings of the International Conference on Parallel Processing, ICPP '88, The Pennsylvania State University, University Park, PA, USA, August 1988, ISBN 0-271-00654-4, Volume 2: Software

Logic Programming

• 
  Jie-Yong Juang, Ting-Lu Huang, Ed Freeman: Parallelism in Connection-Graph-Based Logic Inference. 1-8
• 
  Ian T. Foster: Parallel Implementation of Parlog. 9-16
• 
  Manuel V. Hermenegildo, Evan Tick: Memory Performance of AND-parallel Prolog on Shared-Memory Architectures. 17-21
• 
  Arvind K. Bansal, Leon Sterling: Compiling Enumerate-and-Filter Programs for Efficient Execution Under Committed-choice and-Parallelism. 22-25

Compilers I

• 
  Weijia Shang, José A. B. Fortes: Independent Partitioning of Algorithms With Uniform Data Dependencies. 26-33
• 
  Harlan E. Husmann, David J. Kuck, David A. Padua: Automatic Compound Function Definition for Multiprocessors. 34-41
• 
  Gyungho Lee: Automatic Restructuring of Conditional Cyclic Loops. 42-45

Software Tools

• 
  Mary L. Bailey, David Socha, David Notkin: Debugging Parallel Programs using Graphical Views. 46-49
• 
  Thomas Bemmerl: An Integrated and Portable Tool Environment for Parallel Computers. 50-53
• 
  Charles E. McDowell: Viewing Anomalous States in Parallel Programs. 54-57
• 
  Kevin Smith, William F. Appelbe: PAT : An Interactive Fortran Parallelizing Assistant Tool. 58-62
• 
  Pradip Bose: Heuristic Rule-Based Program Transformations for Enhanced Vectorization. 63-66
• 
  Sherryl Tomboulian, Thomas W. Crockett, David Middleton: A Visual Programming Environment for the Navier-Stokes Computer. 67-71

Languages

• 
  P. David Stotts: The PFG Language: Visual Programming for Concurrent Computation. 72-79
• 
  Stephen Sobeck, Muhammad Azam, James C. Browne: Architecture and Language Independent Parallel Programming: A Feasibility Demonstration. 80-83
• 
  Allan L. Fisher, Peter T. Highnam: Communication and code optimization in SIMD programs. 84-88
• 
  Lenore M. Restifo Mullin, Ashok Krishnamurthi, Deepa Iyengar: The Design And Development of a Basis alpha_L, for Formal Functional Programming Languages with Arrays Based on a Mathematics of Arrays. 89-93

Distributed Software

• 
  Kai Li: IVY: A Shared Virtual Memory System for Parallel Computing. 94-101
• 
  Nicholas S. Bowen, Christos Nikolaou, Arif Ghafoor: Hierarchial Workload Allocation for Distributed Systems. 102-109
• 
  Tom Geigel, Mike Pagan: A Distributed Application for the PHARROS Project. 110-113

Compilers II

• 
  Henry G. Dietz: Finding Large-Grain Parallelism In Loops with Serial Control Dependencies. 114-121
• 
  Lee Badger, Mark Weiser: Minimizing Communication for Synchronizing Parallel Dataflow Programs. 122-126
• 
  Bruno R. Preiss, V. Carl Hamacher: Semi-Static Dataflow. 127-134

Software

• 
  Tom Bennet: Using Control States for Parallelism Extraction. 135-139
• 
  Karthikeyan S. Natarajan, Vivek Sarkar: Processor Scheduling Algorithms for Constraint-Satisfaction Search Problems. 140-149
• 
  Ryszard Janicki, Peter E. Lauer: On the Semantics Of Priority Systems. 150-156
• 
  Kenneth G. Krauss, Samuel L. Gulden: A Petri Net Method for the Formal Verification of Parallel Processes. 157-160

Shared Memory Software

• 
  Michael Weiss, C. Robert Morgan, Peter Belmont, Zhixi Fang: Dynamic Scheduling and Memory Management for Parallel Programs. 161-165
• 
  Albert J. Musciano, Thomas L. Sterling: Efficient Dynamic Scheduling of Medium-Grained Tasks for General Purpose Parallel Processing. 166-175
• 
  Hwa-chung Feng, Richard Fujimoto: A Shared Memory Algorithm And Performance Evaluation Of the Generalized Alternative Construct In CSP. 176-179
• 
  Silvano Rivoira: Design Strategies for the Run-Time Support To the ADA Rendezvous. 180-187

Information Spreading

• 
  T. M. Ravi, David Jefferson: A Basic Protocol for Routing Messages to Migrating Processes. 188-197
• 
  Yijie Han, Raphael A. Finkel: An Optimal Scheme for Disseminating Information. 198-203
• 
  Philip K. McKinley: Multicast Routing in Spanning Bus Hypercubes. 204-211

Compilers III

• 
  Vincent A. Guarna Jr.: A Technique for Analyzing Pointer and Structure References In Parallel Restructuring Compilers. 212-220
• 
  Zhiyuan Li, Pen-Chung Yew: Interprocedural Analysis for Parallel Programs. 221-228
• 
  Ron Cytron, Steve Karlovsky, Kevin P. McAuliffe: Automatic Management of Programmable Caches. 229-238

Operating Systems

• 
  Virginia Mary Lo: Algorithms for Static Task Assignment and Symmetric Contraction in Distributed Computing Systems. 239-244
• 
  Robert H. Thomas, William R. Crowther: The Uniform System: An approach to runtime support for large scale shared memory parallel processors. 245-254
• 
  Michael L. Scott, Thomas J. LeBlanc, Brian D. Marsh: Design Rationale for Psyche a General-Purpose Multiprocessor Operating System. 255-262