Chong Ye

According to our database, Chong Ye authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

P4Inv: Inferring Packet Invariants for Verification of Stateful P4 Programs.

Delong Zhang, Chong Ye, Fei He

Proceedings of the IEEE INFOCOM 2024, 2024

2023

P4b: A Translator from P4 Programs to Boogie.

Chong Ye, Fei He

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2021

Security challenges of blockchain in Internet of things: Systematic literature review.

Chong Ye, Wenting Cao, Shijun Chen

Trans. Emerg. Telecommun. Technol., 2021

The Impact of Smart City Construction on the Quality of Foreign Direct Investment in China.

Chong Ye, Zhaoyang Zhao, Jinlong Cai

Complex., 2021