Memory-Efficient Membership Encoding in Switches. - Mengying Pan; Robert MacDavid; Shir Landau Feibish; Jennifer Rexford (SOSR, 2020)

Synthesizing state machines for data planes. - Xiaoqi Chen; Andrew Johnson; Mengying Pan; David Walker 001 (SOSR, 2022)

NAP: Programming Data Planes with Approximate Data Structures. - Mengying Pan; Hyojoon Kim; Jennifer Rexford; David Walker 001 (EuroP4@CoNEXT, 2023)

Foundational Verification of Stateful P4 Packet Processing. - Qinshi Wang; Mengying Pan; Shengyi Wang; Ryan Doenges; Lennart Beringer; Andrew W. Appel (ITP, 2023)

Anomaly Detection Under Normality-Shifted IoT Scenario: Filter, Detection, and Adaption. - Mengying Pan; Wenyi Tang; Zaobo He; Bingyu Chen 006 (WASA (2), 2024)

Comprehensive Verification of Packet Processing. - Shengyi Wang; Mengying Pan; Andrew W. Appel (CoRR, 2024)