Future of networking and communication concept

Intelligent Networked Systems Research

论文与出版物

查看方式：

- Efficient Multi-WAN Transport for 5G with OTTER
  
  Mary Hogan, Gerry Wan, Yiming Qiu, Sharad Agarwal, Ryan Beckett, Rachee Singh, Victor Bahl
  
  USENIX NSDI | April 2025
  
  Publication 项目
- Enabling Silent Telemetry Data Transmission with InvisiFlow
  
  Yinda Zhang, Liangcheng Yu, Gianni Antichi, Ran Ben Basat, Vincent Liu
  
  NSDI 2025 | April 2025
  
  Author's Version
- Towards Energy Efficient 5G vRAN Servers
  
  Anuj Kalia, Nikita Lazarev, Leyang Xue, Xenofon Foukas, Bozidar Radunovic, Francis Y. Yan
  
  NSDI | April 2025
  
  Publication 项目
- The future of the industrial AI edge is cellular
  
  Xenofon Foukas, Bozidar Radunovic
  
  HotMobile | February 2025
  
  Publication 项目
- 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
  
  Publication 项目
- Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
  
  Yiming Qiu, Patrick Kon, Ryan Beckett, Ang Chen
  
  Symposium on Operating Systems Principles | November 2024
  
  Publication
- 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
  
  Publication
- Distributed AI Platform for the 6G RAN
  
  Ganesh Ananthanarayanan, Xenofon Foukas, Bozidar Radunovic, Yongguang Zhang
  
  October 2024
  
  Publication 项目
- LLexus: an AI agent system for incident management
  
  Pedro Las-Casas, Alok Kumbhare, Rodrigo Fonseca, Sharad Agarwal
  
  ACM SIGOPS Operating Systems Review | August 2024
  
  Publication
- 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
  
  Publication 项目
- 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
  
  Publication
- MESSI: Behavioral Testing of BGP Implementations
  
  Rathin Singha, Rajdeep Mondal, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd Millstein, George Varghese
  
  NSDI 2024 | April 2024
  
  Publication
- Sequence Abstractions for Flexible, Line-Rate Network Monitoring
  
  Ryan Beckett
  
  2024 Networked Systems Design and Implementation | April 2024
  
  Publication
- 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
  
  NSDI (USENIX Symposium on Networked Systems Design and Implementation) | April 2024
  
  Outstanding Paper Award
  
  Publication
- Towards Multi-Stakeholder Clouds
  
  Bohdan Borysei, Stefan Saroiu, Eyal de Lara
  
  HotMobile | February 2024
  
  Publication
- 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
  
  Publication Github 项目
- What do llms need to synthesize correct router configurations?
  
  Rajdeep Mondal, Ryan Beckett, Alan Tang, Todd Millstein, George Varghese
  
  HotNets | November 2023
  
  PDF
- 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
  
  Publication 项目
- Taking 5G RAN Analytics and Control to a New Level
  
  Xenofon Foukas, Bozidar Radunovic, Matthew Balkwill, Zhihua Lai
  
  ACM MobiCom 2023 | October 2023
  
  Publication 项目
- 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)
  
  Publication
- PAINTER: Ingress Traffic Engineering and Routing for Enterprise Cloud Networks
  
  Thomas Koch, Shuyue Yu, Sharad Agarwal, Ryan Beckett, Ethan Katz-Bassett
  
  SIGCOMM | September 2023
  
  Publication 项目
- Modular control plane verification via temporal invariants
  
  Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
  
  Programming Language Design and Implementation | June 2023
  
  Publication
- 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
  
  Publication PDF 项目项目
- Synthesizing runtime programmable switch updates
  
  Yiming Qiu, Ryan Beckett, Ang Chen
  
  Network System Design and Implementation | April 2023
  
  Publication
- Test Coverage for Network Configurations
  
  Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
  
  Networked Systems Design and Implementation | April 2023
  
  Publication
- 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
  
  Publication 项目项目
- ACORN: Network Control Plane Abstraction using Route Nondeterminism.
  
  Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
  
  Formal Methods in Computer-Aided Design | October 2022
  
  Publication
- 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
  
  Publication 项目项目
