USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 7 results:
Filters: Author is Todd Millstein [Clear All Filters]
MESSI: Behavioral Testing of BGP Implementations. 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24). :1009--1023.
.
2024. SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). :307--323.
.
2022. Finding Network Misconfigurations by Automatic Template Inference . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :999--1013.
.
2020. Efficient Network Reachability Analysis Using a Succinct Control Plane Representation. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). :217--232.
.
2016. Interactive Debugging for Big Data Analytics. 8th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 16).
.
2016. Analyzing Protocol Implementations for Interoperability. 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). :485--498.
.
2015. A General Approach to Network Configuration Analysis. 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). :469--483.
.
2015.