Publications
CAP for Networks.
91-96.
(2013). Open Network Interfaces for Carrier Networks.
ACM SIGCOMM Computer Communication Review. 46(1), 5-11.
(2016). NetBricks: Taking the V out of NFV.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’16).
(2016). Verification in the Age of Microservices.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems HotOS'17.
(2017). SCL: Simplifying Distributed SDN Control Planes.
Proceedings of NSDI '17.
(2017). Verifying Reachability in Networks with Mutable Datapaths.
Proceedings of NSDI '17.
(2017).