Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ratul Mahajan
conf.researchr.org general profile
POPL 2020 profile
POPL 2026 profile
Not registered as user
Name:
Ratul Mahajan
Affiliation:
University of Washington, Intentionet
Contributions
2026
POPL
Author of Network Change Validation with Relational NetKAT within the POPL-track
2020
POPL
Author of Abstract Interpretation of Distributed Network Control Planes within the Research Papers-track
Share
x
Mon 9 Feb 17:54