Internet Design
Our interests range from network verification and synthesis to network function virtualization, the design of measurement systems, and large-scale measurement studies of the Internet.
- ANRWTools for disambiguating RFCsIn ANRW ’21: Applied Networking Research Workshop, Virtual Event, USA, July 24-30, 2021 2021
- SIGCOMMSemi-automated protocol disambiguation and code generationIn ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021 2021
- CoNEXTMeeting SLOs in Cross-Platform NFVIn Proceedings of the 16th International Conference on Emerging Networking EXperiments and Technologies 2020
- SIGCOMMTrumpet: Timely and Precise Triggers in Data CentersIn Proceedings of the ACM Conference of the Special Interest Group on Data Communication (SIGCOMM ’16) au 2016
- SIGCOMMEvolve or Die: High-Availability Design Principles Drawn from Google’s Network InfrastructureIn Proceedings of the ACM Conference of the Special Interest Group on Data Communication (SIGCOMM ’16) au 2016
- SIGCOMMWebPerf: Evaluating “What-If” Scenarios for Cloud-hosted Web ApplicationsIn Proceedings of the ACM Conference of the Special Interest Group on Data Communication (SIGCOMM ’16) au 2016
- CoNEXTSCREAM: Sketch Resource Allocation for Software-defined MeasurementIn ACM International Conference on emerging Networking EXperiments and Technologies (CoNEXT) de 2015
- CoNEXTMagus: Minimizing Cellular Service Disruption during Planned UpgradesIn ACM International Conference on emerging Networking Experiments and Technologies (CoNEXT) de 2015
- NSDIA General Approach to Network Configuration AnalysisIn Proc. Usenix Symposium on Networked Systems Design and Implementation (NSDI) de 2015
- NSDIAnalyzing Protocol Implementations for InteroperabilityIn Proc. Usenix Symposium on Networked Systems Design and Implementation (NSDI) de 2015