YATES
A framework for rapid prototyping of traffic engineering systems
YATES provides a modular interface for prototyping traffic engineering algorithms, accepting topology, path, demand, and routing scheme inputs. It includes a network simulator for evaluating metrics such as link utilization, throughput, and latency, and an SDN-based backend for production validation and deployment.
NetworkProtocolSimulator
Maturity
Support
C4DT
Lab
Maturity
Support
C4DT
Lab
The Networked Systems Abstractions Lab (LASeR) develops programming languages and formal reasoning tools for networked systems. The lab creates expressive languages to specify network behavior, develops verification techniques to confirm correctness against formal specifications, and engineers practical implementations that make sophisticated abstractions feasible. Notable contributions include algebraic frameworks (NetKAT and GKAT) and domain-specific languages for programmable network hardware (P4).
This page was last edited on 2026-05-04.
This page was last edited on 2026-05-04.