Modular information flow through ownership.

Will Crichton, Marco Patrignani, Maneesh Agrawala, Pat Hanrahan

Browse the full PLDI paper archive.