Alexander J. T. Gurney

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