Contracts: A unified lens on congestion control robustness, fairness, congestion, and generality.
CoRR, April, 2025
Speculative Ad-hoc Querying.
CoRR, March, 2025
Hairpin: Rethinking Packet Loss Recovery in Edge-based Interactive Video Streaming.
Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024
Towards provably performant congestion control.
Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024
Lightweight Automated Reasoning for Network Architectures.
Proceedings of the 23rd ACM Workshop on Hot Topics in Networks, 2024
Verifying the Performance of Network Control Algorithms
PhD thesis, 2023
Quantitative Verification of Scheduling Heuristics.
CoRR, 2023
Enabling High Quality Real-Time Communications with Adaptive Frame-Rate.
Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023
Starvation in end-to-end congestion control.
Proceedings of the SIGCOMM '22: ACM SIGCOMM 2022 Conference, Amsterdam, The Netherlands, August 22, 2022
Privid: Practical, Privacy-Preserving Video Analytics Queries.
Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022
The case for an internet primitive for fault localization.
Proceedings of the 21st ACM Workshop on Hot Topics in Networks, 2022
Automating network heuristic design and analysis.
Proceedings of the 21st ACM Workshop on Hot Topics in Networks, 2022
Toward formally verifying congestion control behavior.
Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021
Throughput-fairness tradeoffs in mobility platforms.
Proceedings of the MobiSys '21: The 19th Annual International Conference on Mobile Systems, Applications, and Services, Virtual Event, Wisconsin, USA, 24 June, 2021
RFocus: Beamforming Using Thousands of Passive Antennas.
Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020
Finding Safety in Numbers with Secure Allegation Escrows.
Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020
RFocus: Practical Beamforming for Small Devices.
CoRR, 2019
SATE: Robust and Private Allegation Escrows.
CoRR, 2018
Copa: Practical Delay-Based Congestion Control for the Internet.
Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018
Demonstration of the Marple System for Network Performance Monitoring.
Proceedings of the Posters and Demos Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017
Language-Directed Hardware Design for Network Performance Monitoring.
Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017