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