Alexander J. T. Gurney

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 5

Top Topics

Routing Decisions

Rapid Convergence

Formal Analysis

Top Venues

Publications

Matthew L. Daggitt, Alexander J. T. Gurney, Timothy G. Griffin
Asynchronous convergence of policy-rich distributed bellman-ford routing protocols. SIGCOMM (2018)
Alexander J. T. Gurney
Asynchronous iterations in ultrametric spaces. CoRR (2017)
Mingchen Zhao, Wenchao Zhou, Alexander J. T. Gurney, Andreas Haeberlen, Micah Sherr, Boon Thau Loo
Private and Verifiable Interdomain Routing Decisions. IEEE/ACM Trans. Netw. 24 (2) (2016)
Alexander J. T. Gurney, Sanjeev Khanna, Yang Li
Rapid convergence versus policy expressiveness in interdomain routing. INFOCOM (2016)
Behnaz Arzani, Alexander J. T. Gurney, Bo Li, Xianglong Han, Roch Guérin, Boon Thau Loo
FixRoute: A Unified Logic and Numerical Tool for Provably Safe Internet Traffic Engineering. CoRR (2015)
Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Boon Thau Loo, Carolyn L. Talcott, Andre Scedrov
A reduction-based approach towards scaling up formal analysis of internet configurations. INFOCOM (2014)
Behnaz Arzani, Alexander J. T. Gurney, Shuotian Cheng, Roch Guérin, Boon Thau Loo
Impact of Path Characteristics and Scheduling Policies on MPTCP Performance. AINA Workshops (2014)
Behnaz Arzani, Alexander J. T. Gurney, Sitian Cheng, Roch Guérin, Boon Thau Loo
Deconstructing MPTCP Performance. ICNP (2014)
Alexander J. T. Gurney, Xianglong Han, Yang Li, Boon Thau Loo
Route shepherd: stability hints for the control plane. SIGCOMM (2012)
Debbie Perouli, Stefano Vissicchio, Alexander J. T. Gurney, Olaf Maennel, Timothy G. Griffin, Iain Phillips, Sonia Fahmy, Cristel Pelsser
Reducing the complexity of BGP stability analysis with hybrid combinatorial-algebraic models. ICNP (2012)
Mingchen Zhao, Wenchao Zhou, Alexander J. T. Gurney, Andreas Haeberlen, Micah Sherr, Boon Thau Loo
Private and verifiable interdomain routing decisions. SIGCOMM (2012)
Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Carolyn L. Talcott, Boon Thau Loo, Andre Scedrov
Reduction-based analysis of BGP systems with BGPVerif. SIGCOMM (2012)
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov
Brief announcement: a calculus of policy-based routing systems. PODC (2012)
Debbie Perouli, Timothy G. Griffin, Olaf Maennel, Sonia Fahmy, Cristel Pelsser, Alexander J. T. Gurney, Iain Phillips
Detecting unsafe BGP policies in a flexible world. ICNP (2012)
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov
Reduction-Based Formal Analysis of BGP Instances. TACAS (2012)
Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J. T. Gurney, Boon Thau Loo, Jennifer Rexford
FSR: formal analysis and implementation toolkit for safe inter-domain routing. SIGCOMM (2011)
Alexander J. T. Gurney, Andreas Haeberlen, Wenchao Zhou, Micah Sherr, Boon Thau Loo
Having your cake and eating it too: routing security with privacy protections. HotNets (2011)
Alexander J. T. Gurney, Timothy G. Griffin
Pathfinding through Congruences. RAMiCS (2011)
Alexander J. T. Gurney, Timothy G. Griffin
Neighbor-specific BGP: An algebraic exploration. ICNP (2010)
Timothy G. Griffin, Alexander J. T. Gurney
Increasing Bisemigroups and Algebraic Routing. RelMiCS (2008)
Alexander J. T. Gurney, Timothy G. Griffin
Lexicographic products in metarouting. ICNP (2007)
Alexander J. T. Gurney, Timothy G. Griffin
Metarouting and Network Optimization. CISS (2006)