Xu Liu

Orcid: 0009-0002-1190-9829

Affiliations:

Xi'an Jiaotong University, China

According to our database¹, Xu Liu 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

Bibliography

2023

Modular Data Plane Verification for Compositional Networks.

[BibT_eX]

[DOI]

PACMNET, 2023

2022

Differential Network Analysis.

[BibT_eX]

[DOI]

Peng Zhang

Aaron Gember-Jacobson

Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

2020

APKeep: Realtime Verification for Real Networks.

[BibT_eX]

[DOI]

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

Incremental Network Configuration Verification.

[BibT_eX]

[DOI]

Peng Zhang

Yuhao Huang

Aaron Gember-Jacobson

Proceedings of the HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, 2020

Xu Liu

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...