agha-gul@yale.arpa (gul agha) (09/24/88)
WORKSHOP ON OBJECT-BASED CONCURRENT PROGRAMMING
Sheraton on Harbor Island, San Diego
(In Conjunction with OOPSLA '88)
September 26-27, 1988
(Provisional Program)
Note: Participation is by invitation only. I am posting this for
general interest. A special February 1989 issue of the SIGPLAN
Notices will publish research summaries from the workshop.
MONDAY SEPT 26
8.30 am: Registration
9.00-10.00 am: PANEL. Research Directions in Object-Based Concurrent
Programming (Panelists: Gul Agha, Aki Yonezawa, Peter Wegner)
10.30-12.30: Session 1. Chair: Peter Wegner, Brown U.
"Linearizable Concurrent Objects"
Maurice Herlihy and Jeanette Wing, Carnegie-Mellon U.
"Two Models of Concurrent Objects"
Oscar Nierstrasz, U. de Geneve, Switzerland
"A Protocol Constrained Language"
Jan Van Den Bos, Leiden U., Netherlands
"A Model for a Reflective Object-Oriented Language"
Yves Caseau, Bell Core
"A Synchronization Mechanism for Typed Objects in a Distributed System"
D. Decouchaut, M. Meysembourg, S. Krakowiak, M. Riveill, X. Rousset de Pina,
Lab de Genie Informatique, France
12:30 - 2:00: Lunch
2:00 - 4:00: Session 2. Chair: Aki Yonezawa, Tokyo Inst. of Tech.
"Cantor: An Actor Programming System"
W. Athas and N. Jackson, Caltech
"Concurrent Meld"
Gail Kaiser, Columbia U.
"Parallel Objects on Distributed Constraint Logic Programming Machines"
John Koegel, U. Lowell
"Extensions to the Object-Paradigm for Distributed Applications"
L. Heuser, M. Mullhauser, and A. Schill, U. Karlsruhe and DEC, W. Germany
"Language Issues in the Design of Concurrent Systems"
Martin Feather, U. Southern California
4:30-5:30 PANEL. Languages and Models for Concurrent Object-Based
Programming (Panelists to be announced)
7:30-10:00: Working Groups (to be determined by participants)
Possible topics for working groups:
Models for Concurrent Object-Based Programming
Reflection and Object-Based Concurrency
Verification of Concurrent Object-Based Programs
Multiparadigm Systems
TUESDAY, SEPT 27
9:00 - 10:00 am: Report of Working Groups
10:30 - 12:30: Session 3. Chair: Gul Agha, Yale U.
"Design of a Distributed Implementation of ABCL"
Jean Pierre Briot and Jean DeRatuld, U. Paris VI, France
"Distributed Concurrent Smalltalk: A Language and System for the
Interpersonal Environment"
Tatsuo Nakajima, Yasuhiko Yokote, Mario Tokoro, Shinichi Ochiai and
Tatsuo Nagamatsu, Keio U., Japan
"The Ubik Configurator: A Fusion of Messages, Daemons, and Rules"
Peter de Jong, M.I.T.
"Harmony as an Object-Oriented Operating System"
S. A. MacKay, W. M. Gentleman, D. A. Stewart, M. Wein,
National Research Council, Ottawa
"Elint in Lamina Application of a Concurrent Object"
Bruce Delagi and Nakul Saraiya, Stanford U.
2:00 - 4:00: Short Presentations
(To be announced)
4:30 - 5:30: PANEL. What have we learned? Where do we go from here?
(Panelists to be announced)
7:30: Conference Dinner