Alexander J. T. Gurney

According to our database, Alexander J. T. Gurney authored at least 21 papers between 2006 and 2018.

Collaborative distances:

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

2018

Asynchronous convergence of policy-rich distributed bellman-ford routing protocols.

Matthew L. Daggitt, Alexander J. T. Gurney, Timothy G. Griffin

Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

2017

Asynchronous iterations in ultrametric spaces.

Alexander J. T. Gurney

CoRR, 2017

2016

Private and Verifiable Interdomain Routing Decisions.

Mingchen Zhao, Wenchao Zhou, Alexander J. T. Gurney, Andreas Haeberlen, Micah Sherr, Boon Thau Loo

IEEE/ACM Trans. Netw., 2016

Rapid convergence versus policy expressiveness in interdomain routing.

Alexander J. T. Gurney, Sanjeev Khanna, Yang Li

Proceedings of the 35th Annual IEEE International Conference on Computer Communications, 2016

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 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

Deconstructing MPTCP Performance.

Behnaz Arzani, Alexander J. T. Gurney, Sitian Cheng, Roch Guérin, Boon Thau Loo

Proceedings of the 22nd IEEE International Conference on Network Protocols, 2014

Impact of Path Characteristics and Scheduling Policies on MPTCP Performance.

Behnaz Arzani, Alexander J. T. Gurney, Shuotian Cheng, Roch Guérin, Boon Thau Loo

Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014

2012

Reduction-Based Formal Analysis of BGP Instances.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Brief announcement: a calculus of policy-based routing systems.

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

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

Reducing the complexity of BGP stability analysis with hybrid combinatorial-algebraic models.

Debbie Perouli, Stefano Vissicchio, Alexander J. T. Gurney, Olaf Maennel, Timothy G. Griffin, Iain Phillips, Sonia Fahmy, Cristel Pelsser

Proceedings of the 20th IEEE International Conference on Network Protocols, 2012

Detecting unsafe BGP policies in a flexible world.

Debbie Perouli, Timothy G. Griffin, Olaf Maennel, Sonia Fahmy, Cristel Pelsser, Alexander J. T. Gurney, Iain Phillips

Proceedings of the 20th IEEE International Conference on Network Protocols, 2012

2011

FSR: formal analysis and implementation toolkit for safe inter-domain routing.

Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J. T. Gurney, Boon Thau Loo, Jennifer Rexford

Proceedings of the ACM SIGCOMM 2011 Conference on Applications, 2011

Having your cake and eating it too: routing security with privacy protections.

Alexander J. T. Gurney, Andreas Haeberlen, Wenchao Zhou, Micah Sherr, Boon Thau Loo

Proceedings of the Tenth ACM Workshop on Hot Topics in Networks (HotNets-X), 2011

Pathfinding through Congruences.

Alexander J. T. Gurney, Timothy G. Griffin

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010

Neighbor-specific BGP: An algebraic exploration.

Alexander J. T. Gurney, Timothy G. Griffin

Proceedings of the 18th annual IEEE International Conference on Network Protocols, 2010

2008

Increasing Bisemigroups and Algebraic Routing.

Timothy G. Griffin, Alexander J. T. Gurney

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007

Lexicographic products in metarouting.

Alexander J. T. Gurney, Timothy G. Griffin

Proceedings of the IEEE International Conference on Network Protocols, 2007

2006

Metarouting and Network Optimization.

Alexander J. T. Gurney, Timothy G. Griffin

Proceedings of the 40th Annual Conference on Information Sciences and Systems, 2006