Publications
Verifying Reachability in Networks with Mutable Datapaths.
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). Thoughts on Load Distribution and the Role of Programmable Switches.
Newsletter of ACM SIGCOMM Computer Communication Review. 49(1), 18-23.
(2019). SCL: Simplifying Distributed SDN Control Planes.
Proceedings of NSDI '17.
(2017).
(2015).
(2015).
Revisiting network support for RDMA.
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication SIGCOMM '18.
(2018). ResQ: Enabling SLOs in Network Function Virtualization.
Proceedings of NSDI 2018.
(2018).
(2012). Preserving Privacy at IXPs.
Proceedings of the 2nd Asia-Pacific Workshop on Networking APNet '18.
(2018). Open Network Interfaces for Carrier Networks.
ACM SIGCOMM Computer Communication Review. 46(1), 5-11.
(2016). Open Carrier Interface: An Open Source Edge Computing Framework.
Proceedings of the 2018 Workshop on Networking for Emerging Applications and Technologies NEAT '18.
(2018).
(2012).
NetBricks: Taking the V out of NFV.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’16).
(2016). Monarch: Gaining Command on Geo-Distributed Graph Analytics..
Proceedings of HotCloud 2018.
(2018). A High Performance Packet Core for Next Generation Cellular Networks..
Proceedings of the Conference of the ACM Special Interest Group on Data Communication SIGNCOMM '17.
(2017).
(2013).
Enabling a permanent revolution in internet architecture.
Proceedings of the ACM Special Interest Group on Data Communication SIGCOMM '19.
(2019). CESSNA: Resilient Edge-Computing.
Proceedings of the 2018 Workshop on Mobile Edge Communications.
(2018).
(2013). CAP for Networks.
91-96.
(2013).
(2012).
Bridging the GAP: towards approximate graph analytics.
Proceedings of the 1st ACM SIGMOD Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA).
(2018). Abstract Interpretation of Stateful Networks.
Proceedings of SAS 2018.
(2018).