Xiaozhe Shao

According to our database, Xiaozhe Shao authored at least 17 papers between 2011 and 2022.

Collaborative distances:

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

2022

Accelerating BGP Configuration Verification Through Reducing Cycles in SMT Constraints.

Xiaozhe Shao, Zibin Chen, Daniel E. Holcomb, Lixin Gao

IEEE/ACM Trans. Netw., 2022

2021

Policy-rich interdomain routing with local coordination.

Xiaozhe Shao, Lixin Gao

Comput. Networks, 2021

Path-Preserving Anonymization for Inter-domain Routing Policies.

Xiaozhe Shao, Hossein Pishro-Nik, Lixin Gao

Proceedings of the Risks and Security of Internet and Systems, 2021

2020

CoNFV: A Heterogeneous Platform for Scalable Network Function Virtualization.

Xuzhi Zhang, Xiaozhe Shao, George Provelengios, Naveen Kumar Dumpala, Lixin Gao, Russell Tessier

ACM Trans. Reconfigurable Technol. Syst., 2020

Verifying Policy-based Routing at Internet Scale.

Xiaozhe Shao, Lixin Gao

Proceedings of the 39th IEEE Conference on Computer Communications, 2020

2019

Improving Privacy in Graphs Through Node Addition.

Nazanin Takbiri, Xiaozhe Shao, Lixin Gao, Hossein Pishro-Nik

Proceedings of the 57th Annual Allerton Conference on Communication, 2019

2018

Efficient handling of excessive locators in hierarchical addressing.

Feng Wang, Lixin Gao, Xiaozhe Shao, Hiroaki Harai, Kenji Fujikawa

Proceedings of the IEEE INFOCOM 2018, 2018

2017

CoGS: Enabling distributed network functions with global states.

Xiaozhe Shao, Lixin Gao, Hao Zhang

Proceedings of the 2017 IEEE Conference on Network Softwarization, 2017

Towards reliable and lightweight source switching for datacenter networks.

Feng Wang, Lixin Gao, Xiaozhe Shao, Hiroaki Harai, Kenji Fujikawa

Proceedings of the 2017 IEEE Conference on Computer Communications, 2017

Implementation of Location-Based Routing and ID-Based Forwarding Architecture for Internet of Things.

Feng Wang, Yusuke Fukushima, Kenji Fujikawa, Abu Hena Al Muktadir, Ved P. Kafle, Xiaozhe Shao, Hiroaki Harai, Lixin Gao

Proceedings of the 2017 IEEE Global Communications Conference, 2017

Scalable Network Function Virtualization for Heterogeneous Middleboxes.

Xuzhi Zhang, Xiaozhe Shao, George Provelengios, Naveen Kumar Dumpala, Lixin Gao, Russell Tessier

Proceedings of the 25th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2017

2016

Towards variable length addressing for scalable Internet routing.

Feng Wang, Xiaozhe Shao, Lixin Gao, Hiroaki Harai, Kenji Fujikawa

Proceedings of the 35th IEEE International Performance Computing and Communications Conference, 2016

Distributed Encoding for Multiple-Inherited Locators to Accommodate Billions of Objects in the Internet.

Xiaozhe Shao, Feng Wang, Lixin Gao, Kenji Fujikawa, Hiroaki Harai

Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, 2016

2015

Compact location encodings for scalable Internet routing.

Feng Wang, Lixin Gao, Xiaozhe Shao, Hiroaki Harai, Kenji Fujikawa

Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

Design and implementation of variable-length locator allocation protocol for scalable Internet addressing.

Kenji Fujikawa, Abu Hena Al Muktadir, Yusuke Fukushima, Hiroaki Harai, Xiaozhe Shao, Feng Wang, Lixin Gao

Proceedings of the 21st Asia-Pacific Conference on Communications, 2015

2011

Runtime Verification of Data-Centric Properties in Service Based Systems.

Guoquan Wu, Jun Wei, Chunyang Ye, Xiaozhe Shao, Hua Zhong, Tao Huang

Proceedings of the Runtime Verification - Second International Conference, 2011

Runtime Monitoring of Data-centric Temporal Properties for Web Services.

Guoquan Wu, Jun Wei, Chunyang Ye, Xiaozhe Shao, Hua Zhong, Tao Huang

Proceedings of the IEEE International Conference on Web Services, 2011