BestHub
Sign in
Tagged articles
6 articles
Page 1 of 1
Network Intelligence Research Center (NIRC)
Network Intelligence Research Center (NIRC)
Jan 7, 2026 · Operations

From Minutes to Milliseconds: Atlas Architecture Solves Verification Bottlenecks

The paper presents Atlas, a native three‑layer distributed verification system that replaces centralized tools with switch, region, and center adapters, achieving sub‑20 ms validation for thousands of nodes and up to 1500× speedup over EPVerifier, while supporting incremental updates and preserving scalability.

AtlasScalabilitydistributed architecture
0 likes · 7 min read
From Minutes to Milliseconds: Atlas Architecture Solves Verification Bottlenecks
Network Intelligence Research Center (NIRC)
Network Intelligence Research Center (NIRC)
Dec 15, 2025 · Artificial Intelligence

Turning LLM-Generated Network Configurations into Verified, Safe Updates with Artanis

The paper introduces Artanis, an intent‑based network configuration update framework that combines large‑language‑model generation with a verification‑feedback loop and reinforcement‑learning optimization, addressing hallucination‑induced errors and ensuring safe, policy‑compliant deployments across diverse network scales.

Configuration ManagementIntent-based NetworkingLLM
0 likes · 9 min read
Turning LLM-Generated Network Configurations into Verified, Safe Updates with Artanis
Network Intelligence Research Center (NIRC)
Network Intelligence Research Center (NIRC)
Apr 16, 2025 · Industry Insights

Our EuroSys'25 Experience: Presenting Atlas and Exploring Cutting‑Edge System Research

The article recounts the authors' participation in EuroSys'25 in Rotterdam, detailing the conference schedule, their presentation of the Atlas network verification paper, technical insights into distributed verification, interactions with peers, and memorable social and cultural experiences during the five‑day event.

AtlasDistributed SystemsEuroSys
0 likes · 7 min read
Our EuroSys'25 Experience: Presenting Atlas and Exploring Cutting‑Edge System Research
Network Intelligence Research Center (NIRC)
Network Intelligence Research Center (NIRC)
May 15, 2023 · Operations

How Delta-net Achieves Sub‑Millisecond Real‑Time Network Verification with Atoms

Delta-net introduces an interval‑based Atom model and a directed‑graph verification algorithm that enable sub‑millisecond, incremental detection of forwarding loops, blackholes, and reachability issues in large, complex networks, as demonstrated by microsecond‑scale performance tests on real hardware.

AtomsDelta-netPerformance Evaluation
0 likes · 6 min read
How Delta-net Achieves Sub‑Millisecond Real‑Time Network Verification with Atoms