Mengying Pan

Orcid: 0000-0001-8970-9697

According to our database¹, Mengying Pan authored at least 4 papers between 2020 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Foundational Verification of Stateful P4 Packet Processing.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

NAP: Programming Data Planes with Approximate Data Structures.

[BibT_eX]

[DOI]

Proceedings of the 6th on European P4 Workshop, 2023

2022

Synthesizing state machines for data planes.

[BibT_eX]

[DOI]

Proceedings of the SOSR '22: The ACM SIGCOMM Symposium on SDN Research, Virtual Event, October 19, 2022

2020

Memory-Efficient Membership Encoding in Switches.

[BibT_eX]

[DOI]

Proceedings of the SOSR '20: Symposium on SDN Research, San Jose, CA, USA, March 3, 2020, 2020

Mengying Pan

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...