Publications
(2018). ResQ: Enabling SLOs in Network Function Virtualization.
Proceedings of NSDI 2018.
(2017). Verifying Reachability in Networks with Mutable Datapaths.
Proceedings of NSDI '17.
(2008). Can Software Routers Scale?.
(2007). Loss and Delay Accountability for the Internet.
194-205.
(2004). Providing Packet Obituaries.
Proceedings of the Third Workshop on Hot Topics in Networks (HotNets-III).

]