- Katra: Realtime Verification for Multilayer Networks
  
  Ryan Beckett, Aarti Gupta
  
  NSDI 2022 | March 2022
  
  Publication 项目
- 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
  
  Publication
- 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
  
  DOI Publication Publication Publication
- How Complex is DNS?
  
  Siva Kesava Reddy Kakarla, Ryan Beckett, Todd Millstein, George Varghese
  
  HotNets 2021 | November 2021
  
  DOI
- 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
  
  Publication
- Concordia: Teaching the 5G vRAN to Share Compute
  
  Xenofon Foukas, Bozidar Radunovic
  
  ACM SIGCOMM 2021 | August 2021
  
  Publication 项目
- Test Coverage Metrics for the Network
  
  Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker
  
  ACM SIGCOMM 2021 | August 2021
  
  Publication
- Cost-Effective Cloud Edge Traffic Engineering with CASCARA
  
  Rachee Singh, Sharad Agarwal, Matt Calder, Victor Bahl
  
  USENIX NSDI | April 2021
  
  Publication 项目
- A General Framework for Compositional Network Modeling
  
  Ryan Beckett, Ratul Mahajan
  
  HotNets | November 2020
  
  编辑: Association for Computing Machinery
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- Contra: A programmable system for performance-aware routing
  
  Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, Praveen Tammana, David Walker
  
  NSDI | April 2020
  
  Publication
- 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
  
  Publication
- Abstract interpretation of distributed network control planes
  
  Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
  
  POPL | December 2019
  
  Publication
- Putting network verification to good use
  
  Ryan Beckett, Ratul Mahajan
  
  HotNets | November 2019
  
  Publication
- Control plane compression
  
  Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
  
  SIGCOMM | August 2018
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- Procrastinator: Pacing Mobile Apps Usage of the Network
  
  Lenin Ravindranath Sivalingam, Sharad Agarwal, Jitu Padhye, Chris Riederer
  
  ACM MobiSys | June 2014
  
  Publication
- Vision: The Case for Cellular Small Cells for Cloudlets
  
  Sharad Agarwal, Matthai Philipose, Victor Bahl
  
  International Workshop on Mobile Cloud Computing & Services | June 2014
  
  Publication 项目
- Daredevil: Indoor Location Using Sound
  
  Ionut Constandache, Sharad Agarwal, Ivan Tashev, Romit Roy Choudhury
  
  ACM Mobile Computing and Communications Review (MC2R) | April 2014
  
  Publication 项目
- Barometric Phone Sensors – More Hype Than Hope!
  
  Kartik Muralidharan, Azeem Javed Khan, Archan Misra, Rajesh Krishna Balan, Sharad Agarwal
  
  ACM HotMobile 2014 | February 2014
  
  Publication
- 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
  
  Publication
- High performance vehicular connectivity using opportunistic erasure coding
  
  Ratul Mahajan, Jitu Padhye, Sharad Agarwal, Brian Zill
  
  USENIX Annual Technical Conference | August 2012
  
  Publication Publication 项目
- An Operating System for the Home
  
  Colin Dixon, Ratul Mahajan, Sharad Agarwal, A.J. Brush, Bongshin Lee, Stefan Saroiu, Victor Bahl
  
  NSDI | April 2012
  
  Publication 项目项目
- Switchboard: A Matchmaking System for Multiplayer Mobile Games
  
  Justin Manweiler, Sharad Agarwal, Ming Zhang, Romit Roy Choudhury, Victor Bahl
  
  MobiSys | June 2011
  
  Publication
- 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
  
  Publication 项目
- 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
  
  Publication 项目项目
- 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
  
  作者：Microsoft
  
  Publication
- WebProfiler: cooperative diagnosis of Web failures
  
  Sharad Agarwal, Nikitas Liogkas, Prashanth Mohan, Venkat Padmanabhan
  
  COMSNETS | January 2010
  
  Publication 项目
- WebProfiler: cooperative diagnosis of Web failures
  
  Sharad Agarwal, Nikitas Liogkas, Prashanth Mohan, Venkata N. Padmanabhan, Venkat Padmanabhan
  
  MSR-TR-2008-45 | October 2008
  
  作者：Microsoft
  
  Publication
