Sponsor of the Day:
Jerkmate
https://cel.cs.brown.edu/paper/modular-information-flow-ownership/
Modular Information Flow through Ownership
modular information flowownership
https://arxiv.org/abs/2111.13662
[2111.13662] Modular Information Flow through Ownership
Abstract page for arXiv paper 2111.13662: Modular Information Flow through Ownership
modular information flow2111ownership
https://zenodo.org/records/6327882
Artifact for "Modular Information Flow Through Ownership"
Apr 28, 2022 - This is a Docker image that contains the codebase and evaluation scripts for our PLDI 2022 paper
modular information flowartifactownership