Brian Zill

According to our database1, Brian Zill authored at least 23 papers between 1990 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023

2017
IronFleet: proving safety and liveness of practical distributed systems.
Commun. ACM, 2017

2015
IronFleet: proving practical distributed systems correct.
Proceedings of the 25th Symposium on Operating Systems Principles, 2015

2014
Ironclad Apps: End-to-End Security via Automated Full-System Verification.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

2012
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

2008
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

2007
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

2006
Enhancing the security of corporate Wi-Fi ntworks using DAIR.
Proceedings of the 4th International Conference on Mobile Systems, 2006

2005
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

2004
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

1999
Constructing Optimal IP Routing Tables.
Proceedings of the Proceedings IEEE INFOCOM '99, 1999

1995
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

1994
Architecture and Evaluation of High-Speed Networking Subsystem for Distributed-Memory Systems.
Proceedings of the 21st Annual International Symposium on Computer Architecture. Chicago, 1994

1992
A Host Interface Architecture for High-Speed Networks.
Proceedings of the High Performance Networking IV, 1992

1991
Network-based multicomputers: an emerging parallel architecture.
Proceedings of the Proceedings Supercomputing '91, 1991

1990
Protocol Implementation on the Nectar Communication Processor.
Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1990


  Loading...