Publications
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). 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). 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). X-Trace: A Pervasive Network Tracing Framework.
Proceedings of the Fourth USENIX Symposium on Networked Systems Design and Implementation (NSDI 2007). 271-284.
(2007). Achieving Convergence-Free Routing Using Failure-Carrying Packets.
SIGCOMM Computer Communication Review. 37(4), 241-252.
(2007). Aggregate Congestion Control.
ACM SIGCOMM Computer Communication Review. 32(1), 69.
(2002). Analysis and Simulation of a Fair Queuing Algorithm.
Journal of Internetworking: Research and Experience. 1(1), 3-26.
(1990). Apache Spark: a unified engine for big data processing.
Communications of the ACM. 59(11), 56-65.
(2016).
(2001). Approximation and Collusion in Multicast Cost Sharing.
Games and Economic Behavior. 47(1), 36-71.
(2004).
(2007). Attested Append-Only Memory: Making Adversaries Stick to their Word.
ACM SIGOPS Operating Systems Review. 41(6), 189-204.
(2007). Average Cost Pricing Versus Serial Cost Sharing: An Axiomatic Comparison.
Journal of Economic Theory. 64(1), 178-201.
(1994). Axiomatizing Congestion Control.
Proceedings of the ACM on Measurement and Analysis of Computing Systems. 3(2),
(2019). Band to Band Hopping in One-Dimensional Maps.
Journal of Physics A: Mathematical and General. 14(2), L23-26.
(1981). Best-Effort versus Reservations: A Simple Comparative Analysis.
ACM Computer Communication Review. 28, 3-16.
(1998). A BGP-Based Mechanism for Lowest-Cost Routing.
Distributed Computing. 18(1), 61-72.
(2005). On the Characteristics and Origins of Internet Flow Rates.
ACM SIGCOMM Computer Communication Review. 32(4), 309-322.
(2002).