IronFleet: proving safety and liveness of practical distributed systems.
Commun. ACM, 2017
IronFleet: proving practical distributed systems correct.
Proceedings of the 25th Symposium on Operating Systems Principles, 2015
Ironclad Apps: End-to-End Security via Automated Full-System Verification.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014
High Performance Vehicular Connectivity with Opportunistic Erasure Coding.
Proceedings of the 2012 USENIX Annual Technical Conference, 2012
Don't Lose Sleep Over Availability: The GreenUp Decentralized Wakeup Service.
Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, 2012
Designing High-Performance Enterprise Wi-FiNetworks.
login Usenix Mag., 2008
Designing High Performance Enterprise Wi-Fi Networks.
Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation, 2008
Eat All You Can in an All-you-can-eat Buffet: A Case for Aggressive Resource Usage.
Proceedings of the 7th ACM Workshop on Hot Topics in Networks, 2008
A Location-Based Management System for Enterprise Wireless LANs.
Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI 2007), 2007
Understanding wifi-based connectivity from moving vehicles.
Proceedings of the 7th ACM SIGCOMM Internet Measurement Conference, 2007
Enhancing the security of corporate Wi-Fi ntworks using DAIR.
Proceedings of the 4th International Conference on Mobile Systems, 2006
IPv6 Scoped Address Architecture.
RFC, March, 2005
SEcure Neighbor Discovery (SEND).
RFC, March, 2005
Estimation of Link Interference in Static Multi-hop Wireless Networks.
Proceedings of the 5th Internet Measurement Conference, 2005
Comparison of routing metrics for static multi-hop wireless networks.
Proceedings of the ACM SIGCOMM 2004 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 30, 2004
Routing in multi-radio, multi-hop wireless mesh networks.
Proceedings of the 10th Annual International Conference on Mobile Computing and Networking, 2004
Constructing Optimal IP Routing Tables.
Proceedings of the Proceedings IEEE INFOCOM '99, 1999
Software Support for Outboard Buffering and Checksumming.
Proceedings of the ACM SIGCOMM 1995 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, Cambridge, MA, USA, August 28, 1995
Architecture and Evaluation of High-Speed Networking Subsystem for Distributed-Memory Systems.
Proceedings of the 21st Annual International Symposium on Computer Architecture. Chicago, 1994
A Host Interface Architecture for High-Speed Networks.
Proceedings of the High Performance Networking IV, 1992
Network-based multicomputers: an emerging parallel architecture.
,
,
,
,
,
,
,
,
,
,
Proceedings of the Proceedings Supercomputing '91, 1991
Protocol Implementation on the Nectar Communication Processor.
Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1990