- Measurement and Estimation of Network QoS among Peer Xbox 360 Game Players
  
  Youngki Lee, Sharad Agarwal, Chris Butcher, Jitu Padhye
  
  PAM | April 2008
  
  Publication
- Addressing Email Loss with SureMail: Measurement, Design, and Evaluation
  
  Sharad Agarwal, Venkat Padmanabhan, Dilip Joseph
  
  Usenix Annual Technical Conference | June 2007
  
  Publication 项目
- 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
  
  Publication
- A Study of End-to-End Web Access Failures
  
  Sriram Ramabhadran, Sharad Agarwal, Jitu Padhye, Venkat Padmanabhan
  
  CoNEXT | December 2006
  
  Publication 项目
- The “Evil Bit” Revisited: Blocking DDoS Attacks with AS-Based Accountability
  
  Daniel R. Simon, Sharad Agarwal, Dave Maltz
  
  MSR-TR-2006-146 | October 2006
  
  作者：Microsoft
  
  Publication
- Feasibility Study of Mesh Networks for All-Wireless Offices
  
  Jakob Eriksson, Sharad Agarwal, Jitu Padhye, Victor Bahl
  
  MobiSys | June 2006
  
  Publication
- Addressing Email Loss with SureMail: Measurement, Design, and Evaluation
  
  Sharad Agarwal, Dilip Joseph, Venkat Padmanabhan
  
  MSR-TR-2006-67 | May 2006
  
  作者：Microsoft
  
  Publication 项目
- SureMail: Notification Overlay for Email Reliability
  
  Sharad Agarwal, Venkat Padmanabhan, Dilip Joseph
  
  HotNets IV | November 2005
  
  Publication 项目
- Measuring the Shared Fate of IGP Engineering and Interdomain Traffic
  
  Sharad Agarwal, Antonio Nucci, Supratik Bhattacharyya
  
  ICNP | November 2005
  
  Publication
- 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
  
  作者：Microsoft
  
  Publication
- 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
  
  Publication
- BGP Routing Changes: Merging Views from Two ISPs
  
  Renata Teixeira, Sharad Agarwal, Jennifer Rexford
  
  CCR | October 2005
  
  Publication

- Efficient Multi-WAN Transport for 5G with OTTER
  
  Mary Hogan, Gerry Wan, Yiming Qiu, Sharad Agarwal, Ryan Beckett, Rachee Singh, Victor Bahl
  
  USENIX NSDI | April 2025
  
  Publication 项目
- Enabling Silent Telemetry Data Transmission with InvisiFlow
  
  Yinda Zhang, Liangcheng Yu, Gianni Antichi, Ran Ben Basat, Vincent Liu
  
  NSDI 2025 | April 2025
  
  Author's Version
- Towards Energy Efficient 5G vRAN Servers
  
  Anuj Kalia, Nikita Lazarev, Leyang Xue, Xenofon Foukas, Bozidar Radunovic, Francis Y. Yan
  
  NSDI | April 2025
  
  Publication 项目
- The future of the industrial AI edge is cellular
  
  Xenofon Foukas, Bozidar Radunovic
  
  HotMobile | February 2025
  
  Publication 项目
- 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
  
  Publication 项目
- Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
  
  Yiming Qiu, Patrick Kon, Ryan Beckett, Ang Chen
  
  Symposium on Operating Systems Principles | November 2024
  
  Publication
- 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
  
  Publication
- Distributed AI Platform for the 6G RAN
  
  Ganesh Ananthanarayanan, Xenofon Foukas, Bozidar Radunovic, Yongguang Zhang
  
  October 2024
  
  Publication 项目
- LLexus: an AI agent system for incident management
  
  Pedro Las-Casas, Alok Kumbhare, Rodrigo Fonseca, Sharad Agarwal
  
  ACM SIGOPS Operating Systems Review | August 2024
  
  Publication
- 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
  
  Publication 项目
- 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
  
  Publication
- Sequence Abstractions for Flexible, Line-Rate Network Monitoring
  
  Ryan Beckett
  
  2024 Networked Systems Design and Implementation | April 2024
  
  Publication
- MESSI: Behavioral Testing of BGP Implementations
  
  Rathin Singha, Rajdeep Mondal, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd Millstein, George Varghese
  
  NSDI 2024 | April 2024
  
  Publication
