formal verification
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 …
[NSDI'20] APKeep: Realtime Verification for Real Networks
[NSDI'25] The library of Network Decision Diagram based on JDD.
[FSE 22 Demonstration] MpBP: Verifying Robustness of Neural Networks with Multi-path Bound Propagation
My public programs and models - mostly combinatorial problems and puzzles
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)
A Unified Framework for Verifying and Interpreting Learning-Based Networking Systems
Comparison of NNV, Marabou, Reluval, Reluplex
Automated tool to formally verify congestion control algorithms and find bugs in them
An implementation of differential dataflow using timely dataflow on Rust.
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…
Python client for Batfish: https://github.com/batfish/batfish