International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO)

July 30, 2007

in conjunction with ECOOP 2007

Berlin, Germany July 30th to August 3rd

Subpages

Front page    Call for papers    Accepted papers    Schedule


Schedule

09:00—10:00

Invited talk by Vijay Saraswat

10:00—10:30

Session 0

Primitive Associations

Erik Ernst

Maintaining Invariants Through Object Coupling Mechanisms

Eric Kerfoot and Steve McKeever

Class Invariants: The end of the road?

Matthew Parkinson

10:30—11:00

Coffee break

11:00—12:30

Session 1

Annotations for (more) Precise Points-to Analysis

Mike Barnett, Manuel Fähndrich, Diego Garbervetsky and Francesco Logozzo

Ownership, Uniqueness and Immutability

Johan Östlund, Tobias Wrigstad, Dave Clarke and Beatrice Åkerblom

Ownership Meets Java

Christo Fogelberg, Alex Potanin and James Noble

2007 State of the Universe Address

Werner Dietl and Peter Müller

12:30—14:00

Lunch

14:00—15:30

Session 2

Iterators can be Independent ``from'' Their Collections

John Boyland, William Retert and Yang Zhao

Simple and Flexible Stack Types

Frances Perry, Chris Hawblitzel and Juan Chen

See the Pet in the Beast: How to Limit Effects of Aliasing

Franz Puntigam

Using ownership types to support library aliasing boundaries

Luke Wagner, Jaakko Järvi and Bjarne Stroustrup

15:30—16:00

Coffee break

16:00—17:30

Session 3

Runtime Universe Type Inference

Werner Dietl and Peter Müller

Compile-Time Views of Execution Structure Based on Ownership

Marwan Abi-Antoun and Jonathan Aldrich

Ownership Domains in the Real World

Marwan Abi-Antoun and Jonathan Aldrich

Formalizing Composite State Encapsulation

Adrian Fiech and Ulf Schuenemann

19:00—

Workshop dinner (locale announced at the WS)