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).
Revitalizing the public internet by making it extensible.
ACM SIGCOMM Computer Communication Review . 51(2), 18-24.
(2021). 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). Remote Memory Calls.
HotNets '20: Proceedings of the 19th ACM Workshop on Hot Topics in Networks. 38-44.
(2020). A Public Option for the Core.
SIGCOMM '20: Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication. 377-39.
(2020). 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). Making edge-computing resilient.
SoCC '20: Proceedings of the 11th ACM Symposium on Cloud Computing. 253-266.
(2020). Kappa: a programming framework for serverless computing.
SoCC '20: Proceedings of the 11th ACM Symposium on Cloud Computing. 328-343.
(2020). 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).