Unified Algebraic and Logic-Based Framework Towards Safe Routing Implementations.

摘要

In the past year, we have focused on two aspects of work. First, we applied concepts developed in the first two years in the domain of Software-defined Networks (SDN). We developed a declarative platform for implementing SDN protocols using declarative networking programs that can be automatically verified for correctness. We build a prototype tool and demonstrate the effectiveness of the tool in validating and debugging several SDN applications. Second, we have also developed a declarative platform for automatically synthesizing SDN protocols from example scenarios. Our results show that our synthesis algorithm can generate policy implementations in seconds, and the automatically generated policy implementations have performance comparable to their handcrafted implementations.