Publications
Towards a Next Generation Inter-domain Routing Protocol.
Proceedings of the Third ACM Workshop on Hot Topics in Networks (HotNets-III), San Diego, California.
(2004). Towards a Sensor Network Architecture: Lowering the Waistline.
Proceedings of the 10th Workshop on Hot Topics in Operating Systems (HotOS X). 10, 24-30.
(2005).
(2004). Towards an Economic Analysis of Trusted Systems (Position Paper).
Proceedings of the Third Workshop on Economics and Information Security, Minneapolis, Minnesota.
(2004). Towards an Evolvable Internet Architecture.
Proceedings of ACM Special Interest Group on Data Communications Conference (SIGCOMM 2005). 313-324.
(2005). Towards Capturing Representative AS-Level Internet Topologies.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems (SIGMETRICS 2002). 280-281.
(2002). Towards Capturing Representative AS-Level Internet Topologies.
Computer Networks. 44(6), 737-755.
(2004).
(2010). Transient Behavior in a Flexible Assembly System.
International Journal of Flexible Manufacturing Systems. 27-44.
(1991). Trickle: A Self-Regulation Algorithm for Code Propogation and Maintenance in Wireless Sensor Networks.
Proceedings of the First USENIX Symposium on Networked Systems Design and Implementation (NSDI '04). 15-28.
(2004).
(2014). Two Issues in Reservation Establishment.
Proceedings of the Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication (SIGCOMM '95). 14-26.
(1995). Uniform versus Priority Dropping for Layered Video.
ACM Computer Communication Review. 28, 131-143.
(1998). 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).