Alibaba Cloud Infrastructure Research Highlights at SIGCOMM 2020

Introduction

On May 15, the results of the top‑tier networking conference SIGCOMM 2020 were announced, and Alibaba Cloud Infrastructure Division had four papers accepted as full papers, a remarkable achievement that underscores the division’s impact on network research.

About SIGCOMM

SIGCOMM (Special Interest Group on Data Communication) is the flagship ACM conference for communication networks, demanding high‑quality papers with fundamental contributions, broad impact, and solid system foundations; accepted papers are highly cited and regarded as a major honor.

Alibaba Cloud Intelligence @ SIGCOMM 2020

The author served on the SIGCOMM 2020 paper review committee, participating in a rigorous four‑month review process that selected 54 papers out of 250 global submissions.

Accepted Papers from Alibaba Cloud Infrastructure (AIS)

1. Network Formal Verification (Backbone Network) – Hoyan: "Accuracy, Scalability, Coverage – A Practical Configuration Verifier on a Global WAN" This work presents the world’s first deployed formal verification system for a global backbone network, achieving automatic accuracy calibration and multi‑order‑of‑magnitude speedups.

2. Network Visualization (Data‑Center Network) – NetSeer: "Flow Event Telemetry on Programmable Data Plane" NetSeer introduces Flow Event Telemetry (FET), enabling the network to emit detailed events for every flow (e.g., packet loss, congestion, PFC pause), with only 0.01% overhead of the original traffic.

3. Programmable Networks (Data‑Center Network) – Lyra: "A Cross‑Platform Language and Compiler for Data Plane Programming on Heterogeneous ASICs" Lyra provides a high‑level language and compiler that abstract away ASIC‑specific details, generating P4 or NPL code for heterogeneous chips and leveraging compiler optimizations for correctness and efficiency.

4. RFID‑Based Intelligent Logistics (Wireless Sensor Network) – NFC+: "Breaking NFC Networking Limits through Resonance Engineering" This paper tackles the accuracy limits of UHF RFID by converting the electric field to a magnetic field, extending NFC read range from ~10 cm to 3 m and enabling reliable inventory of liquids, metals, and even underwater items.

Conclusion

The four AIS papers span production‑ready technologies such as formal verification and network telemetry, as well as forward‑looking explorations in programmable networks and next‑generation RFID, delivering world‑class networking capabilities for Alibaba’s online and offline services and contributing significant milestones to the broader networking community.