Towards Efficient Verification of Distributed In-Network Computing Programs
Open Access
- 11 August 2026
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 74-91
Abstract
No abstract availableFunding Information
- New Generation Artificial Intelligence-National Science and Technology Major Project (2025ZD0122102)
- National Natural Science Foundation of China (62532010)
- National Natural Science Foundation of China (62572408)
- Fujian Provincial Science and Technology Project (2025H6021)
This publication has 35 references indexed in Scilit:
- Integrating Loop Acceleration Into Bounded Model Checking2024
- P4Inv: Inferring Packet Invariants for Verification of Stateful P4 Programs2024
- Ultimate GemCutter and the Axes of Generalization2022
- Cheetah: A High-Speed Programmable Load-Balancer Framework With Guaranteed Per-Connection-ConsistencyIEEE/ACM Transactions on Networking, 2021
- Fast ReRoute on Programmable SwitchesIEEE/ACM Transactions on Networking, 2021
- P4NIS: Improving network immunity against eavesdropping with programmable data planes2020
- P4xos: Consensus as a Network ServiceIEEE/ACM Transactions on Networking, 2020
- A Calculus for Modular Loop Acceleration2020
- P4ACM SIGCOMM Computer Communication Review, 2014
- Model checking1997