Author:
Alpernas Kalev,Manevich Roman,Panda Aurojit,Sagiv Mooly,Shenker Scott,Shoham Sharon,Velner Yaron
Publisher
Springer International Publishing
Reference35 articles.
1. Alpernas, K., et al.: Abstract interpretation of stateful networks. arXiv preprint arXiv:1708.05904 (2018)
2. Anderson, C.J., et al.: NetKAT: semantic foundations for networks. In: POPL (2014)
3. Aref, M., et al.: Design and implementation of the LogicBlox system. In: ACM SIGMOD International Conference on Management of Data, pp. 1371–1382 (2015)
4. Ball, T., et al.: VeriCon: towards verifying controller programs in software-defined networks. In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI, p. 31 (2014)
5. Canini, M., Venzano, D., Peres, P., Kostic, D., Rexford, J.: A NICE way to test OpenFlow applications. In: 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2012) (2012)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Concurrent NetKAT;Programming Languages and Systems;2022
2. Symbolic Execution for Network Functions with Time-Driven Logic;2020 28th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS);2020-11-17
3. NV: an intermediate language for verification of network control planes;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06
4. REINFORCE: Achieving Efficient Failure Resiliency for Network Function Virtualization-Based Services;IEEE/ACM Transactions on Networking;2020-04
5. REINFORCE;Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies;2018-12-04