Not registered as user yet

Name: Ratul Mahajan

Affiliation: University of Washington, Intentionet

Contributions

POPL 2020Author of Abstract Interpretation of Distributed Network Control Planes within the Research Papers-track