ECOOP / Preliminary Technical Program

9:00 - 10:30	Invited talk. Build-in Object Security Martin Abadi - University of California at Santa Cruz. Chair: Luca Cardelli
10:30 - 11:00	Break
11:00 - 12:30	Session 1: Aspects and Components. Chair: Jan Vitek
12:30 - 13:30	Lunch
13:30 - 15:00	Session 2: Patterns, Architecture, and Collaboration. Chair: Eric Jul
15:00 - 15:30	Break
15:30 - 17:00	Session 3: Types. Chair: Sophia Drossopoulou

9:00 - 10:30	Invited talk. Open APIs for Embedded Systems Carl Gunter - University of Pennsylvania. Chair: Martin Odersky
10:30 - 11:00	Break
11:00 - 12:30	Session 4: Modeling. Chair: Atsushi Igarashi
12:30 - 13:30	Lunch
13:30 - 15:00	Session 5: Implementation. Chair: Urs Hoelzle
15:00 - 15:30	Break
15:30 - 17:00	Panel. Chair: Eric Jul
19:00 - 22:00	Banquet. (Possible local banquet speaker.) Chair: Mira Mezini

9:00 - 10:30	Invited talk. XQuery: A Query Language for XML Mary Fernández - AT&T Labs - Research. Chair: Elisa Bertino
10:30 - 11:00	Break
11:00 - 12:30	Session 6: Formal Techniques and Methodology. Chair: Gary T. Leavens
12:30 - 13:30	Lunch

Session Details

Modeling Crosscutting in Aspect-Oriented Mechanisms
H. Masuhara - University of Tokyo,
G. Kiczales - Intentional Software Corporation & University of British Columbia
Spontaneous Container Services.
A. Popovici - ETH Zürich,
G. Alonso - ETH Zürich,
T. Gross - ETH Zürich
A calculus of Untyped Aspect-Oriented Programs
R. Jagadeesan - DePaul University,
A. Jeffrey - DePaul University,
J. Riely - DePaul University

Language Support for Connector Abstractions
J. Aldrich - University of Washington,
V. Sazawal - University of Washington,
C. Chambers - University of Washington,
D. Notkin - University of Washington
Walkabout revisited: The Runabout
C. Grothoff - Purdue University
MX: Mobile Object Exchange for Collaborative Applications
L. Shrira - Brandeis University,
H. Tian - Brandeis University

Regular Object Types
V. Gapeyev - University of Pennsylvania,
B. Pierce - University of Pennsylvania
External Uniqueness is Unique Enough
D. Clarke - Institute of Information and Computing Science, Utrecht University,
T. Wrigstad - Department of Computer and Systems Sciences, Stockholm University, Royal Institute of Technology
A Nominal Theory of Objects with Dependent Types
M. Odersky - Ecole Polytechnique Fédérale de Lausanne,
V. Cremet - Ecole Polytechnique Fédérale de Lausanne,
C. Roeckl - Ecole Polytechnique Fédérale de Lausanne,
M. Zenger - Ecole Polytechnique Fédérale de Lausanne

Traits: Composable Units of Behaviour
N. Schärli - Institute of Computer Science University of Berne,
S. Ducasse - Institute of Computer Science University of Berne,
O. Nierstrasz - Institute of Computer Science University of Berne,
A. Black - OGI School of Science and Engineering, Oregon Health & Science University
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information
P. Lam - MIT LCS,
M. Rinard - MIT LCS
Higher-Order Hierarchies
E. Ernst - University of Aarhus

Two-Dimensional Bi-Directional Object Layout
Y. Zibin - Technion,
Y. Gil - Technion
LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications
N. Mitchell - IBM T.J. Watson Research Center,
G. Sevitsky - IBM T.J. Watson Research Center
Java Subtype tests in Real Time
K. Palacz - Purdue University,
J. Vitek - Purdue University

Discovering Algebraic Specifications from Java Classes
J. Henkel - University of Colorado,
A. Diwan - University of Colorado
A Refinement Algebra for Object-Oriented Programming
P. Borba - Federal University of Pernambuco - Brazil,
A. Sampaio - Federal University of Pernambuco - Brazil,
M. Cornelio - Federal University of Pernambuco - Brazil
Object-Oriented Reading Techniques for Inspection of UML Models - An Industrial Experiment
R. Conradi - Dept. of Computer and Information Science (IDI) - NTNU-Norway,
P. Mohagheghi - Ericsson-Norway,
T. Arif - IDI-NTNU-Norway,
L. Hegde - IDI-NTNU-Norway,
G. Bunde - Agder University College-Norway,
A. Pedersen - Agder University College-Norway