Publications
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).
(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). Visual Concept Learning: Combining Machine Vision and Bayesian Generalization on Concept Hierarchies.
(2013).
(2015).
(2011). Visual Similarity from Optimizing Feature and Memory On A Hypersphere.
Proceedings of IEEE Conference on Computer Vision and Pattern Recognition .
(2019).
(2009). 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). Vocabulary and Language Model Adaptation Using Information Retrieval.
Proceedings of International Conference on Spoken Language Processing.
(2004).
(1996). 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).
(2013). Vowel Height is Intimately Associated with Stress Accent in Spontaneous American English Discourse.
Proceedings of the 7th European Conference on Speech Communication and Technology (Eurospeech 2001).
(2001).
(1971).