Mengying Pan

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 4

Top Topics

Iterative Deepening

Fuzzy Membership

Top Venues

Publications

Mengying Pan, Hyojoon Kim, Jennifer Rexford, David Walker
NAP: Programming Data Planes with Approximate Data Structures. EuroP4@CoNEXT (2023)
Qinshi Wang, Mengying Pan, Shengyi Wang, Ryan Doenges, Lennart Beringer, Andrew W. Appel
Foundational Verification of Stateful P4 Packet Processing. ITP (2023)
Xiaoqi Chen, Andrew Johnson, Mengying Pan, David Walker
Synthesizing state machines for data planes. SOSR (2022)
Mengying Pan, Robert MacDavid, Shir Landau Feibish, Jennifer Rexford
Memory-Efficient Membership Encoding in Switches. SOSR (2020)