This paper explores opportunities to utilize Large Language Models (LLMs) to make network
configuration human-friendly, simplifying the configuration of network devices and …

We present P4Testgen, a test oracle for the P416 language. P4Testgen supports automatic
test generation for any P4 target and is designed to be extensible to many P4 targets. It …

It is notoriously difficult to verify that a network is behaving as intended, especially at scale.
This paper presents Hydra, a system that uses ideas from runtime verification to check that …

DBMSs (Database Management Systems) are essential in modern enterprise software.
Thus, ensuring the correctness of DBMSs is critical for enterprise applications. Among …

P4Cub is a new intermediate representation (IR) for the P4 programming language. It has
been designed with the goal of facilitating development of certified tools. To achieve this …

The verification of network properties is often an exhaustive and time-consuming effort. The
number of configurations needed to be analyzed by static verification increases as the …

Verifying network programs is challenging because of how they divide labor: the control
plane computes high level routes through the network and compiles them to device …

The flow table is a critical component of Software-Defined Networking (SDN). However, flow
tables' limited capacity makes them highly vulnerable to flow table overflow attacks (FTOAs) …

This paper explores opportunities to utilize Large Language Models (LLMs) to make network
configuration human-friendly, simplifying the configuration of network devices & …

Data plane verification has grown into a powerful tool to ensure network correctness.
However, existing monolithic data plane models have high memory requirements with large …