Update NetMiner paper

916267142 · 916267142 · commit 5e7e9f1bb208 · 2026-02-15T14:48:29.000+08:00
diff --git a/content/en/papers/2025-Network-Specification-Mining-With-High-Fidelity-Scalability-And-Readability.md b/content/en/papers/2025-Network-Specification-Mining-With-High-Fidelity-Scalability-And-Readability.md
@@ -22,7 +22,7 @@ abstract = [
   "Network specification, which describes what an existing network is designed for, can help operators better understand and manage their networks, and is a critical pre-condition for network verification and synthesis tools to work. Existing tools for specification mining either cannot scale to large networks, or scale by sacrificing fidelity. Moreover, the specification contains a huge number of low-level intents (e.g., tens of thousands of pairwise reachability), making it hard for operators to read. To this end, this paper presents NetMiner, which can mine specification from network configurations, with high scalability, fidelity, and easier to read. The key idea of NetMiner is to faithfully simulate the network routing and forwarding behaviors with control plane simulators and data plane verifiers, so as to achieve high fidelity. Meanwhile, NetMiner improves the scalability by identifying relevant failure scenarios, and aggregating them to significantly reduce the number of needed simulations. Moreover, NetMiner clusters similar low-level intents into a high-level intent, to make the specification more concise and easier to read. Experiments using real configurations from a large cloud service provider and synthetic configurations show that NetMiner can mine specification 10× faster, and reduce the number of intents by 100×, compared to state-of-the-art tools."
 ]
 doi = "10.1109/TON.2025.3607440"
-publisher = "Proceedings of IEEE TON'25 IEEE"
+publisher = "Proceedings of IEEE TON'25"
 ccf = "A"
 publish = "journal"
 pdf = '/papers/NetMiner/NetMiner_TON.pdf'

Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,7 @@ abstract = [`
`22`	`22`	"Network specification, which describes what an existing network is designed for, can help operators better understand and manage their networks, and is a critical pre-condition for network verification and synthesis tools to work. Existing tools for specification mining either cannot scale to large networks, or scale by sacrificing fidelity. Moreover, the specification contains a huge number of low-level intents (e.g., tens of thousands of pairwise reachability), making it hard for operators to read. To this end, this paper presents NetMiner, which can mine specification from network configurations, with high scalability, fidelity, and easier to read. The key idea of NetMiner is to faithfully simulate the network routing and forwarding behaviors with control plane simulators and data plane verifiers, so as to achieve high fidelity. Meanwhile, NetMiner improves the scalability by identifying relevant failure scenarios, and aggregating them to significantly reduce the number of needed simulations. Moreover, NetMiner clusters similar low-level intents into a high-level intent, to make the specification more concise and easier to read. Experiments using real configurations from a large cloud service provider and synthetic configurations show that NetMiner can mine specification 10× faster, and reduce the number of intents by 100×, compared to state-of-the-art tools."
`23`	`23`	`]`
`24`	`24`	`doi = "10.1109/TON.2025.3607440"`
`25`		`-publisher = "Proceedings of IEEE TON'25 IEEE"`
	`25`	`+publisher = "Proceedings of IEEE TON'25"`
`26`	`26`	`ccf = "A"`
`27`	`27`	`publish = "journal"`
`28`	`28`	`pdf = '/papers/NetMiner/NetMiner_TON.pdf'`