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 IWACO 2008
Schedule
09:00—10:00 |
Invited talk by Vijay Saraswat |
10:00—10:30 |
Session 0 Primitive Associations Maintaining Invariants Through Object Coupling Mechanisms Class Invariants: The end of the road? |
10:30—11:00 |
Coffee break |
11:00—12:30 |
Session 1 Annotations for (more) Precise Points-to Analysis Ownership, Uniqueness and Immutability Ownership Meets Java 2007 State of the Universe Address |
12:30—14:00 |
Lunch |
14:00—15:30 |
Session 2 Iterators can be Independent ``from'' Their Collections Simple and Flexible Stack Types See the Pet in the Beast: How to Limit Effects of Aliasing Using ownership types to support library aliasing boundaries |
15:30—16:00 |
Coffee break |
16:00—17:30 |
Session 3 Runtime Universe Type Inference Compile-Time Views of Execution Structure Based on Ownership Ownership Domains in the Real World Formalizing Composite State Encapsulation |
19:00— |
Workshop dinner (locale announced at the WS) |