bharat@cs.Buffalo.EDU (Bharat Jayaraman) (10/04/90)
NACLP '90 WORKSHOP
on
PARALLEL EXECUTION OF LOGIC PROGRAMS
November 2, 1990
Hyatt Regency, Austin, Texas
This workshop is devoted to current issues and new directions in
parallel execution of logic programs, and will be held immediately
following the North American Conference on Logic Programming (NACLP),
Oct 28--Nov 1. The workshop will feature 16 presentations.
Attendance at the workshop is open to all NACLP '90 registrants, but,
due to space limitations and the need to provide better interaction,
the number will be limited to 50. If you wish to attend, inform the
workshop organizer at the address given below of your intention to attend.
Prof. Bharat Jayaraman
226 Bell Hall
Department of Computer Science
State University of New York at Buffalo
Buffalo, NY 14260
e-mail: bharat@cs.buffalo.edu
tel: 716-636-3194
________________________________
Session 1, 9:00 -- 10:20, room A
________________________________
Automatic Cost Analysis of Logic Programs
Saumya Debray, University of Arizona
A Practical Perspective on Parallel Prolog Execution
Ashok Singhal, University of California at Berkeley
(presented by Peter van Roy, UC - Berkeley)
Transparent Exploitation of Parallelism in Logic Programs
Manuel Hermenegildo, University of Madrid (UPM)
Logic Programs Can Benefit from Data Parallelism
Arvind Bansal, Kent State University
___________________
Break, 10:20--10:40
___________________
_________________________________
Session 2, 10:40 -- 12:00, room A
_________________________________
The Andorra Kernel Language: Recent Developments
Sverker Janson, Swedish Institute of Computer Science
An Interpreter for the Extended Andorra Model with Implicit Control
Gopal Gupta, U. of Bristol and Univ of North Carolina at Chapel Hill
An Overview of Parallel Logic Programming Research at Melbourne University
Lee Naish, Melbourne University
Binding Environments, Stack Management, and Scheduling Heuristics
for an AND/OR Parallel Prolog Execution Model
Chien Chen (UC - Berkeley) , Yale Patt (Univ of Michigan),
and Alvin Despain (Univ of Southern California, Los Angeles)
____________________
LUNCH: 12:00 -- 1:00
____________________
_______________________________
Session 3, 1:00 -- 2:20, room A
_______________________________
Consistent First Solution Speedups in Parallel Execution of Logic Programs
Vikram Saletore, B. Ramkumar, and L.V. Kale',
Univ. of Illinois at Urbana-Champaign
The Engine-Scheduler Interface in the Aurora Or-parallel Prolog System
Peter Szeredi (Univ of Bristol) and
Mats Carlsson (Swedish Institute of Computer Science)
A Parallel Theorem Prover with Heuristic Work Distribution
Christian B. Suttner, Tech. University of Munich
Parlog Applications in Semantic Disambiguation
Stephen Helmreich and Eric Iverson, New Mexico State Univ.
_________________
Break, 2:40--3:10
_________________
_______________________________
Session 4, 3:10 -- 4:30, room A
_______________________________
The ElipSys Project and VM Support for Parallel Logic Systems
S.A.Delgado-Rannauro, M. Dorochevsky, K. Schuerman, A. Veron, J. Xu,
ECRC, West Germany
A Parallel Copying Garbage Collection for KL1 on a Shared-memory Multiprocessor
Akira Imai, Keiji Hirata, and Kazuo Taki,
Institute for New Generation Computing Technology, Tokyo
Parallel Garbage Collection for the Aurora System
Patrick Weemeeuw, Univ. of Leuven, Belgium
Towards an UNCOL for Concurrent Logic Programming Languages
Christopher Haynes (Indiana University) and
Richard Salter (Oberlin College)
___________________
Break, 4:30 -- 4:45
___________________
______________________________
Discussion Session, 4:45--6:00
______________________________