Cornell University Networking Lab

Cornell University Networking Lab's repositories

YATES (Yet Another Traffic Engineering System)

Language:OCamlNOASSERTION59 6 5

μP4: A framework for programming dataplane of network devices

Language:C++Apache-2.030 80

P4Check 16: A Static Analysis tool for P4 16 that detects accesses to invalid headers

Language:OCaml7 3 2

P4 Preprocessor

Language:OCamlApache-2.06 8 4

Materials for SIGCOMM '21 Tutorial on Verification

Language:CoqMIT6 3 1

Language:Java5 7 5

Language:P4Apache-2.03 20

An artifact in support our paper "Formal Abstractions for Packet Scheduling"

Language:OCamlMIT3 30

Language:P42 20

Source code for CAV '21 tutorials

Language:P41 10

Language:Coq1 100

Open Network Operating System

Language:JavaApache-2.0040

Language:HTML060