Publications
(2008).
(2007).
Providing Packet Obituaries.
Proceedings of the Third Workshop on Hot Topics in Networks (HotNets-III).
(2004). ResQ: Enabling SLOs in Network Function Virtualization.
Proceedings of NSDI 2018.
(2018). Verifying Reachability in Networks with Mutable Datapaths.
Proceedings of NSDI '17.
(2017).