Publications
A Unifying Link Abstraction for Wireless Sensor Networks.
Proceedings of the Third ACM Conference on Embedded Networked Sensor Systems (Sensys 2005). 76-89.
(2005). Untangling the Web from DNS.
Proceedings of the First Symposium on Networked Systems Design and Implementation (NSDI 2004). 225-238.
(2004). Using Hierarchical Location Names for Scalable Routing and Rendevous in Wireless Sensor Networks.
International Journal of Ad Hoc and Ubiquitous Computing. 1(4), 179-193.
(2006). A Variational Real Space Renormalization Group Transformation Based on the Cumulant Expansion.
Journal of Physics A: Mathematical and General. 12(1), 91-97.
(1979). Verification in the Age of Microservices.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems HotOS'17.
(2017). Verifying Reachability in Networks with Mutable Datapaths.
Proceedings of NSDI '17.
(2017).
(2010). Web Caching and Zipf-Like Distributions: Evidence and Implications.
Proceedings of the Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies (INFOCOM '99). 1, 126-134.
(1999).
(2012).
(2012). X-Trace: A Pervasive Network Tracing Framework.
Proceedings of the Fourth USENIX Symposium on Networked Systems Design and Implementation (NSDI 2007). 271-284.
(2007). YAMR: Yet Another Multipath Routing Protocol.
ACM SIGCOMM Computer Communication Review. 40(5), 13-19.
(2010).
(2009).