gupta@compsci.bristol.ac.uk (05/30/91)
ICLP '91 Pre-Conference Workshop on
Parallel Execution of Logic Programs
Paris, France
June 24th, 1991
8:00 Shuttle to INRIA (from place Charles de Gaulle - Etoile)
Session I: Implementation Issues
9:00 -- 10:40. Session Chair: Tony Beaumont
A Debugger for Strand
Martin Gittins,
Strand Software Technologies Limited, UK.
Constraints Handling and Garbage Collection in ElipSys
Michel Dorochevsky, Kees Schuerman, Andre Veron,
and Jiyang Xu, ECRC, Germany.
Controlling Search with Meta-Brave
P. Kefalas and T.J. Reynolds,
University of Essex, UK.
Optimization Problems in Aurora (invited)
Peter Szeredi, SZKI, Hungary.
10:40 -- 11:00 Break
Session II: The Andorra Model
11:00 -- 12:40. Session Chair: Gopal Gupta
Title to be announced (invited)
Seif Haridi, SICS, Sweden.
KAPPA: A Kernel Andorra Prolog Parallel Architecture Design
Remco Moolenaar, Henk Van Acker, Bart Demoen,
KU Leuven, Belgium.
A Flexibel Scheduler for the Andorra-I System
Ines de Castro Dutra, University of Bristol, UK.
The Pandora Abstract Machine: An Extension of JAM
Reem Bahgat, City University of London, UK.
13:00 -- 14:00 Lunch Break (lunch provided by INRIA)
Session III: Performance Evaluation
14:00 -- 15:15. Session Chair: Manuel Heremengildo
Performance of MUSE System on the BBN Butterfly
Khayri Ali, Roland Karlsson, Shyam Mudambi,
SICS, Sweden and Brandeis University, USA.
Speculative Scheduling in the Aurora System: Performance Results
Tony Beaumont, University of Bristol, UK.
Performance of Competetive Or-parallelism
Wolfgang Ertel, TU Munchen, Germany.
15:15 -- 15:45 Break
Session IV: Models of Parallel Execution
15:45 -- 17:25, Session Chair: Khayri Ali
A Stack Copying Approach to And-Or Parallelism
Gopal Gupta and Manuel Hermenegildo,
University of Bristol, UK and UPM, Spain.
Blackboard Communication in Prolog
Koenraad O. M. Bosschere,
State University of Ghent, Belgium.
Data Parallelism in Logic Programming
Giancarlo Succi, Giuseppe Marino,
Universita di Genova, Italia.
Efficient Binding Management In Or-parallel Model
H. Bourzoufi, G. Goncalves, P. Lecouffe, B. Toursel,
Universite de LILLE, France.
18:00 Shuttle to place Charles de Gaulle - Etoile
If you plan to participate, please note the following:
-- The workshop will be held at INRIA, which is in the
suburbs of Paris, near Versailles.
-- Free transportation to and from INRIA will be provided.
A shuttle will leave Paris, place Charles de Gaulle - Etoile
(in front of the Parking Foch) at 8:00 am for INRIA. It will
drive the participants back to Paris, place Charles de Gaulle at
6:00 pm. Public transportation is not recommended.
-- Each talk will last 25 minutes which includes 5 minutes
for questions.
-- Informal proceedings would be available (cost 50FF).
-- There is no extra registration fees for the workshops
for people attending the conference. There is a special
registration rate for people attending only the workshops and
not the conference. See the conference program. (You need to
tick box W1 in your conference registration form to indicate
that you want to attend this workshop).
-- More information about the conference and how to register
can be obtained from: INRIA Rocquencourt, Bureau des Colloques,
Domaine de Volceau -- Rocquencourt-BP 105, 78153 Le Chesnay Cedex,
France or by email from symposia@cluny.inria.fr.
-------------------------------------------------------------------------
-Tony Beaumont and Gopal Gupta,
Parallel Logic Programming Research Group,
Department of Computer Science,
University of Bristol,
Queens's Building, University Walk,
Bristol, BS8 1TR.
email : US: {gupta, beaumont}%compsci.bristol.ac.uk@NSS.Cs.Ucl.AC.UK
Europe: {gupta, beaumont}@compsci.bristol.ac.uk
%-------------Here is a TeX version of the above-------------
%%%%Run this through TeX (not LATex)%%%
\magnification=1095
\baselineskip=12pt
\parskip=4pt plus 1pt minus 1pt
\overfullrule=0pt
\hsize=5.2 true in
\vsize=9.0 true in
\hoffset=0.3 true in
\pageno = 1
\centerline{\bf ICLP '91 Pre-Conference Workshop on}
\centerline{\bf Parallel Execution of Logic Programs}
\medskip
\centerline{Paris, France}
\medskip
\centerline{June 24th, 1991}
\bigskip
\bigskip
{\settabs\+abcdefg&abcdeff&abde&abdde&\cr
\+&8:00 &{\bf Bus to INRIA} (place Charles de Gaulle - Etoile)\cr
\bigskip
\+&{\bf Session I: Implementation Issues}\cr
\+&{9:00 -- 10:40. Session Chair: Tony Beaumont}\cr
\medskip
\+&&{\it A Debugger for Strand} \cr
\+&&&{\bf Martin Gittins}, Strand Software Technologies Limited, UK.\cr
\medskip
\+&&{\it Constraints Handling and Garbage Collection in ElipSys} \cr
\+&&&{\bf Michel Dorochevsky, Kees Schuerman, Andr\'e V\'eron,}\cr
\+&&&{\bf Jiyang Xu,} ECRC, Germany.\cr
\medskip
\+&&{\it Controlling Search with Meta-Brave}\cr
\+&&&{\bf P. Kefalas and T.J. Reynolds}, University of Essex, UK.\cr
\medskip
\+&&{\it Optimization Problems in Aurora (invited)}\cr
\+&&&{\bf Peter Szeredi}, SZKI, Hungary.\cr
\bigskip
\+&10:40 -- 11:00 {\bf Break}\cr
\bigskip
\+&{\bf Session II: The Andorra Model}\cr
\+&{11:00 -- 12:40. Session Chair: Gopal Gupta}\cr
\bigskip
\+&&{\it Title to be announced (invited)}\cr
\+&&&{\bf Seif Haridi}, SICS, Sweden.\cr
\medskip
\+&&{\it $\kappa\alpha\pi\pi\alpha$: A Kernel Andorra Prolog Parallel Architecture Design}\cr
\+&&&{\bf Remco Moolenaar, Henk Van Acker, Bart Demoen}, \cr
\+&&&&KU Leuven, Belgium.\cr
\medskip
\+&&{\it A Flexibel Scheduler for the Andorra-I System,}\cr
\+&&&{\bf In\^es de Castro Dutra}, University of Bristol, UK. \cr
\medskip
\+&&{\it The Pandora Abstract Machine: An Extension of JAM}\cr
\+&&&{\bf Reem Bahgat}, City University of London, UK. \cr
\bigskip
\+&13:00 -- 14:00 {\bf Lunch Break} (lunch provided by INRIA)\cr
\bigskip\vfill\eject
\+&{\bf Session III: Performance Evaluation}\cr
\+&{14:00 -- 15:15. Session Chair: Manuel Heremengildo}\cr
\medskip
\+&&{\it Performance of MUSE System on the BBN Butterfly}\cr
\+&&&{\bf Khayri Ali, Roland Karlsson, Shyam Mudambi}, \cr
\+&&&&SICS, Sweden and Brandeis University, USA. \cr
\medskip
\+&&{\it Speculative Scheduling in the Aurora System: Performance Results}\cr
\+&&&{\bf Tony Beaumont}, University of Bristol, UK. \cr
\medskip
\+&&{\it Performance of Competetive Or-parallelism}\cr
\+&&&{\bf Wolfgang Ertel}, Technische Universit\"at M\"unchen, Germany. \cr
\bigskip
\+&{15:15 -- 15:45} {\bf Break}\cr
\bigskip
\+&{\bf Session IV: Models of Parallel Execution}\cr
\+&{15:45 -- 17:25, Session Chair: Khayri Ali}\cr
\medskip
\+&&{\it A Stack Copying Approach to And-Or Parallelism}\cr
\+&&{\bf Gopal Gupta and Manuel Hermenegildo}, \cr
\+&&&&University of Bristol, UK and Politecnica de Madrid, Spain.\cr
\medskip
\+&&{\it Blackboard Communication in Prolog}\cr
\+&&&{\bf Koenraad O. M. Bosschere}, State University of Ghent, Belgium.\cr
\medskip
\+&&{\it Data Parallelism in Logic Programming}\cr
\+&&&{\bf Giancarlo Succi, Giuseppe Marino}, \cr
\+&&&&Universit\'a di Genova, Italia.\cr
\medskip
\+&&{\it Efficient Binding Management In Or-parallel Model}\cr
\+&&&{\bf H. Bourzoufi, G. Goncalves, P. Lecouffe, B. Toursel}, \cr
\+&&&&Universit\'e de LILLE, France.\cr
\bigskip
\+&18:00 &{\bf Shuttle to place Charles de Gaulle - Etoile}\cr
}
\bigskip
\noindent Please note the following:
\medskip
\item{$\bullet$} The workshop will be held at INRIA, which is in the
suburbs of Paris, near Versailles.
\item{$\bullet$} Each talk will last 25 minutes which includes 5 minutes
for questions.
\item{$\bullet$} There is no extra registration fees for the workshops
for people attenting the conference. There is a special registration
rate for people attenting only the workshops and not the conference.
See the conference program.
\item{$\bullet$} Free transportation to INRIA will be provided.
A shuttle will leave Paris, place Charles de Gaulle - Etoile (in front
of the Parking Foch) at 8:00 am for INRIA. It will drive the participants
back to Paris, place Charles de Gaulle at 6:00 pm. Public transportation
is not recommended.
\item{$\bullet$} Informal proceedings would be available (cost 50FF).
\item{$\bullet$} More information about the conference and how to register
can be obtained from: INRIA Rocquencourt, Bureau des Colloques,
Domaine de Volceau -- Rocquencourt-BP 105, 78153 Le Chesnay C\'edex,
France or by email from symposia@cluny.inria.fr.
\end
--
=========================== MODERATOR ==============================
Steve Stevenson {steve,fpst}@hubcap.clemson.edu
Department of Computer Science, comp.parallel
Clemson University, Clemson, SC 29634-1906 (803)656-5880.mabell