Publications

• VEP: A Two-stage Verification Toolchain for Full eBPF Programmability
  Xiwei Wu, Yueyang Feng*, Tianyi Huang∗, Xiaoyang Lu∗, Shengkai Lin, Lihan Xie, Qinxiang Cao†, Shizhen Zhao†
  *These authors contributed equally to this work.
  †Corresponding authors.
  Accepted by NSDI25