Enabling Silent Telemetry Data Transmission with InvisiFlow
Yinda Zhang, Liangcheng Yu, Gianni Antichi, Ran Ben Basat, Vincent Liu
NSDI 2025 | April 2025
Intelligent Networked Systems Research
Publications
Publications by Year
-
-
SpotLight: Accurate, Explainable and Efficient Anomaly Detection for Open RAN
Chuanhao Sun, Ujjwal Pawar, Molham Khoja, Xenofon Foukas, Mahesh K. Marina, Bozidar Radunovic
ACM MobiCom ’24 | November 2024
Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
Yiming Qiu, Patrick Kon, Ryan Beckett, Ang Chen
Symposium on Operating Systems Principles | November 2024
ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos
Yuxin (Myles) Liu, Zhihao Yao, Mingyi Chen, Ardalan Amiri Sani, Sharad Agarwal, Gene Tsudik
MobiCom | November 2024
Distributed AI Platform for the 6G RAN
Ganesh Ananthanarayanan, Xenofon Foukas, Bozidar Radunovic, Yongguang Zhang
October 2024
LLexus: an AI agent system for incident management
Pedro Las-Casas, Alok Kumbhare, Rodrigo Fonseca, Sharad Agarwal
ACM SIGOPS Operating Systems Review | August 2024
Beaver: Practical Partial Snapshots for Distributed Cloud Services
Liangcheng Yu, Xiao Zhang, Haoran Zhang, John Sonchack, Dan R. K. Ports, Vincent Liu
OSDI 2024 | July 2024
Diffy: Data-Driven Bug Finding for Configurations
Siva Kesava Reddy Kakarla, Francis Y. Yan, Ryan Beckett
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’24) | June 2024
Towards Energy Efficient 5G vRAN Servers
Anuj Kalia, Nikita Lazarev, Leyang Xue, Xenofon Foukas, Bozidar Radunovic, Francis Y. Yan
MSR-TR-2024-17 | June 2024
Published by Microsoft
MESSI: Behavioral Testing of BGP Implementations
Rathin Singha, Rajdeep Mondal, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd Millstein, George Varghese
NSDI 2024 | April 2024
Sequence Abstractions for Flexible, Line-Rate Network Monitoring
2024 Networked Systems Design and Implementation | April 2024
Autothrottle: A Practical Bi-Level Approach to Resource Management for SLO-Targeted Microservices
Zibo Wang, Pinghe Li, Chieh-Jan Mike Liang, Feng Wu, Francis Y. Yan
USENIX Symposium on Networked Systems Design and Implementation (NSDI ’24) | April 2024
Outstanding Paper Award
Towards Multi-Stakeholder Clouds
Bohdan Borysei, Stefan Saroiu, Eyal de Lara
HotMobile | February 2024
Finding Adversarial Inputs for Heuristics using Multi-level Optimization
Pooria Namyar, Ryan Beckett, Santiago Segarra, Himanshu Raj, Umesh Krishnaswamy, Ramesh Govindan, Srikanth Kandula, Behnaz Arzani
NSDI | February 2024
-
What do llms need to synthesize correct router configurations?
Rajdeep Mondal, Ryan Beckett, Alan Tang, Todd Millstein, George Varghese
HotNets | November 2023
Siloz: Leveraging DRAM Isolation Domains to Prevent Inter-VM Rowhammer
Kevin Loughlin, Jonah Rosenblum, Stefan Saroiu, Alec Wolman (alecw), Dimitrios Skarlatos, Baris Kasikci
SOSP 2023 | October 2023
Taking 5G RAN Analytics and Control to a New Level
Xenofon Foukas, Bozidar Radunovic, Matthew Balkwill, Zhihua Lai
ACM MobiCom 2023 | October 2023
Accelerating Open RAN Research Through an Enterprise-scale 5G Testbed
Victor Bahl, Matthew Balkwill, Xenofon Foukas, Anuj Kalia, Daehyeok Kim, Manikanta Kotaru, Zhihua Lai, Sanjeev Mehrotra, Bozidar Radunovic, Stefan Saroiu, Connor Settle, Ankit Verma, Alec Wolman, Francis Y. Yan, Yongguang Zhang
Annual International Conference on Mobile Computing and Networking (MobiCom ’23) | October 2023
(authors in alphabetical order)
PAINTER: Ingress Traffic Engineering and Routing for Enterprise Cloud Networks
Thomas Koch, Shuyue Yu, Sharad Agarwal, Ryan Beckett, Ethan Katz-Bassett
SIGCOMM | September 2023
Modular control plane verification via temporal invariants
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Programming Language Design and Implementation | June 2023
Lightyear: Using Modularity to Scale BGP Control Plane Verification
Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd Millstein, George Varghese
SIGCOMM 2023 | April 2023
Synthesizing runtime programmable switch updates
Yiming Qiu, Ryan Beckett, Ang Chen
Network System Design and Implementation | April 2023
Test Coverage for Network Configurations
Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
Networked Systems Design and Implementation | April 2023
-
Minding the gap between Fast Heuristics and their Optimal Counterparts
Pooria Namyar, Behnaz Arzani, Ryan Beckett, Santiago Segarra, Srikanth Kandula
Hot Topics in Networking | November 2022
ACORN: Network Control Plane Abstraction using Route Nondeterminism.
Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
Formal Methods in Computer-Aided Design | October 2022
Kleene Algebra Modulo Theories: A Framework for Concrete KATs
Michael Greenberg, Ryan Beckett, Eric Campbell
PLDI 2022 | June 2022
Distinguished Paper Award at PLDI'22
Katra: Realtime Verification for Multilayer Networks
Ryan Beckett, Aarti Gupta
NSDI 2022 | March 2022
SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers
Siva Kesava Reddy Kakarla, Ryan Beckett, Todd Millstein, George Varghese
NSDI 2022 | March 2022
IRTF Applied Networking Research Prize
Kirigami, the Verifiable Art of Network Cutting
Tim Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
2022 IEEE 30th International Conference on Network Protocols (ICNP) | February 2022, pp. 1-12
ICNP 2022 Best Paper Award
-
How Complex is DNS?
Siva Kesava Reddy Kakarla, Ryan Beckett, Todd Millstein, George Varghese
HotNets 2021 | November 2021
Campion: Debugging Router Configuration Differences
Alan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd Millstein, Yuval Tamir, George Varghese
ACM SIGCOMM 2021 | August 2021
Concordia: Teaching the 5G vRAN to Share Compute
Xenofon Foukas, Bozidar Radunovic
ACM SIGCOMM 2021 | August 2021
Test Coverage Metrics for the Network
Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker
ACM SIGCOMM 2021 | August 2021
Cost-Effective Cloud Edge Traffic Engineering with CASCARA
Rachee Singh, Sharad Agarwal, Matt Calder, Victor Bahl
USENIX NSDI | April 2021
-
A General Framework for Compositional Network Modeling
Ryan Beckett, Ratul Mahajan
HotNets | November 2020
Editor(s): Association for Computing Machinery
Aragog: Scalable Runtime Verification of Shardable Networked Systems
Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu
Operating systems and implementations (OSDI) | October 2020
GRoot: Proactive Verification of DNS Configurations
Siva Kesava Reddy Kakarla, Ryan Beckett, Behnaz Arzani, Todd Millstein, George Varghese
SIGCOMM 2020 | August 2020
SIGCOMM 2020 Best Student Paper
NV: An Intermediate Language for Verification of Network Control Planes
Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker
Programming Language Design and Implementation | June 2020
Tabellion: secure legal contracts on mobile devices
Saeed Mirzamohammadi, Yuxin (Myles) Liu, Tianmei Ann Huang, Ardalan Amiri Sani, Sharad Agarwal, Sung Eun (Summer) Kim
ACM MobiSys | June 2020
Contra: A programmable system for performance-aware routing
Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, Praveen Tammana, David Walker
NSDI | April 2020
Finding Network Misconfigurations by Automatic Template Inference
Siva Kesava Reddy Kakarla, Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd Millstein, Yuval Tamir, George Varghese
NSDI 2020 | February 2020
-
Abstract interpretation of distributed network control planes
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
POPL | December 2019
Putting network verification to good use
Ryan Beckett, Ratul Mahajan
HotNets | November 2019
-
Control plane compression
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
SIGCOMM | August 2018
-
Don’t Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations
Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitu Padhye, David Walker
SIGCOMM 2016 | August 2016
SIGCOMM 2016 Best Paper Award
MCDNN: An Approximation-Based Execution Framework for Deep Stream Processing Under Resource Constraints
Seungyeop Han, Haichen Shen, Matthai Philipose, Sharad Agarwal, Alec Wolman, Arvind Krishnamurthy
ACM MobiSys | June 2016
-
Procrastinator: Pacing Mobile Apps Usage of the Network
Lenin Ravindranath Sivalingam, Sharad Agarwal, Jitu Padhye, Chris Riederer
ACM MobiSys | June 2014
Vision: The Case for Cellular Small Cells for Cloudlets
Sharad Agarwal, Matthai Philipose, Victor Bahl
International Workshop on Mobile Cloud Computing & Services | June 2014
Daredevil: Indoor Location Using Sound
Ionut Constandache, Sharad Agarwal, Ivan Tashev, Romit Roy Choudhury
ACM Mobile Computing and Communications Review (MC2R) | April 2014
Barometric Phone Sensors – More Hype Than Hope!
Kartik Muralidharan, Azeem Javed Khan, Archan Misra, Rajesh Krishna Balan, Sharad Agarwal
ACM HotMobile 2014 | February 2014
-
The wireless data drain of users, apps, & platforms
Ardalan Amiri Sani, Zhiyong Tan, Peter Washington, Mira Chen, Sharad Agarwal, Lin Zhong, Ming Zhang
ACM MC2R | October 2013
-
High performance vehicular connectivity using opportunistic erasure coding
Ratul Mahajan, Jitu Padhye, Sharad Agarwal, Brian Zill
USENIX Annual Technical Conference | August 2012
An Operating System for the Home
Colin Dixon, Ratul Mahajan, Sharad Agarwal, A.J. Brush, Bongshin Lee, Stefan Saroiu, Victor Bahl
NSDI | April 2012
-
Switchboard: A Matchmaking System for Multiplayer Mobile Games
Justin Manweiler, Sharad Agarwal, Ming Zhang, Romit Roy Choudhury, Victor Bahl
MobiSys | June 2011
-
The Home Needs an Operating System (and an App Store)
Colin Dixon, Ratul Mahajan, Sharad Agarwal, A.J. Brush, Bongshin Lee, Stefan Saroiu, Victor Bahl
HotNets IX | October 2010
There’s an app for that, but it doesn’t work. Diagnosing Mobile Applications in the Wild
Sharad Agarwal, Ratul Mahajan, Alice Zheng, Victor Bahl
HotNets IX | October 2010
Virtual Compass: relative positioning to sense mobile social interactions
Nilanjan Banerjee, Sharad Agarwal, Paramvir Bahl, Ranveer Chandra, Alec Wolman, Mark Corner, Victor Bahl
MSR-TR-2010-5 | January 2010
Published by Microsoft
WebProfiler: cooperative diagnosis of Web failures
Sharad Agarwal, Nikitas Liogkas, Prashanth Mohan, Venkat Padmanabhan
COMSNETS | January 2010
-
WebProfiler: cooperative diagnosis of Web failures
Sharad Agarwal, Nikitas Liogkas, Prashanth Mohan, Venkata N. Padmanabhan, Venkat Padmanabhan
MSR-TR-2008-45 | October 2008
Published by Microsoft
Measurement and Estimation of Network QoS among Peer Xbox 360 Game Players
Youngki Lee, Sharad Agarwal, Chris Butcher, Jitu Padhye
PAM | April 2008
-
Addressing Email Loss with SureMail: Measurement, Design, and Evaluation
Sharad Agarwal, Venkat Padmanabhan, Dilip Joseph
Usenix Annual Technical Conference | June 2007
AS-Based Accountability as a Cost-Effective DDoS Defense
Daniel Simon, Sharad Agarwal, Dave Maltz
HotBots — First Workshop on Hot Topics in Understanding Botnets | April 2007
-
A Study of End-to-End Web Access Failures
Sriram Ramabhadran, Sharad Agarwal, Jitu Padhye, Venkat Padmanabhan
CoNEXT | December 2006
The “Evil Bit” Revisited: Blocking DDoS Attacks with AS-Based Accountability
Daniel R. Simon, Sharad Agarwal, Dave Maltz
MSR-TR-2006-146 | October 2006
Published by Microsoft
Feasibility Study of Mesh Networks for All-Wireless Offices
Jakob Eriksson, Sharad Agarwal, Jitu Padhye, Victor Bahl
MobiSys | June 2006
Addressing Email Loss with SureMail: Measurement, Design, and Evaluation
Sharad Agarwal, Dilip Joseph, Venkat Padmanabhan
MSR-TR-2006-67 | May 2006
Published by Microsoft
-
SureMail: Notification Overlay for Email Reliability
Sharad Agarwal, Venkat Padmanabhan, Dilip Joseph
HotNets IV | November 2005
Measuring the Shared Fate of IGP Engineering and Interdomain Traffic
Sharad Agarwal, Antonio Nucci, Supratik Bhattacharyya
ICNP | November 2005
A Feasibility Study of Mesh Networks for an All-Wireless Office
Jakob Eriksson, Sharad Agarwal, Jitu Padhye, Victor Bahl
MSR-TR-2005-170 | November 2005
Published by Microsoft
Estimation of Link Interference in Static Multi-hop Wireless Networks
Jitu Padhye, Lili Qiu, Ananth Rao, Brian Zill, Sharad Agarwal, Venkat Padmanabhan
IMC | October 2005
BGP Routing Changes: Merging Views from Two ISPs
Renata Teixeira, Sharad Agarwal, Jennifer Rexford
CCR | October 2005
Publications by Research Area
-
SpotLight: Accurate, Explainable and Efficient Anomaly Detection for Open RAN
Chuanhao Sun, Ujjwal Pawar, Molham Khoja, Xenofon Foukas, Mahesh K. Marina, Bozidar Radunovic
ACM MobiCom ’24 | November 2024
LLexus: an AI agent system for incident management
Pedro Las-Casas, Alok Kumbhare, Rodrigo Fonseca, Sharad Agarwal
ACM SIGOPS Operating Systems Review | August 2024
Autothrottle: A Practical Bi-Level Approach to Resource Management for SLO-Targeted Microservices
Zibo Wang, Pinghe Li, Chieh-Jan Mike Liang, Feng Wu, Francis Y. Yan
USENIX Symposium on Networked Systems Design and Implementation (NSDI ’24) | April 2024
Outstanding Paper Award
There’s an app for that, but it doesn’t work. Diagnosing Mobile Applications in the Wild
Sharad Agarwal, Ratul Mahajan, Alice Zheng, Victor Bahl
HotNets IX | October 2010
-
SpotLight: Accurate, Explainable and Efficient Anomaly Detection for Open RAN
Chuanhao Sun, Ujjwal Pawar, Molham Khoja, Xenofon Foukas, Mahesh K. Marina, Bozidar Radunovic
ACM MobiCom ’24 | November 2024
-
Enabling Silent Telemetry Data Transmission with InvisiFlow
Yinda Zhang, Liangcheng Yu, Gianni Antichi, Ran Ben Basat, Vincent Liu
NSDI 2025 | April 2025
SpotLight: Accurate, Explainable and Efficient Anomaly Detection for Open RAN
Chuanhao Sun, Ujjwal Pawar, Molham Khoja, Xenofon Foukas, Mahesh K. Marina, Bozidar Radunovic
ACM MobiCom ’24 | November 2024
Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
Yiming Qiu, Patrick Kon, Ryan Beckett, Ang Chen
Symposium on Operating Systems Principles | November 2024
ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos
Yuxin (Myles) Liu, Zhihao Yao, Mingyi Chen, Ardalan Amiri Sani, Sharad Agarwal, Gene Tsudik
MobiCom | November 2024
Distributed AI Platform for the 6G RAN
Ganesh Ananthanarayanan, Xenofon Foukas, Bozidar Radunovic, Yongguang Zhang
October 2024
LLexus: an AI agent system for incident management
Pedro Las-Casas, Alok Kumbhare, Rodrigo Fonseca, Sharad Agarwal
ACM SIGOPS Operating Systems Review | August 2024
Beaver: Practical Partial Snapshots for Distributed Cloud Services
Liangcheng Yu, Xiao Zhang, Haoran Zhang, John Sonchack, Dan R. K. Ports, Vincent Liu
OSDI 2024 | July 2024
Towards Energy Efficient 5G vRAN Servers
Anuj Kalia, Nikita Lazarev, Leyang Xue, Xenofon Foukas, Bozidar Radunovic, Francis Y. Yan
MSR-TR-2024-17 | June 2024
Published by Microsoft
Diffy: Data-Driven Bug Finding for Configurations
Siva Kesava Reddy Kakarla, Francis Y. Yan, Ryan Beckett
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’24) | June 2024
Sequence Abstractions for Flexible, Line-Rate Network Monitoring
2024 Networked Systems Design and Implementation | April 2024
MESSI: Behavioral Testing of BGP Implementations
Rathin Singha, Rajdeep Mondal, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd Millstein, George Varghese
NSDI 2024 | April 2024
Autothrottle: A Practical Bi-Level Approach to Resource Management for SLO-Targeted Microservices
Zibo Wang, Pinghe Li, Chieh-Jan Mike Liang, Feng Wu, Francis Y. Yan
USENIX Symposium on Networked Systems Design and Implementation (NSDI ’24) | April 2024
Outstanding Paper Award
Towards Multi-Stakeholder Clouds
Bohdan Borysei, Stefan Saroiu, Eyal de Lara
HotMobile | February 2024
Finding Adversarial Inputs for Heuristics using Multi-level Optimization
Pooria Namyar, Ryan Beckett, Santiago Segarra, Himanshu Raj, Umesh Krishnaswamy, Ramesh Govindan, Srikanth Kandula, Behnaz Arzani
NSDI | February 2024
What do llms need to synthesize correct router configurations?
Rajdeep Mondal, Ryan Beckett, Alan Tang, Todd Millstein, George Varghese
HotNets | November 2023
Taking 5G RAN Analytics and Control to a New Level
Xenofon Foukas, Bozidar Radunovic, Matthew Balkwill, Zhihua Lai
ACM MobiCom 2023 | October 2023
Accelerating Open RAN Research Through an Enterprise-scale 5G Testbed
Victor Bahl, Matthew Balkwill, Xenofon Foukas, Anuj Kalia, Daehyeok Kim, Manikanta Kotaru, Zhihua Lai, Sanjeev Mehrotra, Bozidar Radunovic, Stefan Saroiu, Connor Settle, Ankit Verma, Alec Wolman, Francis Y. Yan, Yongguang Zhang
Annual International Conference on Mobile Computing and Networking (MobiCom ’23) | October 2023
(authors in alphabetical order)
PAINTER: Ingress Traffic Engineering and Routing for Enterprise Cloud Networks
Thomas Koch, Shuyue Yu, Sharad Agarwal, Ryan Beckett, Ethan Katz-Bassett
SIGCOMM | September 2023
Modular control plane verification via temporal invariants
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Programming Language Design and Implementation | June 2023
Lightyear: Using Modularity to Scale BGP Control Plane Verification
Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd Millstein, George Varghese
SIGCOMM 2023 | April 2023
Synthesizing runtime programmable switch updates
Yiming Qiu, Ryan Beckett, Ang Chen
Network System Design and Implementation | April 2023
Test Coverage for Network Configurations
Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
Networked Systems Design and Implementation | April 2023
Minding the gap between Fast Heuristics and their Optimal Counterparts
Pooria Namyar, Behnaz Arzani, Ryan Beckett, Santiago Segarra, Srikanth Kandula
Hot Topics in Networking | November 2022
ACORN: Network Control Plane Abstraction using Route Nondeterminism.
Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
Formal Methods in Computer-Aided Design | October 2022
Katra: Realtime Verification for Multilayer Networks
Ryan Beckett, Aarti Gupta
NSDI 2022 | March 2022
SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers
Siva Kesava Reddy Kakarla, Ryan Beckett, Todd Millstein, George Varghese
NSDI 2022 | March 2022
IRTF Applied Networking Research Prize
Kirigami, the Verifiable Art of Network Cutting
Tim Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
2022 IEEE 30th International Conference on Network Protocols (ICNP) | February 2022, pp. 1-12
ICNP 2022 Best Paper Award
How Complex is DNS?
Siva Kesava Reddy Kakarla, Ryan Beckett, Todd Millstein, George Varghese
HotNets 2021 | November 2021
Test Coverage Metrics for the Network
Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker
ACM SIGCOMM 2021 | August 2021
Campion: Debugging Router Configuration Differences
Alan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd Millstein, Yuval Tamir, George Varghese
ACM SIGCOMM 2021 | August 2021
Concordia: Teaching the 5G vRAN to Share Compute
Xenofon Foukas, Bozidar Radunovic
ACM SIGCOMM 2021 | August 2021
Cost-Effective Cloud Edge Traffic Engineering with CASCARA
Rachee Singh, Sharad Agarwal, Matt Calder, Victor Bahl
USENIX NSDI | April 2021
A General Framework for Compositional Network Modeling
Ryan Beckett, Ratul Mahajan
HotNets | November 2020
Editor(s): Association for Computing Machinery
Aragog: Scalable Runtime Verification of Shardable Networked Systems
Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu
Operating systems and implementations (OSDI) | October 2020
GRoot: Proactive Verification of DNS Configurations
Siva Kesava Reddy Kakarla, Ryan Beckett, Behnaz Arzani, Todd Millstein, George Varghese
SIGCOMM 2020 | August 2020
SIGCOMM 2020 Best Student Paper
NV: An Intermediate Language for Verification of Network Control Planes
Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker
Programming Language Design and Implementation | June 2020
Tabellion: secure legal contracts on mobile devices
Saeed Mirzamohammadi, Yuxin (Myles) Liu, Tianmei Ann Huang, Ardalan Amiri Sani, Sharad Agarwal, Sung Eun (Summer) Kim
ACM MobiSys | June 2020
Contra: A programmable system for performance-aware routing
Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, Praveen Tammana, David Walker
NSDI | April 2020
Finding Network Misconfigurations by Automatic Template Inference
Siva Kesava Reddy Kakarla, Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd Millstein, Yuval Tamir, George Varghese
NSDI 2020 | February 2020
Abstract interpretation of distributed network control planes
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
POPL | December 2019
Putting network verification to good use
Ryan Beckett, Ratul Mahajan
HotNets | November 2019
Control plane compression
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
SIGCOMM | August 2018
Don’t Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations
Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitu Padhye, David Walker
SIGCOMM 2016 | August 2016
SIGCOMM 2016 Best Paper Award
MCDNN: An Approximation-Based Execution Framework for Deep Stream Processing Under Resource Constraints
Seungyeop Han, Haichen Shen, Matthai Philipose, Sharad Agarwal, Alec Wolman, Arvind Krishnamurthy
ACM MobiSys | June 2016
Procrastinator: Pacing Mobile Apps Usage of the Network
Lenin Ravindranath Sivalingam, Sharad Agarwal, Jitu Padhye, Chris Riederer
ACM MobiSys | June 2014
Vision: The Case for Cellular Small Cells for Cloudlets
Sharad Agarwal, Matthai Philipose, Victor Bahl
International Workshop on Mobile Cloud Computing & Services | June 2014
Daredevil: Indoor Location Using Sound
Ionut Constandache, Sharad Agarwal, Ivan Tashev, Romit Roy Choudhury
ACM Mobile Computing and Communications Review (MC2R) | April 2014
Barometric Phone Sensors – More Hype Than Hope!
Kartik Muralidharan, Azeem Javed Khan, Archan Misra, Rajesh Krishna Balan, Sharad Agarwal
ACM HotMobile 2014 | February 2014
The wireless data drain of users, apps, & platforms
Ardalan Amiri Sani, Zhiyong Tan, Peter Washington, Mira Chen, Sharad Agarwal, Lin Zhong, Ming Zhang
ACM MC2R | October 2013
High performance vehicular connectivity using opportunistic erasure coding
Ratul Mahajan, Jitu Padhye, Sharad Agarwal, Brian Zill
USENIX Annual Technical Conference | August 2012
An Operating System for the Home
Colin Dixon, Ratul Mahajan, Sharad Agarwal, A.J. Brush, Bongshin Lee, Stefan Saroiu, Victor Bahl
NSDI | April 2012
Switchboard: A Matchmaking System for Multiplayer Mobile Games
Justin Manweiler, Sharad Agarwal, Ming Zhang, Romit Roy Choudhury, Victor Bahl
MobiSys | June 2011
There’s an app for that, but it doesn’t work. Diagnosing Mobile Applications in the Wild
Sharad Agarwal, Ratul Mahajan, Alice Zheng, Victor Bahl
HotNets IX | October 2010
The Home Needs an Operating System (and an App Store)
Colin Dixon, Ratul Mahajan, Sharad Agarwal, A.J. Brush, Bongshin Lee, Stefan Saroiu, Victor Bahl
HotNets IX | October 2010
Virtual Compass: relative positioning to sense mobile social interactions
Nilanjan Banerjee, Sharad Agarwal, Paramvir Bahl, Ranveer Chandra, Alec Wolman, Mark Corner, Victor Bahl
MSR-TR-2010-5 | January 2010
Published by Microsoft
WebProfiler: cooperative diagnosis of Web failures
Sharad Agarwal, Nikitas Liogkas, Prashanth Mohan, Venkat Padmanabhan
COMSNETS | January 2010
WebProfiler: cooperative diagnosis of Web failures
Sharad Agarwal, Nikitas Liogkas, Prashanth Mohan, Venkata N. Padmanabhan, Venkat Padmanabhan
MSR-TR-2008-45 | October 2008
Published by Microsoft
Measurement and Estimation of Network QoS among Peer Xbox 360 Game Players
Youngki Lee, Sharad Agarwal, Chris Butcher, Jitu Padhye
PAM | April 2008
Addressing Email Loss with SureMail: Measurement, Design, and Evaluation
Sharad Agarwal, Venkat Padmanabhan, Dilip Joseph
Usenix Annual Technical Conference | June 2007
AS-Based Accountability as a Cost-Effective DDoS Defense
Daniel Simon, Sharad Agarwal, Dave Maltz
HotBots — First Workshop on Hot Topics in Understanding Botnets | April 2007
A Study of End-to-End Web Access Failures
Sriram Ramabhadran, Sharad Agarwal, Jitu Padhye, Venkat Padmanabhan
CoNEXT | December 2006
The “Evil Bit” Revisited: Blocking DDoS Attacks with AS-Based Accountability
Daniel R. Simon, Sharad Agarwal, Dave Maltz
MSR-TR-2006-146 | October 2006
Published by Microsoft
Feasibility Study of Mesh Networks for All-Wireless Offices
Jakob Eriksson, Sharad Agarwal, Jitu Padhye, Victor Bahl
MobiSys | June 2006
Addressing Email Loss with SureMail: Measurement, Design, and Evaluation
Sharad Agarwal, Dilip Joseph, Venkat Padmanabhan
MSR-TR-2006-67 | May 2006
Published by Microsoft
SureMail: Notification Overlay for Email Reliability
Sharad Agarwal, Venkat Padmanabhan, Dilip Joseph
HotNets IV | November 2005
Measuring the Shared Fate of IGP Engineering and Interdomain Traffic
Sharad Agarwal, Antonio Nucci, Supratik Bhattacharyya
ICNP | November 2005
A Feasibility Study of Mesh Networks for an All-Wireless Office
Jakob Eriksson, Sharad Agarwal, Jitu Padhye, Victor Bahl
MSR-TR-2005-170 | November 2005
Published by Microsoft
Estimation of Link Interference in Static Multi-hop Wireless Networks
Jitu Padhye, Lili Qiu, Ananth Rao, Brian Zill, Sharad Agarwal, Venkat Padmanabhan
IMC | October 2005
BGP Routing Changes: Merging Views from Two ISPs
Renata Teixeira, Sharad Agarwal, Jennifer Rexford
CCR | October 2005
-
Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
Yiming Qiu, Patrick Kon, Ryan Beckett, Ang Chen
Symposium on Operating Systems Principles | November 2024
Modular control plane verification via temporal invariants
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Programming Language Design and Implementation | June 2023
Lightyear: Using Modularity to Scale BGP Control Plane Verification
Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd Millstein, George Varghese
SIGCOMM 2023 | April 2023
Synthesizing runtime programmable switch updates
Yiming Qiu, Ryan Beckett, Ang Chen
Network System Design and Implementation | April 2023
ACORN: Network Control Plane Abstraction using Route Nondeterminism.
Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
Formal Methods in Computer-Aided Design | October 2022
Kleene Algebra Modulo Theories: A Framework for Concrete KATs
Michael Greenberg, Ryan Beckett, Eric Campbell
PLDI 2022 | June 2022
Distinguished Paper Award at PLDI'22
Kirigami, the Verifiable Art of Network Cutting
Tim Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
2022 IEEE 30th International Conference on Network Protocols (ICNP) | February 2022, pp. 1-12
ICNP 2022 Best Paper Award
A General Framework for Compositional Network Modeling
Ryan Beckett, Ratul Mahajan
HotNets | November 2020
Editor(s): Association for Computing Machinery
NV: An Intermediate Language for Verification of Network Control Planes
Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker
Programming Language Design and Implementation | June 2020
Abstract interpretation of distributed network control planes
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
POPL | December 2019
Procrastinator: Pacing Mobile Apps Usage of the Network
Lenin Ravindranath Sivalingam, Sharad Agarwal, Jitu Padhye, Chris Riederer
ACM MobiSys | June 2014
There’s an app for that, but it doesn’t work. Diagnosing Mobile Applications in the Wild
Sharad Agarwal, Ratul Mahajan, Alice Zheng, Victor Bahl
HotNets IX | October 2010
-
ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos
Yuxin (Myles) Liu, Zhihao Yao, Mingyi Chen, Ardalan Amiri Sani, Sharad Agarwal, Gene Tsudik
MobiCom | November 2024
Siloz: Leveraging DRAM Isolation Domains to Prevent Inter-VM Rowhammer
Kevin Loughlin, Jonah Rosenblum, Stefan Saroiu, Alec Wolman (alecw), Dimitrios Skarlatos, Baris Kasikci
SOSP 2023 | October 2023
-
Daredevil: Indoor Location Using Sound
Ionut Constandache, Sharad Agarwal, Ivan Tashev, Romit Roy Choudhury
ACM Mobile Computing and Communications Review (MC2R) | April 2014
-
Daredevil: Indoor Location Using Sound
Ionut Constandache, Sharad Agarwal, Ivan Tashev, Romit Roy Choudhury
ACM Mobile Computing and Communications Review (MC2R) | April 2014
Publications by Type
-
Enabling Silent Telemetry Data Transmission with InvisiFlow
Yinda Zhang, Liangcheng Yu, Gianni Antichi, Ran Ben Basat, Vincent Liu
NSDI 2025 | April 2025
SpotLight: Accurate, Explainable and Efficient Anomaly Detection for Open RAN
Chuanhao Sun, Ujjwal Pawar, Molham Khoja, Xenofon Foukas, Mahesh K. Marina, Bozidar Radunovic
ACM MobiCom ’24 | November 2024
Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
Yiming Qiu, Patrick Kon, Ryan Beckett, Ang Chen
Symposium on Operating Systems Principles | November 2024
ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos
Yuxin (Myles) Liu, Zhihao Yao, Mingyi Chen, Ardalan Amiri Sani, Sharad Agarwal, Gene Tsudik
MobiCom | November 2024
Beaver: Practical Partial Snapshots for Distributed Cloud Services
Liangcheng Yu, Xiao Zhang, Haoran Zhang, John Sonchack, Dan R. K. Ports, Vincent Liu
OSDI 2024 | July 2024
Diffy: Data-Driven Bug Finding for Configurations
Siva Kesava Reddy Kakarla, Francis Y. Yan, Ryan Beckett
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’24) | June 2024
Sequence Abstractions for Flexible, Line-Rate Network Monitoring
2024 Networked Systems Design and Implementation | April 2024
MESSI: Behavioral Testing of BGP Implementations
Rathin Singha, Rajdeep Mondal, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd Millstein, George Varghese
NSDI 2024 | April 2024
Autothrottle: A Practical Bi-Level Approach to Resource Management for SLO-Targeted Microservices
Zibo Wang, Pinghe Li, Chieh-Jan Mike Liang, Feng Wu, Francis Y. Yan
USENIX Symposium on Networked Systems Design and Implementation (NSDI ’24) | April 2024
Outstanding Paper Award
Towards Multi-Stakeholder Clouds
Bohdan Borysei, Stefan Saroiu, Eyal de Lara
HotMobile | February 2024
Finding Adversarial Inputs for Heuristics using Multi-level Optimization
Pooria Namyar, Ryan Beckett, Santiago Segarra, Himanshu Raj, Umesh Krishnaswamy, Ramesh Govindan, Srikanth Kandula, Behnaz Arzani
NSDI | February 2024
What do llms need to synthesize correct router configurations?
Rajdeep Mondal, Ryan Beckett, Alan Tang, Todd Millstein, George Varghese
HotNets | November 2023
Siloz: Leveraging DRAM Isolation Domains to Prevent Inter-VM Rowhammer
Kevin Loughlin, Jonah Rosenblum, Stefan Saroiu, Alec Wolman (alecw), Dimitrios Skarlatos, Baris Kasikci
SOSP 2023 | October 2023
Taking 5G RAN Analytics and Control to a New Level
Xenofon Foukas, Bozidar Radunovic, Matthew Balkwill, Zhihua Lai
ACM MobiCom 2023 | October 2023
Accelerating Open RAN Research Through an Enterprise-scale 5G Testbed
Victor Bahl, Matthew Balkwill, Xenofon Foukas, Anuj Kalia, Daehyeok Kim, Manikanta Kotaru, Zhihua Lai, Sanjeev Mehrotra, Bozidar Radunovic, Stefan Saroiu, Connor Settle, Ankit Verma, Alec Wolman, Francis Y. Yan, Yongguang Zhang
Annual International Conference on Mobile Computing and Networking (MobiCom ’23) | October 2023
(authors in alphabetical order)
PAINTER: Ingress Traffic Engineering and Routing for Enterprise Cloud Networks
Thomas Koch, Shuyue Yu, Sharad Agarwal, Ryan Beckett, Ethan Katz-Bassett
SIGCOMM | September 2023
Modular control plane verification via temporal invariants
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Programming Language Design and Implementation | June 2023
Lightyear: Using Modularity to Scale BGP Control Plane Verification
Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd Millstein, George Varghese
SIGCOMM 2023 | April 2023
Synthesizing runtime programmable switch updates
Yiming Qiu, Ryan Beckett, Ang Chen
Network System Design and Implementation | April 2023
Test Coverage for Network Configurations
Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
Networked Systems Design and Implementation | April 2023
Minding the gap between Fast Heuristics and their Optimal Counterparts
Pooria Namyar, Behnaz Arzani, Ryan Beckett, Santiago Segarra, Srikanth Kandula
Hot Topics in Networking | November 2022
ACORN: Network Control Plane Abstraction using Route Nondeterminism.
Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
Formal Methods in Computer-Aided Design | October 2022
Kleene Algebra Modulo Theories: A Framework for Concrete KATs
Michael Greenberg, Ryan Beckett, Eric Campbell
PLDI 2022 | June 2022
Distinguished Paper Award at PLDI'22
Katra: Realtime Verification for Multilayer Networks
Ryan Beckett, Aarti Gupta
NSDI 2022 | March 2022
SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers
Siva Kesava Reddy Kakarla, Ryan Beckett, Todd Millstein, George Varghese
NSDI 2022 | March 2022
IRTF Applied Networking Research Prize
How Complex is DNS?
Siva Kesava Reddy Kakarla, Ryan Beckett, Todd Millstein, George Varghese
HotNets 2021 | November 2021
Test Coverage Metrics for the Network
Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker
ACM SIGCOMM 2021 | August 2021
Campion: Debugging Router Configuration Differences
Alan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd Millstein, Yuval Tamir, George Varghese
ACM SIGCOMM 2021 | August 2021
Concordia: Teaching the 5G vRAN to Share Compute
Xenofon Foukas, Bozidar Radunovic
ACM SIGCOMM 2021 | August 2021
Cost-Effective Cloud Edge Traffic Engineering with CASCARA
Rachee Singh, Sharad Agarwal, Matt Calder, Victor Bahl
USENIX NSDI | April 2021
A General Framework for Compositional Network Modeling
Ryan Beckett, Ratul Mahajan
HotNets | November 2020
Editor(s): Association for Computing Machinery
Aragog: Scalable Runtime Verification of Shardable Networked Systems
Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu
Operating systems and implementations (OSDI) | October 2020
GRoot: Proactive Verification of DNS Configurations
Siva Kesava Reddy Kakarla, Ryan Beckett, Behnaz Arzani, Todd Millstein, George Varghese
SIGCOMM 2020 | August 2020
SIGCOMM 2020 Best Student Paper
NV: An Intermediate Language for Verification of Network Control Planes
Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker
Programming Language Design and Implementation | June 2020
Tabellion: secure legal contracts on mobile devices
Saeed Mirzamohammadi, Yuxin (Myles) Liu, Tianmei Ann Huang, Ardalan Amiri Sani, Sharad Agarwal, Sung Eun (Summer) Kim
ACM MobiSys | June 2020
Contra: A programmable system for performance-aware routing
Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, Praveen Tammana, David Walker
NSDI | April 2020
Finding Network Misconfigurations by Automatic Template Inference
Siva Kesava Reddy Kakarla, Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd Millstein, Yuval Tamir, George Varghese
NSDI 2020 | February 2020
Abstract interpretation of distributed network control planes
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
POPL | December 2019
Putting network verification to good use
Ryan Beckett, Ratul Mahajan
HotNets | November 2019
Control plane compression
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
SIGCOMM | August 2018
Don’t Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations
Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitu Padhye, David Walker
SIGCOMM 2016 | August 2016
SIGCOMM 2016 Best Paper Award
MCDNN: An Approximation-Based Execution Framework for Deep Stream Processing Under Resource Constraints
Seungyeop Han, Haichen Shen, Matthai Philipose, Sharad Agarwal, Alec Wolman, Arvind Krishnamurthy
ACM MobiSys | June 2016
Procrastinator: Pacing Mobile Apps Usage of the Network
Lenin Ravindranath Sivalingam, Sharad Agarwal, Jitu Padhye, Chris Riederer
ACM MobiSys | June 2014
Vision: The Case for Cellular Small Cells for Cloudlets
Sharad Agarwal, Matthai Philipose, Victor Bahl
International Workshop on Mobile Cloud Computing & Services | June 2014
Daredevil: Indoor Location Using Sound
Ionut Constandache, Sharad Agarwal, Ivan Tashev, Romit Roy Choudhury
ACM Mobile Computing and Communications Review (MC2R) | April 2014
Barometric Phone Sensors – More Hype Than Hope!
Kartik Muralidharan, Azeem Javed Khan, Archan Misra, Rajesh Krishna Balan, Sharad Agarwal
ACM HotMobile 2014 | February 2014
The wireless data drain of users, apps, & platforms
Ardalan Amiri Sani, Zhiyong Tan, Peter Washington, Mira Chen, Sharad Agarwal, Lin Zhong, Ming Zhang
ACM MC2R | October 2013
High performance vehicular connectivity using opportunistic erasure coding
Ratul Mahajan, Jitu Padhye, Sharad Agarwal, Brian Zill
USENIX Annual Technical Conference | August 2012
An Operating System for the Home
Colin Dixon, Ratul Mahajan, Sharad Agarwal, A.J. Brush, Bongshin Lee, Stefan Saroiu, Victor Bahl
NSDI | April 2012
Switchboard: A Matchmaking System for Multiplayer Mobile Games
Justin Manweiler, Sharad Agarwal, Ming Zhang, Romit Roy Choudhury, Victor Bahl
MobiSys | June 2011
There’s an app for that, but it doesn’t work. Diagnosing Mobile Applications in the Wild
Sharad Agarwal, Ratul Mahajan, Alice Zheng, Victor Bahl
HotNets IX | October 2010
The Home Needs an Operating System (and an App Store)
Colin Dixon, Ratul Mahajan, Sharad Agarwal, A.J. Brush, Bongshin Lee, Stefan Saroiu, Victor Bahl
HotNets IX | October 2010
WebProfiler: cooperative diagnosis of Web failures
Sharad Agarwal, Nikitas Liogkas, Prashanth Mohan, Venkat Padmanabhan
COMSNETS | January 2010
Measurement and Estimation of Network QoS among Peer Xbox 360 Game Players
Youngki Lee, Sharad Agarwal, Chris Butcher, Jitu Padhye
PAM | April 2008
Addressing Email Loss with SureMail: Measurement, Design, and Evaluation
Sharad Agarwal, Venkat Padmanabhan, Dilip Joseph
Usenix Annual Technical Conference | June 2007
AS-Based Accountability as a Cost-Effective DDoS Defense
Daniel Simon, Sharad Agarwal, Dave Maltz
HotBots — First Workshop on Hot Topics in Understanding Botnets | April 2007
A Study of End-to-End Web Access Failures
Sriram Ramabhadran, Sharad Agarwal, Jitu Padhye, Venkat Padmanabhan
CoNEXT | December 2006
Feasibility Study of Mesh Networks for All-Wireless Offices
Jakob Eriksson, Sharad Agarwal, Jitu Padhye, Victor Bahl
MobiSys | June 2006
SureMail: Notification Overlay for Email Reliability
Sharad Agarwal, Venkat Padmanabhan, Dilip Joseph
HotNets IV | November 2005
Measuring the Shared Fate of IGP Engineering and Interdomain Traffic
Sharad Agarwal, Antonio Nucci, Supratik Bhattacharyya
ICNP | November 2005
Estimation of Link Interference in Static Multi-hop Wireless Networks
Jitu Padhye, Lili Qiu, Ananth Rao, Brian Zill, Sharad Agarwal, Venkat Padmanabhan
IMC | October 2005
BGP Routing Changes: Merging Views from Two ISPs
Renata Teixeira, Sharad Agarwal, Jennifer Rexford
CCR | October 2005
-
LLexus: an AI agent system for incident management
Pedro Las-Casas, Alok Kumbhare, Rodrigo Fonseca, Sharad Agarwal
ACM SIGOPS Operating Systems Review | August 2024
Kirigami, the Verifiable Art of Network Cutting
Tim Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
2022 IEEE 30th International Conference on Network Protocols (ICNP) | February 2022, pp. 1-12
ICNP 2022 Best Paper Award
-
-
Towards Energy Efficient 5G vRAN Servers
Anuj Kalia, Nikita Lazarev, Leyang Xue, Xenofon Foukas, Bozidar Radunovic, Francis Y. Yan
MSR-TR-2024-17 | June 2024
Published by Microsoft
Virtual Compass: relative positioning to sense mobile social interactions
Nilanjan Banerjee, Sharad Agarwal, Paramvir Bahl, Ranveer Chandra, Alec Wolman, Mark Corner, Victor Bahl
MSR-TR-2010-5 | January 2010
Published by Microsoft
WebProfiler: cooperative diagnosis of Web failures
Sharad Agarwal, Nikitas Liogkas, Prashanth Mohan, Venkata N. Padmanabhan, Venkat Padmanabhan
MSR-TR-2008-45 | October 2008
Published by Microsoft
The “Evil Bit” Revisited: Blocking DDoS Attacks with AS-Based Accountability
Daniel R. Simon, Sharad Agarwal, Dave Maltz
MSR-TR-2006-146 | October 2006
Published by Microsoft
Addressing Email Loss with SureMail: Measurement, Design, and Evaluation
Sharad Agarwal, Dilip Joseph, Venkat Padmanabhan
MSR-TR-2006-67 | May 2006
Published by Microsoft
A Feasibility Study of Mesh Networks for an All-Wireless Office
Jakob Eriksson, Sharad Agarwal, Jitu Padhye, Victor Bahl
MSR-TR-2005-170 | November 2005
Published by Microsoft