bharat@logic.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). 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 ______________________________