List of bugs found in distributed protocols

Interactive graph visualization widget for rust powered by egui and petgraph

A Framework for Modeling and Analyzing Network Configurations

An extraction tool for interacting with Batfish

Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur

Using network observability to operate and design healthier networks

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

Finding bugs in P4 compilers using translation validation.

Grammarly for VS Code

Visual Studio Code

Zen is a constraint solving library for .NET

A Speculation-Aware Collaborative Dependence Analysis Framework

Collaborative Parallelization Framework (CPF)

Implementation of multi-core (binary) decision diagrams

A performant and ergonomic implementation of binary decision diagrams for .NET

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

Guide to p4lang repositories and some other public info about P4

Petr4: Formal Semantics for P4

P4 language tutorials

MonoSAT - An SMT solver for Monotonic Theories

Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely …

Dafny is a verification-aware programming language

History of Programming Languages, Spring 2017

Formal proof that closure conversion with flat environments is safe for space.

The Z3 Theorem Prover