Networked Systems Group (NSG)

p4-learning

Compilation of P4 exercises, examples, documentation, slides for learning or teaching

mini_internet_project

The official repository of the mini-Internet exercise.

p4-utils

Extension to Mininet that makes P4 networks easier to build

SP-PIFO

Approximating Push-In First-Out Behaviors using Strict-Priority Queues

ACC-Turbo

Aggregate-Based Congestion Control for Pulse-Wave DDoS Defense

netdice

A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.

ditto

ditto: WAN Traffic Obfuscation at Line Rate (source code belonging to the NDSS 2022 paper)

Blink

Blink: Fast Connectivity Recovery Entirely in the Data Plane

config2spec

Mining Network Specifications from Network Configurations

FANcY

FANcY: FAst In-Network GraY Failure Detection for ISPs

Metha

A framework for automated testing of network analysis and verification tools.

snowcap

Synthesizing Network-Wide Configuration Updates

O4

Reducing P4 Language’s Voluminosity using Higher-Level Constructs

Chameleon

Taming the transient while reconfiguring BGP (SIGCOMM'23)

tekton

A library to create networks and to generate network configurations

net2text

Net2Text (NSDI'18)

trace-get

Tool to download caida traces

Magnifier

Official repository for the Magnifier paper (NSDI'23)

SIFT

"Is my Internet down?" Sifting through User-Affecting Outages with Google Trends

bgpsim

A network control-plane simulator

ns3-fancy

PowerDB_Datasheets

PowerDB_Scrappers

autopower

A software suite to conveniently collect, gather, and display power measurement from networking hardware.

daily-rate-adaptation

Artifacts for our HotCarbon'23 paper

Memento-Artefacts

Public artefacts for the Memento sample selection project.

power-bench

puffer_fugu_variant

Alternative weights for the Fugu TTP.

puffer_fugu_variant_2

More alternative weights for the Fugu TTP.

sleep-more-and-grow-old

Artifacts for our HotCarbon'22 paper