- 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
  
  NSDI (USENIX Symposium on Networked Systems Design and Implementation) | April 2024
  
  Outstanding Paper Award
  
  Publication
- Towards Multi-Stakeholder Clouds
  
  Bohdan Borysei, Stefan Saroiu, Eyal de Lara
  
  HotMobile | February 2024
  
  Publication
- 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
  
  Publication Github 项目
- What do llms need to synthesize correct router configurations?
  
  Rajdeep Mondal, Ryan Beckett, Alan Tang, Todd Millstein, George Varghese
  
  HotNets | November 2023
  
  PDF
- Taking 5G RAN Analytics and Control to a New Level
  
  Xenofon Foukas, Bozidar Radunovic, Matthew Balkwill, Zhihua Lai
  
  ACM MobiCom 2023 | October 2023
  
  Publication 项目
- 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)
  
  Publication
- PAINTER: Ingress Traffic Engineering and Routing for Enterprise Cloud Networks
  
  Thomas Koch, Shuyue Yu, Sharad Agarwal, Ryan Beckett, Ethan Katz-Bassett
  
  SIGCOMM | September 2023
  
  Publication 项目
- Modular control plane verification via temporal invariants
  
  Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
  
  Programming Language Design and Implementation | June 2023
  
  Publication
- 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
  
  Publication PDF 项目项目
- Synthesizing runtime programmable switch updates
  
  Yiming Qiu, Ryan Beckett, Ang Chen
  
  Network System Design and Implementation | April 2023
  
  Publication
- Test Coverage for Network Configurations
  
  Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
  
  Networked Systems Design and Implementation | April 2023
  
  Publication
- 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
  
  Publication 项目项目
- ACORN: Network Control Plane Abstraction using Route Nondeterminism.
  
  Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
  
  Formal Methods in Computer-Aided Design | October 2022
  
  Publication
- Katra: Realtime Verification for Multilayer Networks
  
  Ryan Beckett, Aarti Gupta
  
  NSDI 2022 | March 2022
  
  Publication 项目
- 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
  
  Publication
- 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
  
  DOI Publication Publication Publication
- How Complex is DNS?
  
  Siva Kesava Reddy Kakarla, Ryan Beckett, Todd Millstein, George Varghese
  
  HotNets 2021 | November 2021
  
  DOI
- Test Coverage Metrics for the Network
  
  Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker
  
  ACM SIGCOMM 2021 | August 2021
  
  Publication
- 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
  
  Publication
- Concordia: Teaching the 5G vRAN to Share Compute
  
  Xenofon Foukas, Bozidar Radunovic
  
  ACM SIGCOMM 2021 | August 2021
  
  Publication 项目
- Cost-Effective Cloud Edge Traffic Engineering with CASCARA
  
  Rachee Singh, Sharad Agarwal, Matt Calder, Victor Bahl
  
  USENIX NSDI | April 2021
  
  Publication 项目
- A General Framework for Compositional Network Modeling
  
  Ryan Beckett, Ratul Mahajan
  
  HotNets | November 2020
  
  编辑: Association for Computing Machinery
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- Contra: A programmable system for performance-aware routing
  
  Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, Praveen Tammana, David Walker
  
  NSDI | April 2020
  
  Publication
- 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
  
  Publication
- Abstract interpretation of distributed network control planes
  
  Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
  
  POPL | December 2019
  
  Publication
- Putting network verification to good use
  
  Ryan Beckett, Ratul Mahajan
  
  HotNets | November 2019
  
  Publication
- Control plane compression
  
  Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
  
  SIGCOMM | August 2018
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- Vision: The Case for Cellular Small Cells for Cloudlets
  
  Sharad Agarwal, Matthai Philipose, Victor Bahl
  
  International Workshop on Mobile Cloud Computing & Services | June 2014
  
  Publication 项目
- Procrastinator: Pacing Mobile Apps Usage of the Network
  
  Lenin Ravindranath Sivalingam, Sharad Agarwal, Jitu Padhye, Chris Riederer
  
  ACM MobiSys | June 2014
  
  Publication
- Daredevil: Indoor Location Using Sound
  
  Ionut Constandache, Sharad Agarwal, Ivan Tashev, Romit Roy Choudhury
  
  ACM Mobile Computing and Communications Review (MC2R) | April 2014
  
  Publication 项目
