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

July 7, 2009

in conjunction with ECOOP 2009

July 6th – 10th 2009, Genova, Italy


A temporary copy of the proceedings (pending ACM's publication) is available here.

9:30-10:30Viktor Kuncak
Specification, Abstraction, Deconstruction (Invited Talk)
10:30-11:00Coffee Break
11:00-12:30Session 1
Nels Beckman, Yoon Phil Kim, Sven Stork and Jonathan Aldrich.
Reducing STM Overhead with Access Permissions
Eric Kerfoot, Steve McKeever and Faraz Ahmadi Torshizi.
Deadlock Freedom Through Object Ownership
John Boyland, William Retert and Yang Zhao.
Comprehending Annotations on Object-Oriented Programs using Fractional Permissions
14:00-15:30Session 2
Clément Hurlin, François Bobot and Alexander Summers.
Size Does Matter: Two Certified Abstractions to Disprove Entailment in Intuitionistic and Classical Separation Logic
Alexander Summers, Sophia Drossopoulou and Peter Müller.
The Need for Flexible Object Invariants
Nicholas Cameron and James Noble.
OGJ Gone Wild
15:30-16:00Coffee Break
16:00-17:00Session 3
Paley Li, Stephen Nelson and Alex Potanin.
Ownership for Relationships
Nicholas Cameron and Werner Dietl.
Comparing Universes and Existential Ownership Types

Old IWACO websites

IWACO 2003    IWACO 2007    IWACO 2008