INCGuard is the first general-purpose verification tool for in-network computing systems that translates high-level specs into model-checkable state machines and reports violation traces for properties like cache consistency.
Horus: Granular in-network task scheduler for cloud datacenters
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.DC 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Verifying In-Network Computing Systems for Design Risks
INCGuard is the first general-purpose verification tool for in-network computing systems that translates high-level specs into model-checkable state machines and reports violation traces for properties like cache consistency.