Not registered as user yet

Name:Maneesh Agrawala
Affiliation:Stanford University

Contributions

PLDI 2022 Author of Modular Information Flow Through Ownership within the PLDI-track