Program

 

9:00- 9:10: Welcome

9:10-9:40: Language-Based Architectural Control by Jonathan Aldrich, Cyrus Omar, Alex Potanin and Du Li

9:40- 10:00: Owners as Trusters: Trusted Ownership Declassification With Neighbourhood by Pradeepkumar Duraisamy Soundrapandian and Janardan Misra

10:00-10:30: Coffee break

10:30-11:00: Capable: Capabilities for Scalability by Elias Castegren and Tobias Wrigstad

11:00-11:30: On Owners as Accessors by James Noble and Alex Potanin

11:30-12:00: Dynamic Semantics of Sheep cloning: Proving Cloning by Paley Li, Nicholas Cameron and James Noble

12:00-13:30: Lunch break

13:30-14:30: Keynote: Memory Safety without Garbage Collection - aliasing, regions, uniqueness, and immutability in Rust by Nicholas Cameron

14:30-15:00: Structured Discussion (moderator: James Noble)

15:00-15:30: Coffee break

15:30-16:15: Structured Discussion (moderator: James Noble)