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

---

Cover sheet
Entire proceedings in a single file

Accepted Papers

Ownership Meets Java, Christo Fogelberg, Alex Potanin & James Noble

Simple and Flexible Stack Types, Frances Perry, Chris Hawblitzel & Juan Chen

Maintaining Invariants Through Object Coupling Mechanisms, Eric Kerfoot & Steve McKeever

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

Ownership, Uniqueness and Immutability, Johan Östlund, Tobias Wrigstad, Dave Clarke & Beatrice Åkerblom

Iterators can be Independent “from” Their Collections, John Boyland, William Retert & Yang Zhao

Using ownership types to support library aliasing boundaries, Luke Wagner, Jaakko Järvi & Bjarne Stroustrup

Ownership Domains in the Real World, Marwan Abi-Antoun & Jonathan Aldrich

Compile-Time Views of Execution Structure Based on Ownership, Marwan Abi-Antoun & Jonathan Aldrich

Class Invariants: The end of the road?, Matthew Parkinson

Annotations for (more) Precise Points-to Analysis, Mike Barnett, Manuel Fähndrich, Diego Garbervetsky & Francesco Logozzo

Runtime Universe Type Inference, Werner Dietl & Peter Müller

2007 State of the Universe Address, Werner Dietl & Peter Müller

Primitive Associations, Erik Ernst

Formalizing Composite State Encapsulation, Adrian Fiech & Ulf Schuenemann