- Barometric Phone Sensors – More Hype Than Hope!
  
  Kartik Muralidharan, Azeem Javed Khan, Archan Misra, Rajesh Krishna Balan, Sharad Agarwal
  
  ACM HotMobile 2014 | February 2014
  
  Publication
- 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
  
  Publication
- High performance vehicular connectivity using opportunistic erasure coding
  
  Ratul Mahajan, Jitu Padhye, Sharad Agarwal, Brian Zill
  
  USENIX Annual Technical Conference | August 2012
  
  Publication Publication 项目
- An Operating System for the Home
  
  Colin Dixon, Ratul Mahajan, Sharad Agarwal, A.J. Brush, Bongshin Lee, Stefan Saroiu, Victor Bahl
  
  NSDI | April 2012
  
  Publication 项目项目
- Switchboard: A Matchmaking System for Multiplayer Mobile Games
  
  Justin Manweiler, Sharad Agarwal, Ming Zhang, Romit Roy Choudhury, Victor Bahl
  
  MobiSys | June 2011
  
  Publication
- 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
  
  Publication 项目项目
- 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
  
  Publication 项目
- 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
  
  作者：Microsoft
  
  Publication
- WebProfiler: cooperative diagnosis of Web failures
  
  Sharad Agarwal, Nikitas Liogkas, Prashanth Mohan, Venkat Padmanabhan
  
  COMSNETS | January 2010
  
  Publication 项目
- WebProfiler: cooperative diagnosis of Web failures
  
  Sharad Agarwal, Nikitas Liogkas, Prashanth Mohan, Venkata N. Padmanabhan, Venkat Padmanabhan
  
  MSR-TR-2008-45 | October 2008
  
  作者：Microsoft
  
  Publication
- Measurement and Estimation of Network QoS among Peer Xbox 360 Game Players
  
  Youngki Lee, Sharad Agarwal, Chris Butcher, Jitu Padhye
  
  PAM | April 2008
  
  Publication
- Addressing Email Loss with SureMail: Measurement, Design, and Evaluation
  
  Sharad Agarwal, Venkat Padmanabhan, Dilip Joseph
  
  Usenix Annual Technical Conference | June 2007
  
  Publication 项目
- 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
  
  Publication
- A Study of End-to-End Web Access Failures
  
  Sriram Ramabhadran, Sharad Agarwal, Jitu Padhye, Venkat Padmanabhan
  
  CoNEXT | December 2006
  
  Publication 项目
- The “Evil Bit” Revisited: Blocking DDoS Attacks with AS-Based Accountability
  
  Daniel R. Simon, Sharad Agarwal, Dave Maltz
  
  MSR-TR-2006-146 | October 2006
  
  作者：Microsoft
  
  Publication
- Feasibility Study of Mesh Networks for All-Wireless Offices
  
  Jakob Eriksson, Sharad Agarwal, Jitu Padhye, Victor Bahl
  
  MobiSys | June 2006
  
  Publication
- Addressing Email Loss with SureMail: Measurement, Design, and Evaluation
  
  Sharad Agarwal, Dilip Joseph, Venkat Padmanabhan
  
  MSR-TR-2006-67 | May 2006
  
  作者：Microsoft
  
  Publication 项目
- SureMail: Notification Overlay for Email Reliability
  
  Sharad Agarwal, Venkat Padmanabhan, Dilip Joseph
  
  HotNets IV | November 2005
  
  Publication 项目
- Measuring the Shared Fate of IGP Engineering and Interdomain Traffic
  
  Sharad Agarwal, Antonio Nucci, Supratik Bhattacharyya
  
  ICNP | November 2005
  
  Publication
- 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
  
  作者：Microsoft
  
  Publication
- 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
  
  Publication
- BGP Routing Changes: Merging Views from Two ISPs
  
  Renata Teixeira, Sharad Agarwal, Jennifer Rexford
  
  CCR | October 2005
  
  Publication
- 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
  
  Publication 项目
- LLexus: an AI agent system for incident management
  
  Pedro Las-Casas, Alok Kumbhare, Rodrigo Fonseca, Sharad Agarwal
  
  ACM SIGOPS Operating Systems Review | August 2024
  
  Publication
