Accepted Papers


Capable: Capabilities for Scalability by Elias Castegren and Tobias Wrigstad

Dynamic Semantics of Sheep cloning: Proving Cloning by Paley Li, Nicholas Cameron and James Noble

On Owners as Accessors by James Noble and Alex Potanin

Owners as Trusters: Trusted Ownership Declassification With Neighbourhood by Pradeepkumar Duraisamy Soundrapandian and Janardan Misra

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