2. PPOPP 1990: Seattle, Washington
David A. Padua (Ed.): Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), Seattle, Washington, USA, March 14-16, 1990. ACM 1990 ISBN 0-89791-350-7
Session I
Anne Dinning, Edith Schonberg: An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection. 1-10
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

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

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
Maurice Herlihy: A Methodology for Implementing Highly Concurrent Data Structures. 197-206



