Papers:

  1. Hongyi Huang, Wenfei Wu, Yongchao He, Bangwen Deng, Ying Zhang, Yongqiang Xiong, Guo Chen, Yong Cui, and Peng Cheng. NFD: A Development Framework for Cross-Platform Network Functions. In the 2021 IEEE International Conference on Computer Communications. (INFOCOM ’21) [pdf]

  2. Bangwen Deng and Wenfei Wu. NFReducer: Redundant Logic Elimination for Network Functions with Runtime Configurations. In the 2021 IEEE International Conference on Computer Communications. (INFOCOM ’21) [pdf]

  3. Bangwen Deng, Wenfei Wu, and Linhai Song. Redundant Logic Elimination in Network Functions. In Proceedings of the 2020 Symposium on SDN Research. (SOSR ’20) [pdf]

  4. Harsha Sharma, Wenfei Wu, and Bangwen Deng. Symbolic Execution for Network Functions with Time-Driven Logic. In Proceedings of the 2020 Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems. (MASCOTS ’20) [pdf]

  5. Soo-Jin Moon, Jeffrey Helt, Yifei Yuan, Yves Bieri, Sujata Banerjee, Vyas Sekar, Wenfei Wu, Mihalis Yannakakis, and Ying Zhang. Alembic: Automated Model Inference for Stateful Network Func- tions. In Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation. (NSDI ’19) [pdf]

  6. Wenfei Wu, Ying Zhang, and Sujata Banerjee. Automatic Synthesis of NF Models by Program Analysis. In Proceedings of the 15th ACM Workshop on Hot Topics in Networks. (HotNets ’16) [pdf]

Posters

  1. Hongyi Huang and Wenfei Wu. 2019. NFD: Using Behavior Models to Develop Cross-Platform NFs. In Proceedings of the ACM SIGCOMM 2019 Conference Posters and Demos (SIGCOMM Posters and Demos ‘19). [pdf]

  2. Bangwen Deng and Wenfei Wu. Redundant Logic Elimination for Network Functions. In Proceedings of the ACM SIGCOMM 2018 Conference Posters and Demos (SIGCOMM Posters and Demos ‘18).