NetVerify 2021 - Network Verification Workshop

In conjunction with the 29th IEEE ICNP 2021, Online, November 1, 2021

Networks are the lifeline of modern applications. The reliability of these applications is directly correlated with the networks that support them. Preserving the availability and trustworthiness of computer networks continues to be an open challenge, which is further magnified with the scale and sophistication of modern networks. Traditionally, we used expert engineers to manage all aspects of the network. This approach is not viable for large-scale networks. On one hand, we have cloud networks that comprise several hundreds of thousands of network devices that interconnect several million servers. New advances such as programmable network devices further magnify the complexity - we now also have churn in the dataplane in addition to the control plane. On the other hand, we have enterprises migrating to the cloud and deploying virtual networks at scale. Managing both kind of networks require solving the same set of challenges:

  1. How do you specify intent?
  2. How do you translate the intent to configurations, and ensure that it is correct by construction?
  3. How do you track and remediate drift?
  4. How do you ensure that changes do not violate the intent?
Solving these challenges requires a multipronged approach. NetVerify envisions to create an interdisciplinary forum to foster interactions between researchers and practitioners from fields such as networking, security, formal methods, programming languages, and machine learning. Our objective is to stimulate discussions to both advance the science of network verification and influence adoption. The workshop will host a combination of invited and contributed talks.
The workshop program is published.

Topics of Interest

We invite talk proposals on early-stage ideas, position papers, and case studies on all topics relating to verifying reliability, dependability, and trustworthiness of computer networks including, but not limited to:

  1. Automated verification and testing of all aspects of computer networks.
  2. Algorithms for verifying control plane and data plane.
  3. Managing, debugging, and diagnosing problems in networked systems.
  4. Network configuration synthesis.
  5. Languages for networking and security.
  6. Case studies of deploying verification tools and methods.
  7. Machine learning driven failure prediction and recovery.
We welcome colleagues from the industry to talk about grand challenges and case studies from deploying network verification systems.

Keynote Speakers

Dave Maltz
CVP and Technical Fellow
Microsoft Azure Networking

David A. Maltz is the engineering leader for the Azure Networking team, responsible for developing, deploying, and operating the software and network devices that connect Microsoft's largest services, including the Azure Public Cloud and Microsoft 365. We write the code for the network services ranging from Network Security to DNS, the distributed systems that control our software defined and physical network, and the SONiC firmware that runs many of our physical switches. We design the cloud-scale networks and data centers that provide petabits of connectivity at low cost and high reliability, from the optical systems on up.

Anees Shaikh
Principal Engineer
Google Global Networking

Anees Shaikh is with the Global Networking team at Google where he works on software systems to support WAN traffic management, routing security, and cloud network management in Google's production networks. Prior to joining Google, he was the Chief SDN Architect in the System Networking product group at IBM, and a research lead at the T.J. Watson Research Center working in all three major divisions of IBM Research (software, services, and systems). Anees has published widely in the areas of networking, cloud computing, and system management, and has been an invited speaker in numerous industry forums. He has also been active in a number of open source and standards efforts, including ONF, OpenStack, and IETF, as well as helping to found the OpenDaylight and OpenConfig projects.


We follow the ICNP policies.

Workshop Organizers

Karthick Jayaraman
Principal software engineer
Microsoft Azure Networking
Hongkun Yang
Senior software Engineer
Google Cloud Platform

Submission Guidelines

Please submit a talk proposal at easychair. Proposals should adhere to the IEEE Conference formatting requirements using the templates available here. The proposal should include a talk abstract and biography of the speakers. The maximum length of the proposal is 2 pages. The proposals will be reviewed by the workshop co-chairs.

Important Dates

Submission deadline September 18, 2021
Notification of acceptance September 28, 2021
Camera-ready version October 22, 2021
Workshop Date November 1, 2021
Conference Dates November 1 - 5, 2021






Supported By

IEEE Computer Society