Research 📜
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 …
A network testing tool combining formal model checking and container-based emulation that covers in-network non-determinism
A model checker for implementing distributed systems.
Packet-level simulation code to model Opera and other networks from the 2020 NSDI paper "Expanding across time to deliver bandwidth efficieny and low latency"
A throughput benchmarking tool for network topologies
Chaos testing, network emulation, and stress testing tool for containers
Pingmesh:A Large-Scale System for Data Center Network Latency Measurement and Analysis(用于数据中心网络延迟测量和分析的大规模系统)
Papers from the computer science community to read and discuss.
A Zotero plugin to export item metadata and notes as markdown files
A plugin for reading and annotating PDFs and EPUBs in obsidian.
Extract highlights, underlines and annotations from your PDFs into Obsidian
This is a plugin for https://obsidian.md. It extracts Annotations from PDF Files.
Go packages to interact with QEMU using the QEMU Machine Protocol (QMP). Apache 2.0 Licensed.
The official implementation of "Distilling Relation Embeddings from Pre-trained Language Models, EMNLP 2021 main conference", a high-quality relation embedding based on language models.
An enterprise-grade vendor-agnostic network automation platform.
Demo of RouteNet in ACM SIGCOMM'19
TOUCAN Ontology, an ontology for hybrid telecommunication networks