Login / Signup
Bangwen Deng
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 5
Top Topics
Computer Networks
Modal Logic
Static Analysis
Symbolic Execution
Top Venues
INFOCOM
SIGCOMM Posters and Demos
MASCOTS
SOSR
</>
Publications
</>
Hongyi Huang
,
Wenfei Wu
,
Yongchao He
,
Bangwen Deng
,
Ying Zhang
,
Yongqiang Xiong
,
Guo Chen
,
Yong Cui
,
Peng Cheng
NFD: Using Behavior Models to Develop Cross-Platform Network Functions.
INFOCOM
(2021)
Bangwen Deng
,
Wenfei Wu
NFReducer: Redundant Logic Elimination for Network Functions with Runtime Configurations.
INFOCOM
(2021)
Bangwen Deng
,
Wenfei Wu
,
Linhai Song
Redundant Logic Elimination in Network Functions.
SOSR
(2020)
Harsha Sharma
,
Wenfei Wu
,
Bangwen Deng
Symbolic Execution for Network Functions with Time-Driven Logic.
MASCOTS
(2020)
Bangwen Deng
,
Wenfei Wu
Redundant Logic Elimination in Network Functions.
SIGCOMM Posters and Demos
(2018)