- 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
  
  NSDI (USENIX Symposium on Networked Systems Design and Implementation) | April 2024
  
  Outstanding Paper Award
  
  Publication
- 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
  
  Publication 项目项目
- 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
  
  Publication 项目
- Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
  
  Yiming Qiu, Patrick Kon, Ryan Beckett, Ang Chen
  
  Symposium on Operating Systems Principles | November 2024
  
  Publication
- Modular control plane verification via temporal invariants
  
  Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
  
  Programming Language Design and Implementation | June 2023
  
  Publication
- 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
  
  Publication PDF 项目项目
- Synthesizing runtime programmable switch updates
  
  Yiming Qiu, Ryan Beckett, Ang Chen
  
  Network System Design and Implementation | April 2023
  
  Publication
- ACORN: Network Control Plane Abstraction using Route Nondeterminism.
  
  Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
  
  Formal Methods in Computer-Aided Design | October 2022
  
  Publication
- 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
  
  Publication 项目项目
- 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
  
  DOI Publication Publication Publication
- A General Framework for Compositional Network Modeling
  
  Ryan Beckett, Ratul Mahajan
  
  HotNets | November 2020
  
  编辑: Association for Computing Machinery
  
  Publication
- 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
  
  Publication
- Abstract interpretation of distributed network control planes
  
  Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
  
  POPL | December 2019
  
  Publication
- Procrastinator: Pacing Mobile Apps Usage of the Network
  
  Lenin Ravindranath Sivalingam, Sharad Agarwal, Jitu Padhye, Chris Riederer
  
  ACM MobiSys | June 2014
  
  Publication
- 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
  
  Publication 项目项目
- 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
  
  Publication
- 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
  
  Publication 项目
- Daredevil: Indoor Location Using Sound
  
  Ionut Constandache, Sharad Agarwal, Ivan Tashev, Romit Roy Choudhury
  
  ACM Mobile Computing and Communications Review (MC2R) | April 2014
  
  Publication 项目
- Daredevil: Indoor Location Using Sound
  
  Ionut Constandache, Sharad Agarwal, Ivan Tashev, Romit Roy Choudhury
  
  ACM Mobile Computing and Communications Review (MC2R) | April 2014
  
  Publication 项目

- Efficient Multi-WAN Transport for 5G with OTTER
  
  Mary Hogan, Gerry Wan, Yiming Qiu, Sharad Agarwal, Ryan Beckett, Rachee Singh, Victor Bahl
  
  USENIX NSDI | April 2025
  
  Publication 项目
- Enabling Silent Telemetry Data Transmission with InvisiFlow
  
  Yinda Zhang, Liangcheng Yu, Gianni Antichi, Ran Ben Basat, Vincent Liu
  
  NSDI 2025 | April 2025
  
  Author's Version
- Towards Energy Efficient 5G vRAN Servers
  
  Anuj Kalia, Nikita Lazarev, Leyang Xue, Xenofon Foukas, Bozidar Radunovic, Francis Y. Yan
  
  NSDI | April 2025
  
  Publication 项目
- The future of the industrial AI edge is cellular
  
  Xenofon Foukas, Bozidar Radunovic
  
  HotMobile | February 2025
  
  Publication 项目
- 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
  
  Publication 项目
- Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
  
  Yiming Qiu, Patrick Kon, Ryan Beckett, Ang Chen
  
  Symposium on Operating Systems Principles | November 2024
  
  Publication
- 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
  
  Publication
- 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
  
  Publication 项目
- 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
  
  Publication
- Sequence Abstractions for Flexible, Line-Rate Network Monitoring
  
  Ryan Beckett
  
  2024 Networked Systems Design and Implementation | April 2024
  
  Publication
- MESSI: Behavioral Testing of BGP Implementations
  
  Rathin Singha, Rajdeep Mondal, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd Millstein, George Varghese
  
  NSDI 2024 | April 2024
  
  Publication
- 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
  
  NSDI (USENIX Symposium on Networked Systems Design and Implementation) | April 2024
  
  Outstanding Paper Award
  
  Publication
- Towards Multi-Stakeholder Clouds
  
  Bohdan Borysei, Stefan Saroiu, Eyal de Lara
  
  HotMobile | February 2024
  
  Publication
