MatchKAT: An Algebraic Foundation For Match-Action

Xiang Long

We present MatchKAT, an algebraic language for modeling match-action packet processing in network switches. Although the match-action paradigm has remained a popular low-level prog…