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

July 7, 2008

in conjunction with ECOOP 2008

July 7th – 11th 2008, Paphos, Cyprus


09:00–10:00 Session 1: Invited talk (Jonathan Aldrich)
10:00–11:30 Session 2: Ownership
 10:00–10:30Yu David Liu and Scott Smith, Pedigree Types
 10:30–10:45Paley Li, Alex Potanin, James Noble, and Lindsay Groves, Towards Unifying Immutability and Ownership (position paper)
 10:45–11:00Nick Cameron and Sophia Drossopoulou, Variant Ownership with Existential Types (position paper)
 11:00–11:15Ana Milanova, Static Inference of Universe Types
 11:15–11:30Open discussion
11:30–12:00 Coffee break
12:00–13:30 Session 3: Concurrency and Ownership Demos
 12:00–12:30Nicholas D. Matsakis and Thomas R. Gross, Thread Safety Through Partitions and Effect Agreements
 12:30–12:45John Boyland, The Non-Linearity of volatile in Java (position paper)
 12:45–13:00Marwan Abi-Antoun and/or Jonathan Aldrich, Tool demo: JavaOwnershipDomains and JavaArchSync
 13:00–13:15Alex Potanin, Tool demo: OGJ/IGJ
 13:15–13:30Peter Müller, Tool demo: Universe Types
13:30–15:30 Lunch
15:30–17:10 Session 4: Verification
 15:30–16:30Dino Distefano, Invited talk: jStar
 16:30–17:00Christian Haack and Clement Hurlin, Resource Usage Protocols for Iterators
 17:00–17:10Kevin Bierhoff or Jonathan Aldrich, Tool demo: PLURAL—Permissions Let Us Reason about ALiases