Publications
VAST: A Unified Platform for Interactive Network Forensics.
Proceedings of USENIX Sympyosium on Networked Systems Design and Implementation.
(2016).
(1989).
(1991).
(1995).
(1998).
(1991). Verification in the Age of Microservices.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems HotOS'17.
(2017). On Verification of Interoperability of CAD Systems with a Focus on Invariant Properties.
Computer-Aided Design. 115, 256-266.
(2019). Verifying Reachability in Networks with Mutable Datapaths.
Proceedings of NSDI '17.
(2017).
(2009). Very Fast Containment of Scanning Worms.
Proceedings of the 13th USENIX Security Symposium. 29-44.
(2004).
(2007).
(1998). Viable Protection of High-Performance Networks through Hardware/Software Co-Design.
Proceedings of ACM International Workshop on Security in Software Defined Networks & Network Function Virtualization.
(2017).
(2011). A View of the Parallel Computing Landscape.
Communications of the ACM. 52(10), 56-67.
(2009). A View of the Parallel Computing Landscape.
Communications of the ACM. 52(10), 56-67.
(2009).
(1998).
(1991). A Virtual Spanner for Efficient Face Routing in Multihop Wireless Networks.
Lecture Notes in Computer Science. 4217,
(2006).
(2010).
(1991).
(2013).
(2015).
(2011).