- 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
  
  Publication Github 项目
- What do llms need to synthesize correct router configurations?
  
  Rajdeep Mondal, Ryan Beckett, Alan Tang, Todd Millstein, George Varghese
  
  HotNets | November 2023
  
  PDF
- 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
  
  Publication 项目
- Taking 5G RAN Analytics and Control to a New Level
  
  Xenofon Foukas, Bozidar Radunovic, Matthew Balkwill, Zhihua Lai
  
  ACM MobiCom 2023 | October 2023
  
  Publication 项目
- 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)
  
  Publication
- PAINTER: Ingress Traffic Engineering and Routing for Enterprise Cloud Networks
  
  Thomas Koch, Shuyue Yu, Sharad Agarwal, Ryan Beckett, Ethan Katz-Bassett
  
  SIGCOMM | September 2023
  
  Publication 项目
- Modular control plane verification via temporal invariants
  
  Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
  
  Programming Language Design and Implementation | June 2023
  
  Publication
- 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
  
  Publication PDF 项目项目
- Synthesizing runtime programmable switch updates
  
  Yiming Qiu, Ryan Beckett, Ang Chen
  
  Network System Design and Implementation | April 2023
  
  Publication
- Test Coverage for Network Configurations
  
  Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
  
  Networked Systems Design and Implementation | April 2023
  
  Publication
- 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
  
  Publication 项目项目
- ACORN: Network Control Plane Abstraction using Route Nondeterminism.
  
  Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
  
  Formal Methods in Computer-Aided Design | October 2022
  
  Publication
- 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
  
  Publication 项目项目
- Katra: Realtime Verification for Multilayer Networks
  
  Ryan Beckett, Aarti Gupta
  
  NSDI 2022 | March 2022
  
  Publication 项目
- 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
  
  Publication
- How Complex is DNS?
  
  Siva Kesava Reddy Kakarla, Ryan Beckett, Todd Millstein, George Varghese
  
  HotNets 2021 | November 2021
  
  DOI
- Test Coverage Metrics for the Network
  
  Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker
  
  ACM SIGCOMM 2021 | August 2021
  
  Publication
- 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
  
  Publication
- Concordia: Teaching the 5G vRAN to Share Compute
  
  Xenofon Foukas, Bozidar Radunovic
  
  ACM SIGCOMM 2021 | August 2021
  
  Publication 项目
- Cost-Effective Cloud Edge Traffic Engineering with CASCARA
  
  Rachee Singh, Sharad Agarwal, Matt Calder, Victor Bahl
  
  USENIX NSDI | April 2021
  
  Publication 项目
- A General Framework for Compositional Network Modeling
  
  Ryan Beckett, Ratul Mahajan
  
  HotNets | November 2020
  
  编辑: Association for Computing Machinery
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- Contra: A programmable system for performance-aware routing
  
  Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, Praveen Tammana, David Walker
  
  NSDI | April 2020
  
  Publication
- 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
  
  Publication
- Abstract interpretation of distributed network control planes
  
  Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
  
  POPL | December 2019
  
  Publication
- Putting network verification to good use
  
  Ryan Beckett, Ratul Mahajan
  
  HotNets | November 2019
  
  Publication
- Control plane compression
  
  Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
  
  SIGCOMM | August 2018
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- Vision: The Case for Cellular Small Cells for Cloudlets
  
  Sharad Agarwal, Matthai Philipose, Victor Bahl
  
  International Workshop on Mobile Cloud Computing & Services | June 2014
  
  Publication 项目
- Procrastinator: Pacing Mobile Apps Usage of the Network
  
  Lenin Ravindranath Sivalingam, Sharad Agarwal, Jitu Padhye, Chris Riederer
  
  ACM MobiSys | June 2014
  
  Publication
- Daredevil: Indoor Location Using Sound
  
  Ionut Constandache, Sharad Agarwal, Ivan Tashev, Romit Roy Choudhury
  
  ACM Mobile Computing and Communications Review (MC2R) | April 2014
  
  Publication 项目
- Barometric Phone Sensors – More Hype Than Hope!
  
  Kartik Muralidharan, Azeem Javed Khan, Archan Misra, Rajesh Krishna Balan, Sharad Agarwal
  
  ACM HotMobile 2014 | February 2014
  
  Publication
