Kausik Subramanian
Kausik Subramanian
Verified email at cs.wisc.edu - Homepage
Title
Cited by
Cited by
Year
Genesis: Synthesizing forwarding tables in multi-tenant networks
K Subramanian, L D'Antoni, A Akella
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
322017
Synthesis of fault-tolerant distributed router configurations
K Subramanian, L D'Antoni, A Akella
Proceedings of the ACM on Measurement and Analysis of Computing Systems 2 (1 …, 2018
62018
Liveness Verification of Stateful Network Functions
F Yousefi, A Abhashkumar, K Subramanian, K Hans, S Ghorbani, A Akella
17th {USENIX} Symposium on Networked Systems Design and Implementation …, 2020
2*2020
Detecting network load violations for distributed control planes.
K Subramanian, A Abhashkumar, L D'Antoni, A Akella
PLDI, 974-988, 2020
12020
D2R: Dataplane-Only Policy-Compliant Routing Under Failures
K Subramanian, A Abhashkumar, L D'Antoni, A Akella
arXiv preprint arXiv:1912.02402, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–5