Mengying Pan

Orcid: 0000-0001-8970-9697

According to our database1, Mengying Pan authored at least 6 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2020
2021
2022
2023
2024
0
1
2
3
1
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Comprehensive Verification of Packet Processing.
CoRR, 2024

Anomaly Detection Under Normality-Shifted IoT Scenario: Filter, Detection, and Adaption.
Proceedings of the Wireless Artificial Intelligent Computing Systems and Applications, 2024

2023
Foundational Verification of Stateful P4 Packet Processing.
Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

NAP: Programming Data Planes with Approximate Data Structures.
Proceedings of the 6th on European P4 Workshop, 2023

2022
Synthesizing state machines for data planes.
Proceedings of the SOSR '22: The ACM SIGCOMM Symposium on SDN Research, Virtual Event, October 19, 2022

2020
Memory-Efficient Membership Encoding in Switches.
Proceedings of the SOSR '20: Symposium on SDN Research, San Jose, CA, USA, March 3, 2020, 2020


  Loading...