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 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) |