Technical Program

The main conference will take place in the Northern Block of Eötvös Loránd University from Wednesday 20 June to Friday 22 June.

It consists of 18 technical contributions, three invited talks and two panels.

Wednesday, June 20, 2001

8:00-9:00

Registration

9:00-9:15

Opening Session

9:15-10:15

Keynote Address

Charles Simonyi: Languages, Objects, and Intentionality

10:15-10:45

Break

10:45-12:15

Session 1: Sharing and Encapsulation

Session Chair: Jan Vitek

Capabilities for Sharing: A Generalization of Uniqueness and Read-Only

John Boyland, James Noble, William Retert

Sealing, Encapsulation and Mutability

Marina Biberstein, Yossi Gil, Sara Porat

Simple Ownership Types for Object Containment

David Clarke, James Noble, John Potter

12:15-13:45

Lunch

13:45-14:45

Session 2: Type Inference and Static Analysis

Session Chair: Satoshi Matsuoka

Distinctness and Sharing Domains for Static Analysis of Java Programs

Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi

Precise Constraint-Based Type Inference for Java

Tiejun Wang, Scot Smith

14:45-15:15

Break

15:15-16:15

Session 3: Language Design 1

Session Chair: Mira Mezini

CCC: User Defined Object Structures in C

Yasunori Harada Yamazaki, Richard Potter

Fickle: dynamic object reclassification

Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani, Paola Giannini

17:00-

Welcome reception

Thursday, June 21, 2001

9:00-10:00

Invited Talk

Erik Meijer: Language Interoperability in the .NET Technology

10:00-10:30

Break

10:30-12:00

Session 4: Implementation Techniques

Session Chair: Urs Hoelzle

A Quasi-Optimal Bit-vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests

Olivier Raynaud, Eric Thierry

On the usefulness of liveness for garbage collection and leak detection

Martin Hirzel, Amer Diwan, Antony Hosking

Concurrent Cycle Collection in Reference Counted Systems

David Bacon, V.T. Raja

12:00-13:30

Lunch

13:30-15:00

Session 5: Reflection and Concurrency

Session Chair: Frank Buschmann

A Bytecode Translator for Distributed Execution of Legacy Java Software

Michiaki Tatsubori, Toshiyuki Sasaki, Shigeru Chiba, Kozo Itano

Reflections on MOPs, Components, and Java Security

Denis Caromel, Julien Vayssiere

The Optimistic Readers Transformation

Robert Strom, Joshua Auerbach

15:00-15:30

Break

15:30-17:00

Panel A: The next 700 Distributed Object Systems


19:00-

Conference Banquet

Friday, June 22, 2001

9:00-10:00

Invited Talk

Alistair Cockburn: People and the Limits of Methodology

10:00-10:30

Break

10:30-12:00

Session 6: Language Design 2

Session Chair: Markku Sakkinen

Family Polymorphism

Erik Ernst

An Overview Of AspectJ

Gregor Kiczales, Erik Hilsdale, Jim Hugunin,

Mik Kersten, Jeffrey Palm,William Griswold

True Modules for Java Classes

Davide Ancona, Elena Zucca

12:00-13:30

Lunch

13:30-14:30

Session 7: Testing and Design

Session Chair: Ana Moreira

Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual Strategies

Kamel Kamel, Vu Le Hanh, Yves Le Traon, Jean-Marc Jézéquel

Quality and Understandability in Use Case Models

Bente Anda, Dag Sjøberg, Magne Jørgensen

14:30-15:00

Break

15:00-16:30

Panel B: To be Announced


16:30-16:45

Closing Session

16:45-

Farewell Drink