Xianglong Han

According to our database, Xianglong Han authored at least 6 papers between 2012 and 2015.

Collaborative distances:

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

2015

FixRoute: A Unified Logic and Numerical Tool for Provably Safe Internet Traffic Engineering.

Behnaz Arzani, Alexander J. T. Gurney, Bo Li, Xianglong Han, Roch Guérin, Boon Thau Loo

CoRR, 2015

2014

A systematic study of solvent effect on the crystal habit of dirithromycin solvates by computer simulation.

Zuozhong Liang, Qinhua Yi, Wei Wang, Xianglong Han, Jianfeng Chen, Yuan Le, Jiexin Wang, Chunyu Xue, Hong Zhao

Comput. Chem. Eng., 2014

A reduction-based approach towards scaling up formal analysis of internet configurations.

Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Boon Thau Loo, Carolyn L. Talcott, Andre Scedrov

Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

2013

Scalanytics: a declarative multi-core platform for scalable composable traffic analytics.

Harjot Gill, Dong Lin, Xianglong Han, Cam Nguyen, Tanveer Gill, Boon Thau Loo

Proceedings of the 22nd International Symposium on High-Performance Parallel and Distributed Computing, 2013

2012

Reduction-based analysis of BGP systems with BGPVerif.

Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Carolyn L. Talcott, Boon Thau Loo, Andre Scedrov

Proceedings of the ACM SIGCOMM 2012 Conference, 2012

Route shepherd: stability hints for the control plane.

Alexander J. T. Gurney, Xianglong Han, Yang Li, Boon Thau Loo

Proceedings of the ACM SIGCOMM 2012 Conference, 2012