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
Programme
A temporary copy of the proceedings (pending ACM's publication) is available here.
| 9:30-10:30 | Viktor Kuncak Specification, Abstraction, Deconstruction (Invited Talk) |
|---|---|
| 10:30-11:00 | Coffee Break |
| 11:00-12:30 | Session 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 | |
| 12:30-14:00 | Lunch |
| 14:00-15:30 | Session 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:00 | Coffee Break |
| 16:00-17:00 | Session 3 |
|
Paley Li, Stephen Nelson and Alex Potanin. Ownership for Relationships | |
|
Nicholas Cameron and Werner Dietl. Comparing Universes and Existential Ownership Types |