2. PPOPP 1990: Seattle, Washington

Session I

• Anne Dinning, Edith Schonberg:
  An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection. 1-10
  
• Wenwey Hseush, Gail E. Kaiser:
  Modeling Concurrency in Parallel Debugging. 11-20
  
• David Callahan, Ken Kennedy, Jaspal Subhlok:
  Analysis of Event Synchronization in A Parallel Programming Tool. 21-30
  

Session II

• Evan Tick, Nobuyuki Ichiyoshi:
  Programming Techniques for Efficiently Exploiting Parallelism in Logic Programming Languages. 31-39
  
• Vincenzo Ambriola, Paolo Ciancarini, Marco Danelutto:
  Design and Distributed Implementation of the Parallel Logic Language Shared Prolog. 40-49
  
• Masakazu Furuichi, Kazuo Taki, Nobuyuki Ichiyoshi:
  A Multi-Level Load Balancing Scheme for OR-Parallel Exhaustive Search Programs on the Multi-PSI. 50-59
  

Session III

• Howard P. Katseff, Robert D. Gaglianello, Bethany S. Robinson:
  The Evolution of HPC/VORX. 60-69
  
• Michael L. Scott, Thomas J. LeBlanc, Brian D. Marsh:
  Multi-Model Parallel Programming in Psyche. 70-78
  
• Kai Li, Jeffrey F. Naughton, James S. Plank:
  Real-Time, Concurrent Checkpoint for Parallel Programs. 79-88
  

Session IV

• David M. Nicol:
  Analysis of Synchronization in Massively Parallel Discrete-Event Sumulations. 89-98
  
• Balkrishna Ramkumar, Laxmikant V. Kalé:
  A Chare Kernel Implementation of a Parallel Prolog Compiler. 99-108
  
• Pau S. Chang, Gregory K. Egan:
  An Implementation of a Barotropic Numerical Weather Prediction Model in the Functional Language SISAL. 109-117
  

Session V

• Rajiv Gupta:
  Employing Register Channels for the Exploitation of Instruction Level Parallelism. 118-127
  
• Robert Hieb, R. Kent Dybvig:
  Continuations and Concurrency. 128-136
  
• Deborah Whitfield, Mary Lou Soffa:
  An Approach to Ordering Optimizing Transformations. 137-146
  

Session VI

• Michael Factor:
  The Process Trellis Architectur for Real-Time Monitors. 147-155
  
• Wilson Harvey, Dirk Kalp, Milind Tambe, David McKeown, Allen Newell:
  The Effectiveness of Task-Level Parallelism for High-Level Vision. 156-167
  
• John K. Bennett, John B. Carter, Willy Zwaenepoel:
  Munin: Distributed Shared Memory Based on Type-Specific Memory Coherence. 168-176
  

Session VII

• Charles Koelbel, Piyush Mehrotra, John Van Rosendale:
  Supporting Shared Data Structures on Distributed Memory Architectures. 177-186
  
• Andrew A. Chien, William J. Dally:
  Concurrent Aggregates (CA). 187-196
  
• Maurice Herlihy:
  A Methodology for Implementing Highly Concurrent Data Structures. 197-206