Publications
(2013).
Very Fast Containment of Scanning Worms.
Proceedings of the 13th USENIX Security Symposium. 29-44.
(2004).
(2007).
(2008).
(2000).
VAST: A Unified Platform for Interactive Network Forensics.
Proceedings of USENIX Sympyosium on Networked Systems Design and Implementation.
(2016). A Virtual Spanner for Efficient Face Routing in Multihop Wireless Networks.
Lecture Notes in Computer Science. 4217,
(2006).
(2011).
A Variational Real Space Renormalization Group Transformation Based on the Cumulant Expansion.
Journal of Physics A: Mathematical and General. 12(1), 91-97.
(1979). On Verification of Interoperability of CAD Systems with a Focus on Invariant Properties.
Computer-Aided Design. 115, 256-266.
(2019). A Voice-Enabled Procedure Browser for the International Space Station.
Proceedings of the 43rd Annual Meeting of the Association for Computational Linguistics (ACL 2005). 29-32.
(2005). 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). Visual Similarity from Optimizing Feature and Memory On A Hypersphere.
Proceedings of IEEE Conference on Computer Vision and Pattern Recognition .
(2019).
(1998).
(1991).
Variations in Normal Color Vision. IV. Binary Hues and Hue Scaling.
Journal of the Optical Society of America A. 22(10), 2154-2168.
(2005). Visualizing Large-Screen Electronic Chalkboard Content on Handheld Devices.
Proceedings of the Second IEEE International Workshop on Multimedia Technologies for E-Learning at 9th IEEE Symposium on Multimedia. 369-375.
(2007).
(1996).
Variations in Color Naming Within and Across Populations.
Behavioral and Brain Sciences. 28(4), 512-513.
(2005).
(1991).
(1995).
(1989). Variations on the Theme of "Twenty Questions".
Proceedings of the 1998 IEEE International Symposium on Information Theory. 3.
(1998).
(2013).