- 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
  
  Publication
- High performance vehicular connectivity using opportunistic erasure coding
  
  Ratul Mahajan, Jitu Padhye, Sharad Agarwal, Brian Zill
  
  USENIX Annual Technical Conference | August 2012
  
  Publication Publication 项目
- An Operating System for the Home
  
  Colin Dixon, Ratul Mahajan, Sharad Agarwal, A.J. Brush, Bongshin Lee, Stefan Saroiu, Victor Bahl
  
  NSDI | April 2012
  
  Publication 项目项目
- Switchboard: A Matchmaking System for Multiplayer Mobile Games
  
  Justin Manweiler, Sharad Agarwal, Ming Zhang, Romit Roy Choudhury, Victor Bahl
  
  MobiSys | June 2011
  
  Publication
- 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
  
  Publication 项目项目
- 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
  
  Publication 项目
- WebProfiler: cooperative diagnosis of Web failures
  
  Sharad Agarwal, Nikitas Liogkas, Prashanth Mohan, Venkat Padmanabhan
  
  COMSNETS | January 2010
  
  Publication 项目
- Measurement and Estimation of Network QoS among Peer Xbox 360 Game Players
  
  Youngki Lee, Sharad Agarwal, Chris Butcher, Jitu Padhye
  
  PAM | April 2008
  
  Publication
- Addressing Email Loss with SureMail: Measurement, Design, and Evaluation
  
  Sharad Agarwal, Venkat Padmanabhan, Dilip Joseph
  
  Usenix Annual Technical Conference | June 2007
  
  Publication 项目
- 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
  
  Publication
- A Study of End-to-End Web Access Failures
  
  Sriram Ramabhadran, Sharad Agarwal, Jitu Padhye, Venkat Padmanabhan
  
  CoNEXT | December 2006
  
  Publication 项目
- Feasibility Study of Mesh Networks for All-Wireless Offices
  
  Jakob Eriksson, Sharad Agarwal, Jitu Padhye, Victor Bahl
  
  MobiSys | June 2006
  
  Publication
- SureMail: Notification Overlay for Email Reliability
  
  Sharad Agarwal, Venkat Padmanabhan, Dilip Joseph
  
  HotNets IV | November 2005
  
  Publication 项目
- Measuring the Shared Fate of IGP Engineering and Interdomain Traffic
  
  Sharad Agarwal, Antonio Nucci, Supratik Bhattacharyya
  
  ICNP | November 2005
  
  Publication
- 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
  
  Publication
- BGP Routing Changes: Merging Views from Two ISPs
  
  Renata Teixeira, Sharad Agarwal, Jennifer Rexford
  
  CCR | October 2005
  
  Publication
- LLexus: an AI agent system for incident management
  
  Pedro Las-Casas, Alok Kumbhare, Rodrigo Fonseca, Sharad Agarwal
  
  ACM SIGOPS Operating Systems Review | August 2024
  
  Publication
- 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
  
  DOI Publication Publication Publication
- Distributed AI Platform for the 6G RAN
  
  Ganesh Ananthanarayanan, Xenofon Foukas, Bozidar Radunovic, Yongguang Zhang
  
  October 2024
  
  Publication 项目
- 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
  
  作者：Microsoft
  
  Publication
- WebProfiler: cooperative diagnosis of Web failures
  
  Sharad Agarwal, Nikitas Liogkas, Prashanth Mohan, Venkata N. Padmanabhan, Venkat Padmanabhan
  
  MSR-TR-2008-45 | October 2008
  
  作者：Microsoft
  
  Publication
- The “Evil Bit” Revisited: Blocking DDoS Attacks with AS-Based Accountability
  
  Daniel R. Simon, Sharad Agarwal, Dave Maltz
  
  MSR-TR-2006-146 | October 2006
  
  作者：Microsoft
  
  Publication
- Addressing Email Loss with SureMail: Measurement, Design, and Evaluation
  
  Sharad Agarwal, Dilip Joseph, Venkat Padmanabhan
  
  MSR-TR-2006-67 | May 2006
  
  作者：Microsoft
  
  Publication 项目
- 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
  
  作者：Microsoft
  
  Publication