TODO:
- ForwardingTree 调试：1) prim计算树，2）static反序列化，诊断，3）根据refTree生成？
- Config Taint：1）找到static部分，2）找到policy部分，3）找到peer部分
PAPERS:
- NetKAT???【PL的文章太反人类了】：for SDN programming...
新的structural的范式易于验证和诊断【因为这样诊断也可以写成一条条program？】
- NetKAT后续，ryan
还没理解文章的目的，应该和network关系不大了
CODE:
CONFUSIONS:
*
OTHERS: