Language-Directed Hardware Design for Network Performance Monitoring. - Srinivas Narayana; Anirudh Sivaraman; Vikram Nathan; Prateesh Goyal; Venkat Arun; Mohammad Alizadeh; Vimalkumar Jeyakumar; Changhoon Kim (SIGCOMM, 2017)

Demonstration of the Marple System for Network Performance Monitoring. - Vikram Nathan; Srinivas Narayana; Anirudh Sivaraman; Prateesh Goyal; Venkat Arun; Mohammad Alizadeh; Vimalkumar Jeyakumar; Changhoon Kim (SIGCOMM Posters and Demos, 2017)

Copa: Practical Delay-Based Congestion Control for the Internet. - Venkat Arun; Hari Balakrishnan (NSDI, 2018)

SATE: Robust and Private Allegation Escrows. - Venkat Arun; Aniket Kate; Deepak Garg 001; Peter Druschel; Bobby Bhattacharjee (CoRR, 2018)

RFocus: Practical Beamforming for Small Devices. - Venkat Arun; Hari Balakrishnan (CoRR, 2019)

Finding Safety in Numbers with Secure Allegation Escrows. - Venkat Arun; Aniket Kate; Deepak Garg 001; Peter Druschel; Bobby Bhattacharjee (NDSS, 2020)

RFocus: Beamforming Using Thousands of Passive Antennas. - Venkat Arun; Hari Balakrishnan (NSDI, 2020)

Throughput-fairness tradeoffs in mobility platforms. - Arjun Balasingam; Karthik Gopalakrishnan 002; Radhika Mittal; Venkat Arun; Ahmed Saeed 001; Mohammad Alizadeh; Hamsa Balakrishnan; Hari Balakrishnan (MobiSys, 2021)

Toward formally verifying congestion control behavior. - Venkat Arun; Mina Tahmasbi Arashloo; Ahmed Saeed 001; Mohammad Alizadeh; Hari Balakrishnan (SIGCOMM, 2021)

Automating network heuristic design and analysis. - Anup Agarwal; Venkat Arun; Devdeep Ray; Ruben Martins; Srinivasan Seshan (HotNets, 2022)

The case for an internet primitive for fault localization. - William Sussman; Emily Marx; Venkat Arun; Akshay Narayan 001; Mohammad Alizadeh; Hari Balakrishnan; Aurojit Panda; Scott Shenker (HotNets, 2022)

Privid: Practical, Privacy-Preserving Video Analytics Queries. - Frank Cangialosi; Neil Agarwal; Venkat Arun; Junchen Jiang; Srinivas Narayana; Anand D. Sarwate; Ravi Netravali (NSDI, 2022)

Starvation in end-to-end congestion control. - Venkat Arun; Mohammad Alizadeh; Hari Balakrishnan (SIGCOMM, 2022)

Enabling High Quality Real-Time Communications with Adaptive Frame-Rate. - Zili Meng; Tingfeng Wang; Yixin Shen 002; Bo Wang 066; Mingwei Xu; Rui Han; Honghao Liu; Venkat Arun; Hongxin Hu; Xue Wei (NSDI, 2023)

Quantitative Verification of Scheduling Heuristics. - Saksham Goel; Benjamin Mikek; Jehad Aly; Venkat Arun; Ahmed Saeed 001; Aditya Akella (CoRR, 2023)

Verifying the Performance of Network Control Algorithms - Venkat Arun (2023)

Lightweight Automated Reasoning for Network Architectures. - Rahul Bothra; Venkat Arun; Brighten Godfrey; Akshay Narayan 001; Ahmed Saeed 001 (HotNets, 2024)

Towards provably performant congestion control. - Anup Agarwal; Venkat Arun; Devdeep Ray; Ruben Martins; Srinivasan Seshan (NSDI, 2024)

Hairpin: Rethinking Packet Loss Recovery in Edge-based Interactive Video Streaming. - Zili Meng; Xiao Kong; Jing Chen; Bo Wang 066; Mingwei Xu; Rui Han; Honghao Liu; Venkat Arun; Hongxin Hu; Xue Wei (NSDI, 2024)

Speculative Ad-hoc Querying. - Haoyu Li; Srikanth Kandula; Maria Angels de Luis Balaguer; Aditya Akella; Venkat Arun (CoRR, 2025)

Contracts: A unified lens on congestion control robustness, fairness, congestion, and generality. - Anup Agarwal; Venkat Arun; Srinivasan Seshan (CoRR, 2025)