Alexander Gurney
[contact
| publications
| funding
| history]
current activities.
I am a postdoc at the University of Pennsylvania, working
with Boon Thau Loo
and others. My main area of research is the formal analysis of
Internet routing algorithms and policies, and related topics.
| physical |
Distributed Systems Laboratory (Moore 102)
Department of Computer and Information Science
University of Pennsylvania
200 South 33rd Street
Philadelphia, PA 19104-6389, USA |
|---|
| email | It ends with seas.upenn.edu, begins agurney, and there's an @ in the middle.
Or try putting alexander.gurney in front of @gmail.com. |
|---|
-
Debbie Perouli, Stefano Vissicchio, Alexander Gurney, Olaf Maennel, Timothy Griffin, Iain Phillips, Sonia Fahmy,
Cristel Pelsser.
2012.
Reducing the Complexity of BGP Stability Analysis with Hybrid Combinatorial-Algebraic Models.
Proceedings of the 2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012), Austin.
-
Debbie Perouli, Timothy G. Griffin, Olaf Maennel, Sonia Fahmy, Cristel Pelsser, Alexander Gurney, Iain Phillips.
2012.
Detecting Unsafe BGP Policies in a Flexible World.
Proceedings of the 20th IEEE International Conference on Network Protocols (ICNP 2012), Austin.
-
Mingchen Zhao, Wenchao Zhou, Alexander J. T. Gurney, Andreas Haeberlen, Micah Sherr and Boon Thau Loo.
2012.
Private and verifiable interdomain routing decisions.
ACM SIGCOMM, Helsinki.
-
Andreas Haeberlen, Mingchen Zhao, Wenchao Zhou, Alexander Gurney, Micah Sherr and Boon Thau Loo.
2012.
Privacy-Preserving Collaborative Verification Protocols.
Workshop on Large-Scale Distributed Systems and Middleware (LADIS 2012), Madeira.
-
Anduo Wang, Carolyn Talcott, Alexander J. T. Gurney, Boon Thau Loo and Andre Scedrov.
2012.
A calculus of policy-based routing systems (brief announcement).
31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2012), Madeira.
-
Anduo Wang, Carolyn Talcott, Alexander J. T. Gurney, Boon Thau Loo and Andre Scedrov.
2012.
Reduction-based Formal Analysis of BGP Instances.
18th International Conference on Tools and Algorithms for
the Construction and Analysis of Systems (TACAS), Tallinn.
-
Alexander J. T. Gurney, Andreas Haeberlen, Wenchao Zhou, Micah Sherr and Boon Thau Loo.
2011.
Having your cake and eating it too: Routing security with privacy protections.
Tenth ACM Workshop on Hot Topics in Networking (HotNets-X), Boston.
-
Alexander J. T. Gurney, Limin Jia, Anduo Wang and Boon Thau Loo.
2011.
Partial specification of routing configurations.
Workshop on Rigorous Protocol Engineering (WRiPE 2011), Vancouver.
-
Alexander J. T. Gurney and Timothy G. Griffin.
2011.
Pathfinding through congruences.
Proceedings of the 12th International Conference on Relational and
Algebraic Methods in Computer Science (RAMICS 2011), Rotterdam.
Springer LNCS 6663, p180-195.
-
Alexander J. T. Gurney and Timothy G. Griffin.
2010.
Neighbor-specific BGP: An algebraic exploration.
Proceedings of the 18th IEEE International Conference on Network Protocols (ICNP 2010), Kyoto, pages 103–112.
-
Alexander J. T. Gurney.
2009.
Construction and verification of routing algebras.
PhD thesis, University of Cambridge.
-
Timothy G. Griffin and Alexander J. T. Gurney.
2008.
Increasing bisemigroups and algebraic routing.
Proceedings of the 10th International Conference on Relational Methods in Computer Science (RelMiCS 10), Frauenworth, Germany.
Also appeared as LNCS, volume 4988.
- Alexander J. T. Gurney and Timothy G. Griffin. 2007.
Lexicographic products in metarouting.
Proceedings of the 15th IEEE International Conference on Network Protocols (ICNP 2007), Beijing.
demos.
-
Alexander J. T. Gurney, Xianglong Han, Yang Li, Boon Thau Loo.
2012.
Route Shepherd: Stability Hints for the Control Plane.
ACM SIGCOMM, Helsinki.
There is also a demo video.
-
Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Carolyn Talcott, Boon Thau Loo, Andre Scedrov.
2012.
Reduction-based Analysis of BGP Systems with BGPVerif.
ACM SIGCOMM, Helsinki.
-
Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J.T. Gurney, Boon Thau Loo, and Jennifer Rexford.
2011.
FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing.
ACM SIGCOMM, Toronto.
There is also a demo video.
I am Principal Investigator on
CNS-1218066,
"Routing Design and Analysis with Incomplete Information",
from the National Science Foundation, USA.