Redundant Logic Elimination in Network Functions. - Bangwen Deng; Wenfei Wu (SIGCOMM Posters and Demos, 2018)

Symbolic Execution for Network Functions with Time-Driven Logic. - Harsha Sharma; Wenfei Wu; Bangwen Deng (MASCOTS, 2020)

Redundant Logic Elimination in Network Functions. - Bangwen Deng; Wenfei Wu; Linhai Song (SOSR, 2020)

NFReducer: Redundant Logic Elimination for Network Functions with Runtime Configurations. - Bangwen Deng; Wenfei Wu (INFOCOM, 2021)

NFD: Using Behavior Models to Develop Cross-Platform Network Functions. - Hongyi Huang; Wenfei Wu; Yongchao He; Bangwen Deng; Ying Zhang 022; Yongqiang Xiong; Guo Chen 001; Yong Cui 001; Peng Cheng 005 (INFOCOM, 2021)