Publications
(2015).
SCL: Simplifying Distributed SDN Control Planes.
Proceedings of NSDI '17.
(2017). Verification in the Age of Microservices.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems HotOS'17.
(2017). Verifying Reachability in Networks with Mutable Datapaths.
Proceedings of NSDI '17.
(2017). Open Network Interfaces for Carrier Networks.
ACM SIGCOMM Computer Communication Review. 46(1), 5-11.
(2016). Thoughts on Load Distribution and the Role of Programmable Switches.
Newsletter of ACM SIGCOMM Computer Communication Review. 49(1), 18-23.
(2019).